cooked-validators
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cooked.MockChain.MockChainState

Description

This module exposes the internal state in which our direct simulation is run, and functions to update and query it.

Synopsis

Documentation

data MockChainState Source #

The state used to run the simulation in Direct

Constructors

MockChainState 

Fields

Instances

Instances details
Show MockChainState Source # 
Instance details

Defined in Cooked.MockChain.MockChainState

Methods

showsPrec :: Int -> MockChainState -> ShowS #

show :: MockChainState -> String #

showList :: [MockChainState] -> ShowS #

Default MockChainState Source # 
Instance details

Defined in Cooked.MockChain.MockChainState

Methods

def :: MockChainState #

Monad m => MonadState MockChainState (MockChainT m) Source # 
Instance details

Defined in Cooked.MockChain.Direct

Methods

get :: MockChainT m MockChainState #

put :: MockChainState -> MockChainT m () #

state :: (MockChainState -> (a, MockChainState)) -> MockChainT m a #

mcstParamsL :: Lens' MockChainState Params Source #

A lens to set or get the parameters of the MockChainState

mcstLedgerStateL :: Lens' MockChainState EmulatedLedgerState Source #

A lens to set or get the ledger state of the MockChainState

mcstOutputsL :: Lens' MockChainState (Map TxOutRef (TxSkelOut, Bool)) Source #

A lens to set or get the outputs of the MockChainState

mcstConstitutionL :: Lens' MockChainState (Maybe (Versioned Script)) Source #

A lens to set or get the constitution script of the MockChainState

mcstToUtxoState :: MockChainState -> UtxoState Source #

Builds a UtxoState from a MockChainState

addOutput :: TxOutRef -> TxSkelOut -> MockChainState -> MockChainState Source #

Stores an output in a MockChainState

removeOutput :: TxOutRef -> MockChainState -> MockChainState Source #

Removes an output from the MockChainState