| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Plutus.Trace.Effects.ContractInstanceId
Contents
Synopsis
- data ContractInstanceIdEff r
- nextId :: forall effs. Member ContractInstanceIdEff effs => Eff effs ContractInstanceId
- handleDeterministicIds :: Eff (ContractInstanceIdEff ': effs) ~> Eff effs
- handleRandomIds :: (LastMember m effs, MonadIO m) => Eff (ContractInstanceIdEff ': effs) ~> Eff effs
Documentation
data ContractInstanceIdEff r Source #
nextId :: forall effs. Member ContractInstanceIdEff effs => Eff effs ContractInstanceId Source #
Handlers
handleDeterministicIds :: Eff (ContractInstanceIdEff ': effs) ~> Eff effs Source #
Handle ContractInstanceIdEff using the list of IDs
contractInstanceIDs.
handleRandomIds :: (LastMember m effs, MonadIO m) => Eff (ContractInstanceIdEff ': effs) ~> Eff effs Source #
Handle ContractInstanceIdEff using a random number generator