| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Plutus.PAB.Db.Memory.ContractStore
Synopsis
-
data
InMemContractInstanceState
t =
InMemContractInstanceState
{
- _contractDef :: ContractActivationArgs ( ContractDef t)
- _contractState :: TVar ( State t)
- handleContractStore :: forall t effs. ( LastMember IO effs, Member ( Reader ( InMemInstances t)) effs, Member ( Error PABError ) effs) => ContractStore t ~> Eff effs
- data InMemInstances t
- initialInMemInstances :: forall t. IO ( InMemInstances t)
Documentation
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.
Constructors
| InMemContractInstanceState | |
|
Fields
|
|
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
data InMemInstances t Source #
initialInMemInstances :: forall t. IO ( InMemInstances t) Source #