| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ledger.Tx.Constraints.OnChain.V1
Synopsis
- checkScriptContext :: forall i o. (ToData i, ToData o) => TxConstraints i o -> ScriptContext -> Bool
- checkOwnInputConstraint :: ToData i => ScriptContext -> ScriptInputConstraint i -> Bool
- checkOwnOutputConstraint :: ToData o => ScriptContext -> ScriptOutputConstraint o -> Bool
Documentation
checkScriptContext :: forall i o. (ToData i, ToData o) => TxConstraints i o -> ScriptContext -> Bool Source #
Does the ScriptContext satisfy the constraints?
checkOwnInputConstraint :: ToData i => ScriptContext -> ScriptInputConstraint i -> Bool Source #
checkOwnOutputConstraint :: ToData o => ScriptContext -> ScriptOutputConstraint o -> Bool Source #