| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Marlowe.Runtime.Transaction.Safety
Synopsis
- type Continuations v = Map DatumHash (Contract v)
- checkContract :: NetworkId -> RoleTokensConfig -> MarloweVersion v -> Contract v -> Continuations v -> [SafetyError]
- checkTransactions :: MonadIO m => ProtocolParameters -> ReferenceTxInsScriptsInlineDatumsSupportedInEra era -> MarloweVersion v -> MarloweContext v -> PolicyId -> Address -> Integer -> Contract v -> Continuations v -> m (Either String [SafetyError])
- makeSystemHistory :: UTCTime -> (SystemStart, EraHistory CardanoMode)
- minAdaUpperBound :: ProtocolParameters -> MarloweVersion v -> Contract v -> Continuations v -> Maybe Lovelace
- noContinuations :: MarloweVersion v -> Continuations v
Documentation
type Continuations v = Map DatumHash (Contract v) Source #
checkContract :: NetworkId -> RoleTokensConfig -> MarloweVersion v -> Contract v -> Continuations v -> [SafetyError] Source #
Check a contract for design errors and ledger violations.
checkTransactions :: MonadIO m => ProtocolParameters -> ReferenceTxInsScriptsInlineDatumsSupportedInEra era -> MarloweVersion v -> MarloweContext v -> PolicyId -> Address -> Integer -> Contract v -> Continuations v -> m (Either String [SafetyError]) Source #
Mock-execute all possible transactions for a contract.
makeSystemHistory :: UTCTime -> (SystemStart, EraHistory CardanoMode) Source #
Make a system start and error history for the given start time.
minAdaUpperBound :: ProtocolParameters -> MarloweVersion v -> Contract v -> Continuations v -> Maybe Lovelace Source #
Compute a worst-case bound on the minimum UTxO value for a contract, assuming that the contract does not pay from the account in the initial state and that account only contains lovelace.
noContinuations :: MarloweVersion v -> Continuations v Source #
No continuations for a contract.