Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.MockChain.Direct

Contents

Direct Emulation
Direct Interpretation of Operations

Description

This module provides a direct (not staged) implementation of the MonadBlockChain specification. This rely on the emulator from cardano-node-emulator for transaction validation, although we have our own internal state. This choice might be revised in the future.

Synopsis

newtype MockChainT m a = MockChainT {
- unMockChain :: StateT MockChainSt (ExceptT MockChainError (WriterT [MockChainLogEntry] m)) a
}
type MockChain = MockChainT Identity
combineMockChainT :: (forall a. m a -> m a -> m a) -> MockChainT m x -> MockChainT m x -> MockChainT m x
type MockChainReturn a b = (Either MockChainError (a, b), [MockChainLogEntry])
mapMockChainT :: (m (MockChainReturn a MockChainSt) -> n (MockChainReturn b MockChainSt)) -> MockChainT m a -> MockChainT n b
runMockChainTRaw :: MockChainT m a -> m (MockChainReturn a MockChainSt)
runMockChainTFrom :: Monad m => InitialDistribution -> MockChainT m a -> m (MockChainReturn a UtxoState)
runMockChainT :: Monad m => MockChainT m a -> m (MockChainReturn a UtxoState)
runMockChainFrom :: InitialDistribution -> MockChain a -> MockChainReturn a UtxoState
runMockChain :: MockChain a -> MockChainReturn a UtxoState

Direct Emulation

The MockChainT monad provides a direct emulator; that is, it gives us a simple way to call validator scripts directly, without the need for all the complexity the Contract monad introduces.

Running a MockChain produces a UtxoState, a simplified view on UtxoIndex, which we also keep in our state.

newtype MockChainT m a Source #

Constructors

MockChainT
Fields unMockChain :: StateT MockChainSt (ExceptT MockChainError (WriterT [MockChainLogEntry] m)) a

Instances

Instances details

MonadFail StagedMockChain Source #
Instance details Defined in Cooked.MockChain.Staged Methods fail :: String -> StagedMockChain a #
Alternative StagedMockChain Source #
Instance details Defined in Cooked.MockChain.Staged Methods empty :: StagedMockChain a # (<\|>) :: StagedMockChain a -> StagedMockChain a -> StagedMockChain a # some :: StagedMockChain a -> StagedMockChain [a] # many :: StagedMockChain a -> StagedMockChain [a] #
MonadBlockChain StagedMockChain Source #
Instance details Defined in Cooked.MockChain.Staged Methods validateTxSkel :: TxSkel -> StagedMockChain CardanoTx Source #
MonadBlockChainBalancing StagedMockChain Source #
Instance details Defined in Cooked.MockChain.Staged Methods getParams :: StagedMockChain Params Source # utxosAt :: Address -> StagedMockChain [(TxOutRef, TxOut)] Source # datumFromHash :: DatumHash -> StagedMockChain (Maybe Datum) Source # validatorFromHash :: ValidatorHash -> StagedMockChain (Maybe (Versioned Validator)) Source # txOutByRef :: TxOutRef -> StagedMockChain (Maybe TxOut) Source # logEvent :: MockChainLogEntry -> StagedMockChain () Source #
MonadBlockChainWithoutValidation StagedMockChain Source #
Instance details Defined in Cooked.MockChain.Staged Methods allUtxos :: StagedMockChain [(TxOutRef, TxOut)] Source # setParams :: Params -> StagedMockChain () Source # currentSlot :: StagedMockChain Slot Source # awaitSlot :: Slot -> StagedMockChain Slot Source #
MonadTrans MockChainT Source #
Instance details Defined in Cooked.MockChain.Direct Methods lift :: Monad m => m a -> MockChainT m a #
MonadError MockChainError StagedMockChain Source #
Instance details Defined in Cooked.MockChain.Staged Methods throwError :: MockChainError -> StagedMockChain a # catchError :: StagedMockChain a -> (MockChainError -> StagedMockChain a) -> StagedMockChain a #
Monad m => MonadError MockChainError (MockChainT m) Source #
Instance details Defined in Cooked.MockChain.Direct Methods throwError :: MockChainError -> MockChainT m a # catchError :: MockChainT m a -> (MockChainError -> MockChainT m a) -> MockChainT m a #
Monad m => MonadState MockChainSt (MockChainT m) Source #
Instance details Defined in Cooked.MockChain.Direct Methods get :: MockChainT m MockChainSt # put :: MockChainSt -> MockChainT m () # state :: (MockChainSt -> (a, MockChainSt)) -> MockChainT m a #
Monad m => MonadFail (MockChainT m) Source #
Instance details Defined in Cooked.MockChain.Direct Methods fail :: String -> MockChainT m a #
(Monad m, Alternative m) => Alternative (MockChainT m) Source #
Instance details Defined in Cooked.MockChain.Direct Methods empty :: MockChainT m a # (<\|>) :: MockChainT m a -> MockChainT m a -> MockChainT m a # some :: MockChainT m a -> MockChainT m [a] # many :: MockChainT m a -> MockChainT m [a] #
Monad m => Applicative (MockChainT m) Source #
Instance details Defined in Cooked.MockChain.Direct Methods pure :: a -> MockChainT m a # (<>) :: MockChainT m (a -> b) -> MockChainT m a -> MockChainT m b # liftA2 :: (a -> b -> c) -> MockChainT m a -> MockChainT m b -> MockChainT m c # (>) :: MockChainT m a -> MockChainT m b -> MockChainT m b # (<*) :: MockChainT m a -> MockChainT m b -> MockChainT m a #
Functor m => Functor (MockChainT m) Source #
Instance details Defined in Cooked.MockChain.Direct Methods fmap :: (a -> b) -> MockChainT m a -> MockChainT m b # (<$) :: a -> MockChainT m b -> MockChainT m a #
Monad m => Monad (MockChainT m) Source #	Custom monad instance made to increase the slot count automatically
Instance details Defined in Cooked.MockChain.Direct Methods (>>=) :: MockChainT m a -> (a -> MockChainT m b) -> MockChainT m b # (>>) :: MockChainT m a -> MockChainT m b -> MockChainT m b # return :: a -> MockChainT m a #
MonadPlus m => MonadPlus (MockChainT m) Source #
Instance details Defined in Cooked.MockChain.Staged Methods mzero :: MockChainT m a # mplus :: MockChainT m a -> MockChainT m a -> MockChainT m a #
Monad m => MonadBlockChain (MockChainT m) Source #
Instance details Defined in Cooked.MockChain.Direct Methods validateTxSkel :: TxSkel -> MockChainT m CardanoTx Source #
Monad m => MonadBlockChainBalancing (MockChainT m) Source #
Instance details Defined in Cooked.MockChain.Direct Methods getParams :: MockChainT m Params Source # utxosAt :: Address -> MockChainT m [(TxOutRef, TxOut)] Source # datumFromHash :: DatumHash -> MockChainT m (Maybe Datum) Source # validatorFromHash :: ValidatorHash -> MockChainT m (Maybe (Versioned Validator)) Source # txOutByRef :: TxOutRef -> MockChainT m (Maybe TxOut) Source # logEvent :: MockChainLogEntry -> MockChainT m () Source #
Monad m => MonadBlockChainWithoutValidation (MockChainT m) Source #
Instance details Defined in Cooked.MockChain.Direct Methods allUtxos :: MockChainT m [(TxOutRef, TxOut)] Source # setParams :: Params -> MockChainT m () Source # currentSlot :: MockChainT m Slot Source # awaitSlot :: Slot -> MockChainT m Slot Source #
Monad m => MonadWriter [MockChainLogEntry] (MockChainT m) Source #
Instance details Defined in Cooked.MockChain.Direct Methods writer :: (a, [MockChainLogEntry]) -> MockChainT m a # tell :: [MockChainLogEntry] -> MockChainT m () # listen :: MockChainT m a -> MockChainT m (a, [MockChainLogEntry]) # pass :: MockChainT m (a, [MockChainLogEntry] -> [MockChainLogEntry]) -> MockChainT m a #

type MockChain = MockChainT Identity Source #

combineMockChainT :: (forall a. m a -> m a -> m a) -> MockChainT m x -> MockChainT m x -> MockChainT m x Source #

type MockChainReturn a b = (Either MockChainError (a, b), [MockChainLogEntry]) Source #

mapMockChainT :: (m (MockChainReturn a MockChainSt) -> n (MockChainReturn b MockChainSt)) -> MockChainT m a -> MockChainT n b Source #

runMockChainTRaw :: MockChainT m a -> m (MockChainReturn a MockChainSt) Source #

runMockChainTFrom :: Monad m => InitialDistribution -> MockChainT m a -> m (MockChainReturn a UtxoState) Source #

Executes a MockChainT from an initial state set up with the given initial value distribution. Similar to runMockChainT, uses the default environment. Returns a UtxoState instead of a MockChainSt. If you need the later, use runMockChainTRaw

runMockChainT :: Monad m => MockChainT m a -> m (MockChainReturn a UtxoState) Source #

Executes a MockChainT from the canonical initial state and environment. The canonical environment uses the default SlotConfig

runMockChainFrom :: InitialDistribution -> MockChain a -> MockChainReturn a UtxoState Source #

See runMockChainTFrom

runMockChain :: MockChain a -> MockChainReturn a UtxoState Source #

See runMockChainT

Direct Interpretation of Operations