Safe Haskell	None
Language	Haskell2010

Plutus.Trace.Effects.EmulatorControl

Synopsis

data EmulatorControl r where
- SetSigningProcess :: Wallet -> Maybe SigningProcess -> EmulatorControl ()
- AgentState :: Wallet -> EmulatorControl WalletState
- FreezeContractInstance :: ContractInstanceId -> EmulatorControl ()
- ThawContractInstance :: ContractInstanceId -> EmulatorControl ()
- ChainState :: EmulatorControl ChainState
- GetParams :: EmulatorControl Params
- GetSlotConfig :: EmulatorControl SlotConfig
- DiscardWallets :: (Wallet -> Bool) -> EmulatorControl ()
setSigningProcess :: forall effs. Member EmulatorControl effs => Wallet -> Maybe SigningProcess -> Eff effs ()
agentState :: forall effs. Member EmulatorControl effs => Wallet -> Eff effs WalletState
freezeContractInstance :: forall effs. Member EmulatorControl effs => ContractInstanceId -> Eff effs ()
thawContractInstance :: forall effs. Member EmulatorControl effs => ContractInstanceId -> Eff effs ()
chainState :: forall effs. Member EmulatorControl effs => Eff effs ChainState
getParams :: forall effs. Member EmulatorControl effs => Eff effs Params
discardWallets :: forall effs. Member EmulatorControl effs => (Wallet -> Bool) -> Eff effs ()
handleEmulatorControl :: forall effs effs2 a. (Member (State EmulatorThreads) effs, Member (State EmulatorState) effs, Member (Error EmulatorRuntimeError) effs, Member MultiAgentControlEffect effs, Member (Yield (EmSystemCall effs2 EmulatorMessage a) (Maybe EmulatorMessage)) effs) => Params -> EmulatorControl ~> Eff effs
getSlotConfig :: forall effs. Member EmulatorControl effs => Eff effs SlotConfig

Documentation

data EmulatorControl r where Source #

Constructors

SetSigningProcess :: Wallet -> Maybe SigningProcess -> EmulatorControl ()
AgentState :: Wallet -> EmulatorControl WalletState
FreezeContractInstance :: ContractInstanceId -> EmulatorControl ()
ThawContractInstance :: ContractInstanceId -> EmulatorControl ()
ChainState :: EmulatorControl ChainState
GetParams :: EmulatorControl Params
GetSlotConfig :: EmulatorControl SlotConfig
DiscardWallets
Fields :: (Wallet -> Bool) -> EmulatorControl () Discard wallets matching the predicate.

Instances

Instances details

HasChainIndex (EmulatorTraceWithInstances state) Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Internal Methods getChainIndex :: EmulatorTraceWithInstances state ChainIndex Source #
CheckableContractModel state => RunModel (WithInstances state) (EmulatorTraceWithInstances state) Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Internal Methods perform :: ModelState (WithInstances state) -> Action (WithInstances state) -> (SymToken -> AssetId) -> RunMonad (EmulatorTraceWithInstances state) () Source # monitoring :: (ModelState (WithInstances state), ModelState (WithInstances state)) -> Action (WithInstances state) -> (SymToken -> AssetId) -> Map String AssetId -> Property -> Property Source #
ContractModel state => RunModel (WrappedState state) (SpecificationEmulatorTrace (WrappedState state)) Source #
Instance details Defined in Plutus.Contract.Test.ContractModel.Interface Methods perform :: ModelState (WrappedState state) -> Action (WrappedState state) -> (SymToken -> AssetId) -> RunMonad (SpecificationEmulatorTrace (WrappedState state)) () Source # monitoring :: (ModelState (WrappedState state), ModelState (WrappedState state)) -> Action (WrappedState state) -> (SymToken -> AssetId) -> Map String AssetId -> Property -> Property Source #

setSigningProcess :: forall effs. Member EmulatorControl effs => Wallet -> Maybe SigningProcess -> Eff effs () Source #

agentState :: forall effs. Member EmulatorControl effs => Wallet -> Eff effs WalletState Source #

freezeContractInstance :: forall effs. Member EmulatorControl effs => ContractInstanceId -> Eff effs () Source #

thawContractInstance :: forall effs. Member EmulatorControl effs => ContractInstanceId -> Eff effs () Source #

chainState :: forall effs. Member EmulatorControl effs => Eff effs ChainState Source #

getParams :: forall effs. Member EmulatorControl effs => Eff effs Params Source #

discardWallets :: forall effs. Member EmulatorControl effs => (Wallet -> Bool) -> Eff effs () Source #

handleEmulatorControl :: forall effs effs2 a. (Member (State EmulatorThreads) effs, Member (State EmulatorState) effs, Member (Error EmulatorRuntimeError) effs, Member MultiAgentControlEffect effs, Member (Yield (EmSystemCall effs2 EmulatorMessage a) (Maybe EmulatorMessage)) effs) => Params -> EmulatorControl ~> Eff effs Source #

Interpret the EmulatorControl effect in the MultiAgentEffect and scheduler system calls.

getSlotConfig :: forall effs. Member EmulatorControl effs => Eff effs SlotConfig Source #