plutus-tx-constraints-1.2.0.0: Plutus Transaction Constraints
Safe Haskell None
Language Haskell2010

Ledger.Tx.Constraints.OffChain

Synopsis

Lookups

data ScriptLookups a Source #

Constructors

ScriptLookups

Fields

Instances

Instances details
Show ( ScriptLookups a) Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

showsPrec :: Int -> ScriptLookups a -> ShowS Source #

show :: ScriptLookups a -> String Source #

showList :: [ ScriptLookups a] -> ShowS Source #

Generic ( ScriptLookups a) Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Associated Types

type Rep ( ScriptLookups a) :: Type -> Type Source #

Methods

from :: ScriptLookups a -> Rep ( ScriptLookups a) x Source #

to :: Rep ( ScriptLookups a) x -> ScriptLookups a Source #

Semigroup ( ScriptLookups a) Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

(<>) :: ScriptLookups a -> ScriptLookups a -> ScriptLookups a Source #

sconcat :: NonEmpty ( ScriptLookups a) -> ScriptLookups a Source #

stimes :: Integral b => b -> ScriptLookups a -> ScriptLookups a Source #

Monoid ( ScriptLookups a) Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

mempty :: ScriptLookups a Source #

mappend :: ScriptLookups a -> ScriptLookups a -> ScriptLookups a Source #

mconcat :: [ ScriptLookups a] -> ScriptLookups a Source #

ToJSON ( ScriptLookups a) Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

toJSON :: ScriptLookups a -> Value Source #

toEncoding :: ScriptLookups a -> Encoding Source #

toJSONList :: [ ScriptLookups a] -> Value Source #

toEncodingList :: [ ScriptLookups a] -> Encoding Source #

FromJSON ( ScriptLookups a) Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

parseJSON :: Value -> Parser ( ScriptLookups a) Source #

parseJSONList :: Value -> Parser [ ScriptLookups a] Source #

type Rep ( ScriptLookups a) Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

type Rep ( ScriptLookups a) = D1 (' MetaData "ScriptLookups" "Ledger.Tx.Constraints.OffChain" "plutus-tx-constraints-1.2.0.0-5XBz5Nhh1is2GnetLpxiQv" ' False ) ( C1 (' MetaCons "ScriptLookups" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "slTxOutputs") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map TxOutRef DecoratedTxOut)) :*: ( S1 (' MetaSel (' Just "slOtherScripts") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ScriptHash (Versioned Script ))) :*: S1 (' MetaSel (' Just "slOtherData") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map DatumHash Datum )))) :*: (( S1 (' MetaSel (' Just "slPaymentPubKeyHashes") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Set PaymentPubKeyHash)) :*: S1 (' MetaSel (' Just "slTypedValidator") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Maybe (TypedValidator a)))) :*: ( S1 (' MetaSel (' Just "slOwnPaymentPubKeyHash") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Maybe PaymentPubKeyHash)) :*: S1 (' MetaSel (' Just "slOwnStakingCredential") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Maybe StakingCredential ))))))

typedValidatorLookups :: TypedValidator a -> ScriptLookups a Source #

A script lookups value with a script instance. For convenience this also includes the minting policy script that forwards all checks to the instance's validator.

If called multiple times, only the first typed validator is kept: 

typedValidatorLookups tv1 <> typedValidatorLookups tv2 <> ...
    == typedValidatorLookups tv1

generalise :: ScriptLookups a -> ScriptLookups Any Source #

unspentOutputs :: Map TxOutRef DecoratedTxOut -> ScriptLookups a Source #

A script lookups value that uses the map of unspent outputs to resolve input constraints.

mintingPolicy :: Versioned MintingPolicy -> ScriptLookups a Source #

A script lookups value with a versioned minting policy script.

plutusV1MintingPolicy :: MintingPolicy -> ScriptLookups a Source #

A script lookups value with a PlutusV1 minting policy script.

plutusV2MintingPolicy :: MintingPolicy -> ScriptLookups a Source #

A script lookups value with a PlutusV2 minting policy script.

otherScript :: Versioned Validator -> ScriptLookups a Source #

A script lookups value with a versioned validator script.

plutusV1OtherScript :: Validator -> ScriptLookups a Source #

A script lookups value with a PlutusV1 validator script.

plutusV2OtherScript :: Validator -> ScriptLookups a Source #

A script lookups value with a PlutusV2 validator script.

otherData :: Datum -> ScriptLookups a Source #

A script lookups value with a datum.

paymentPubKey :: PaymentPubKey -> ScriptLookups a Source #

A script lookups value with a payment public key

paymentPubKeyHash :: PaymentPubKeyHash -> ScriptLookups a Source #

A script lookups value with a payment public key

Constraints resolution

data SomeLookupsAndConstraints where Source #

Some typed TxConstraints and the ScriptLookups needed to turn them into an UnbalancedTx .

Constructors

SomeLookupsAndConstraints :: forall a. ( FromData (DatumType a), ToData (DatumType a), ToData (RedeemerType a)) => ScriptLookups a -> TxConstraints (RedeemerType a) (DatumType a) -> SomeLookupsAndConstraints

data UnbalancedTx Source #

An unbalanced transaction. It needs to be balanced and signed before it can be submitted to the ledger. See note [Submitting transactions from Plutus contracts] in Wallet .

Constructors

UnbalancedCardanoTx

Fields

Instances

Instances details
Eq UnbalancedTx Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

(==) :: UnbalancedTx -> UnbalancedTx -> Bool Source #

(/=) :: UnbalancedTx -> UnbalancedTx -> Bool Source #

Show UnbalancedTx Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

showsPrec :: Int -> UnbalancedTx -> ShowS Source #

show :: UnbalancedTx -> String Source #

showList :: [ UnbalancedTx ] -> ShowS Source #

Generic UnbalancedTx Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Associated Types

type Rep UnbalancedTx :: Type -> Type Source #

Methods

from :: UnbalancedTx -> Rep UnbalancedTx x Source #

to :: Rep UnbalancedTx x -> UnbalancedTx Source #

ToJSON UnbalancedTx Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

toJSON :: UnbalancedTx -> Value Source #

toEncoding :: UnbalancedTx -> Encoding Source #

toJSONList :: [ UnbalancedTx ] -> Value Source #

toEncodingList :: [ UnbalancedTx ] -> Encoding Source #

FromJSON UnbalancedTx Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

parseJSON :: Value -> Parser UnbalancedTx Source #

parseJSONList :: Value -> Parser [ UnbalancedTx ] Source #

Pretty UnbalancedTx Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

pretty :: UnbalancedTx -> Doc ann Source #

prettyList :: [ UnbalancedTx ] -> Doc ann Source #

type Rep UnbalancedTx Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

type Rep UnbalancedTx = D1 (' MetaData "UnbalancedTx" "Ledger.Tx.Constraints.OffChain" "plutus-tx-constraints-1.2.0.0-5XBz5Nhh1is2GnetLpxiQv" ' False ) ( C1 (' MetaCons "UnbalancedCardanoTx" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unBalancedCardanoBuildTx") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 CardanoBuildTx) :*: S1 (' MetaSel (' Just "unBalancedTxUtxoIndex") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map TxOutRef TxOut))))

tx :: Traversal' UnbalancedTx CardanoBuildTx Source #

txInsCollateral :: Lens' CardanoBuildTx [ TxIn ] Source #

txValidityRange :: Lens' CardanoBuildTx ( TxValidityLowerBound BabbageEra , TxValidityUpperBound BabbageEra ) Source #

txOuts :: Lens' CardanoBuildTx [ TxOut CtxTx BabbageEra ] Source #

utxoIndex :: Lens' UnbalancedTx ( Map TxOutRef TxOut) Source #

emptyUnbalancedTx :: Params -> UnbalancedTx Source #

adjustUnbalancedTx :: PParams -> UnbalancedTx -> Either ToCardanoError ([ Lovelace ], UnbalancedTx ) Source #

Each transaction output should contain a minimum amount of Ada (this is a restriction on the real Cardano network).

mkTx :: ( FromData (DatumType a), ToData (DatumType a), ToData (RedeemerType a)) => Params -> ScriptLookups a -> TxConstraints (RedeemerType a) (DatumType a) -> Either MkTxError UnbalancedTx Source #

Turn a TxConstraints value into an unbalanced transaction that satisfies the constraints. To use this in a contract, see submitTxConstraints and related functions.

mkTxWithParams :: ( FromData (DatumType a), ToData (DatumType a), ToData (RedeemerType a)) => Params -> ScriptLookups a -> TxConstraints (RedeemerType a) (DatumType a) -> Either MkTxError UnbalancedTx Source #

Turn a TxConstraints value into an unbalanced transaction that satisfies the constraints. To use this in a contract, see submitTxConstraints and related functions.

mkSomeTx :: Params -> [ SomeLookupsAndConstraints ] -> Either MkTxError UnbalancedTx Source #

Given a list of SomeLookupsAndConstraints describing the constraints for several scripts, build a single transaction that runs all the scripts.

data MkTxError Source #

Constructors

TypeCheckFailed ConnectionError
ToCardanoError ToCardanoError
TxOutRefNotFound TxOutRef
TxOutRefWrongType TxOutRef
TxOutRefNoReferenceScript TxOutRef
DatumNotFound DatumHash
DeclaredInputMismatch Value
DeclaredOutputMismatch Value
MintingPolicyNotFound MintingPolicyHash
ScriptHashNotFound ScriptHash
TypedValidatorMissing
DatumWrongHash DatumHash Datum
CannotSatisfyAny
NoMatchingOutputFound ValidatorHash
MultipleMatchingOutputsFound ValidatorHash
AmbiguousRedeemer TxOutRef [ Redeemer ]
AmbiguousReferenceScript TxOutRef [ TxOutRef ]

Instances

Instances details
Eq MkTxError Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

(==) :: MkTxError -> MkTxError -> Bool Source #

(/=) :: MkTxError -> MkTxError -> Bool Source #

Show MkTxError Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

showsPrec :: Int -> MkTxError -> ShowS Source #

show :: MkTxError -> String Source #

showList :: [ MkTxError ] -> ShowS Source #

Generic MkTxError Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Associated Types

type Rep MkTxError :: Type -> Type Source #

Methods

from :: MkTxError -> Rep MkTxError x Source #

to :: Rep MkTxError x -> MkTxError Source #

ToJSON MkTxError Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

toJSON :: MkTxError -> Value Source #

toEncoding :: MkTxError -> Encoding Source #

toJSONList :: [ MkTxError ] -> Value Source #

toEncodingList :: [ MkTxError ] -> Encoding Source #

FromJSON MkTxError Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

parseJSON :: Value -> Parser MkTxError Source #

parseJSONList :: Value -> Parser [ MkTxError ] Source #

Pretty MkTxError Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

pretty :: MkTxError -> Doc ann Source #

prettyList :: [ MkTxError ] -> Doc ann Source #

type Rep MkTxError Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

type Rep MkTxError = D1 (' MetaData "MkTxError" "Ledger.Tx.Constraints.OffChain" "plutus-tx-constraints-1.2.0.0-5XBz5Nhh1is2GnetLpxiQv" ' False ) (((( C1 (' MetaCons "TypeCheckFailed" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ConnectionError)) :+: C1 (' MetaCons "ToCardanoError" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ToCardanoError))) :+: ( C1 (' MetaCons "TxOutRefNotFound" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 TxOutRef )) :+: C1 (' MetaCons "TxOutRefWrongType" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 TxOutRef )))) :+: (( C1 (' MetaCons "TxOutRefNoReferenceScript" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 TxOutRef )) :+: C1 (' MetaCons "DatumNotFound" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 DatumHash ))) :+: ( C1 (' MetaCons "DeclaredInputMismatch" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Value )) :+: C1 (' MetaCons "DeclaredOutputMismatch" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Value ))))) :+: ((( C1 (' MetaCons "MintingPolicyNotFound" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 MintingPolicyHash )) :+: C1 (' MetaCons "ScriptHashNotFound" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ScriptHash ))) :+: ( C1 (' MetaCons "TypedValidatorMissing" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "DatumWrongHash" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 DatumHash ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Datum )))) :+: (( C1 (' MetaCons "CannotSatisfyAny" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "NoMatchingOutputFound" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ValidatorHash ))) :+: ( C1 (' MetaCons "MultipleMatchingOutputsFound" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ValidatorHash )) :+: ( C1 (' MetaCons "AmbiguousRedeemer" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 TxOutRef ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 [ Redeemer ])) :+: C1 (' MetaCons "AmbiguousReferenceScript" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 TxOutRef ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 [ TxOutRef ])))))))

_TypeCheckFailed :: AsMkTxError r => Prism' r ConnectionError Source #

_ToCardanoError :: AsMkTxError r => Prism' r ToCardanoError Source #

_TxOutRefNotFound :: AsMkTxError r => Prism' r TxOutRef Source #

_TxOutRefWrongType :: AsMkTxError r => Prism' r TxOutRef Source #

_TxOutRefNoReferenceScript :: AsMkTxError r => Prism' r TxOutRef Source #

_DatumNotFound :: AsMkTxError r => Prism' r DatumHash Source #

_DeclaredInputMismatch :: AsMkTxError r => Prism' r Value Source #

_MintingPolicyNotFound :: AsMkTxError r => Prism' r MintingPolicyHash Source #

_ScriptHashNotFound :: AsMkTxError r => Prism' r ScriptHash Source #

_TypedValidatorMissing :: AsMkTxError r => Prism' r () Source #

_DatumWrongHash :: AsMkTxError r => Prism' r ( DatumHash , Datum ) Source #

_CannotSatisfyAny :: AsMkTxError r => Prism' r () Source #

_NoMatchingOutputFound :: AsMkTxError r => Prism' r ValidatorHash Source #

_MultipleMatchingOutputsFound :: AsMkTxError r => Prism' r ValidatorHash Source #

Internals exposed for testing

data ValueSpentBalances Source #

The balances we track for computing the missing Value (if any) that needs to be added to the transaction. See note [Balance of value spent].

Constructors

ValueSpentBalances

Fields

Instances

Instances details
Show ValueSpentBalances Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

showsPrec :: Int -> ValueSpentBalances -> ShowS Source #

show :: ValueSpentBalances -> String Source #

showList :: [ ValueSpentBalances ] -> ShowS Source #

Generic ValueSpentBalances Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Associated Types

type Rep ValueSpentBalances :: Type -> Type Source #

Methods

from :: ValueSpentBalances -> Rep ValueSpentBalances x Source #

to :: Rep ValueSpentBalances x -> ValueSpentBalances Source #

Semigroup ValueSpentBalances Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

(<>) :: ValueSpentBalances -> ValueSpentBalances -> ValueSpentBalances Source #

sconcat :: NonEmpty ValueSpentBalances -> ValueSpentBalances Source #

stimes :: Integral b => b -> ValueSpentBalances -> ValueSpentBalances Source #

type Rep ValueSpentBalances Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

type Rep ValueSpentBalances = D1 (' MetaData "ValueSpentBalances" "Ledger.Tx.Constraints.OffChain" "plutus-tx-constraints-1.2.0.0-5XBz5Nhh1is2GnetLpxiQv" ' False ) ( C1 (' MetaCons "ValueSpentBalances" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "vbsRequired") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Value ) :*: S1 (' MetaSel (' Just "vbsProvided") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Value )))

provided :: Value -> ValueSpentBalances Source #

required :: Value -> ValueSpentBalances Source #

missingValueSpent :: ValueSpentBalances -> Value Source #

data ConstraintProcessingState Source #

Constructors

ConstraintProcessingState

Fields

unbalancedTx :: Lens' ConstraintProcessingState UnbalancedTx Source #

valueSpentInputs :: Lens' ConstraintProcessingState ValueSpentBalances Source #

valueSpentOutputs :: Lens' ConstraintProcessingState ValueSpentBalances Source #

paramsL :: Lens' ConstraintProcessingState Params Source #

processConstraintFun :: TxConstraintFun -> ReaderT ( ScriptLookups a) ( StateT ConstraintProcessingState ( Except MkTxError )) () Source #

addOwnInput :: ( MonadReader ( ScriptLookups a) m, MonadError MkTxError m, FromData (DatumType a), ToData (DatumType a), ToData (RedeemerType a)) => ScriptInputConstraint (RedeemerType a) -> m TxConstraint Source #

Add a typed input, checking the type of the output it spends. Return the value of the spent output.

addOwnOutput :: ( MonadReader ( ScriptLookups a) m, MonadError MkTxError m, ToData (DatumType a)) => ScriptOutputConstraint (DatumType a) -> m TxConstraint Source #

Convert a ScriptOutputConstraint into a TxConstraint .

updateUtxoIndex :: ( MonadReader ( ScriptLookups a) m, MonadState ConstraintProcessingState m, MonadError MkTxError m) => m () Source #

lookupTxOutRef :: TxOutRef -> ReaderT ( ScriptLookups a) ( StateT ConstraintProcessingState ( Except MkTxError )) DecoratedTxOut Source #

lookupMintingPolicy :: MintingPolicyHash -> ReaderT ( ScriptLookups a) ( StateT ConstraintProcessingState ( Except MkTxError )) (Versioned MintingPolicy ) Source #

lookupScript :: ( MonadReader ( ScriptLookups a) m, MonadError MkTxError m) => ScriptHash -> m (Versioned Script ) Source #

lookupScriptAsReferenceScript :: Maybe ScriptHash -> ReaderT ( ScriptLookups a) ( StateT ConstraintProcessingState ( Except MkTxError )) ( ReferenceScript BabbageEra ) Source #

prepareConstraints :: ( FromData (DatumType a), ToData (DatumType a), ToData (RedeemerType a)) => [ ScriptInputConstraint (RedeemerType a)] -> [ ScriptOutputConstraint (DatumType a)] -> [ TxConstraint ] -> ReaderT ( ScriptLookups a) ( StateT ConstraintProcessingState ( Except MkTxError )) SortedConstraints Source #

resolveScriptTxOut :: ( MonadReader ( ScriptLookups a) m, MonadError MkTxError m) => DecoratedTxOut -> m ( Maybe (Versioned Validator , DatumWithOrigin , Value )) Source #

resolveScriptTxOutValidator :: ( MonadReader ( ScriptLookups a) m, MonadError MkTxError m) => DecoratedTxOut -> m ( Maybe (Versioned Validator )) Source #

resolveScriptTxOutDatumAndValue :: ( MonadReader ( ScriptLookups a) m, MonadError MkTxError m) => DecoratedTxOut -> m ( Maybe ( DatumWithOrigin , Value )) Source #

data DatumWithOrigin Source #

Constructors

DatumInTx

Fields

DatumInline

Fields

datumWitness :: DatumWithOrigin -> Maybe Datum Source #

checkValueSpent :: ( MonadReader ( ScriptLookups a) m, MonadState ConstraintProcessingState m, MonadError MkTxError m) => m () Source #

data SortedConstraints Source #

Constructors

MkSortedConstraints

Fields

Instances

Instances details
Eq SortedConstraints Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

(==) :: SortedConstraints -> SortedConstraints -> Bool Source #

(/=) :: SortedConstraints -> SortedConstraints -> Bool Source #

Show SortedConstraints Source #
Instance details

Defined in Ledger.Tx.Constraints.OffChain

Methods

showsPrec :: Int -> SortedConstraints -> ShowS Source #

show :: SortedConstraints -> String Source #

showList :: [ SortedConstraints ] -> ShowS Source #

initialState :: Params -> ConstraintProcessingState Source #