plutus-pab-1.2.0.0
Safe Haskell None
Language Haskell2010

Cardano.Chain

Synopsis

Documentation

type TxPool = [CardanoTx] Source #

data MockNodeServerChainState Source #

Constructors

MockNodeServerChainState

Fields

Instances

Instances details
Show MockNodeServerChainState Source #
Instance details

Defined in Cardano.Chain

Methods

showsPrec :: Int -> MockNodeServerChainState -> ShowS Source #

show :: MockNodeServerChainState -> String Source #

showList :: [ MockNodeServerChainState ] -> ShowS Source #

Generic MockNodeServerChainState Source #
Instance details

Defined in Cardano.Chain

Associated Types

type Rep MockNodeServerChainState :: Type -> Type Source #

Methods

from :: MockNodeServerChainState -> Rep MockNodeServerChainState x Source #

to :: Rep MockNodeServerChainState x -> MockNodeServerChainState Source #

type Rep MockNodeServerChainState Source #
Instance details

Defined in Cardano.Chain

type Rep MockNodeServerChainState = D1 (' MetaData "MockNodeServerChainState" "Cardano.Chain" "plutus-pab-1.2.0.0-CtfsFiD4ohhEkbPm9mkCAB" ' False ) ( C1 (' MetaCons "MockNodeServerChainState" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "_txPool") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 TxPool ) :*: S1 (' MetaSel (' Just "_index") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 UtxoIndex)) :*: ( S1 (' MetaSel (' Just "_currentSlot") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Slot) :*: ( S1 (' MetaSel (' Just "_channel") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( TChan Block)) :*: S1 (' MetaSel (' Just "_tip") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Maybe Block))))))

txPool :: Lens' MockNodeServerChainState TxPool Source #

tip :: Lens' MockNodeServerChainState ( Maybe Block) Source #

index :: Lens' MockNodeServerChainState UtxoIndex Source #

currentSlot :: Lens' MockNodeServerChainState Slot Source #

channel :: Lens' MockNodeServerChainState ( TChan Block) Source #

emptyChainState :: MonadIO m => m MockNodeServerChainState Source #

getChannel :: MonadIO m => MVar MockNodeServerChainState -> m ( TChan Block) Source #

fromEmulatorChainState :: MonadIO m => ChainState -> m MockNodeServerChainState Source #

Build a PAB ChainState from a emulator ChainState

getTip :: forall m. MonadIO m => MVar MockNodeServerChainState -> m Block Source #

handleControlChain :: ( Member ( State MockNodeServerChainState ) effs, Member ( LogMsg ChainEvent ) effs, LastMember m effs, MonadIO m) => Params -> ChainControlEffect ~> Eff effs Source #

handleChain :: Member ( State MockNodeServerChainState ) effs => Params -> ChainEffect ~> Eff effs Source #

logEvent :: Member ( LogMsg ChainEvent ) effs => ChainEvent -> Eff effs () Source #

addTxToPool :: CardanoTx -> TxPool -> TxPool Source #

chainNewestFirst :: forall m. MonadIO m => TChan Block -> m [Block] Source #

Fetch the currently stored chain by iterating over the channel until there is nothing left to be returned.