Safe Haskell None
Language Haskell2010




data InMemContractInstanceState t Source #

The current state of a contract instance Considering InstanceState contractState as mutable to avoid bottleneck when updating InMemInstances especially when an instance already exists. Note also that PutState is adjusted so as to avoid full map update when instance already exists.

handleContractStore :: forall t effs. ( LastMember IO effs, Member ( Reader ( InMemInstances t)) effs, Member ( Error PABError ) effs) => ContractStore t ~> Eff effs Source #

Handle the ContractStore effect by writing the state to the TVar in SimulatorState