plutus-tx-constraints-1.2.0.0: Plutus Transaction Constraints
Safe HaskellNone
LanguageHaskell2010

Ledger.Tx.Constraints.OnChain.V1

Synopsis

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 #