Test.Cleveland.Internal.Actions.MonadOps

Internally used typeclass for operations-related actions

Documentation

class (MonadTransfer m, MonadOriginate m) => MonadOps m

Synonym typeclass for monads where network operations can occur.

This has instances for MonadCleveland and ClevelandOpsBatch contexts.

Practically, if you want to use transfer or originate in a monad, add a MonadOps constraint on it, f. ex.:

callEp1 :: MonadOps m => ContractHandle MyParam () () -> Integer -> m ()
callEp1 ch = transfer ch . calling #entrypoint1

Instances

(MonadTransfer m, MonadOriginate m) => MonadOps m

Defined in Test.Cleveland.Internal.Actions.MonadOps