| 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
| |
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 #