plutus-ledger-0.1.0.0: Wallet API
Safe HaskellNone
LanguageHaskell2010

Ledger.Index

Description

An index of unspent transaction outputs, and some functions for validating transactions using the index.

Synopsis

Types for transaction validation based on UTXO index

type ValidationMonad m = (MonadReader ValidationCtx m, MonadError ValidationError m, MonadWriter [ScriptValidationEvent] m) Source #

Context for validating transactions. We need access to the unspent transaction outputs of the blockchain, and we can throw ValidationErrors.

newtype UtxoIndex Source #

The UTxOs of a blockchain indexed by their references.

Constructors

UtxoIndex 

Instances

Instances details
Eq UtxoIndex Source # 
Instance details

Defined in Ledger.Index

Show UtxoIndex Source # 
Instance details

Defined in Ledger.Index

Generic UtxoIndex Source # 
Instance details

Defined in Ledger.Index

Associated Types

type Rep UtxoIndex :: Type -> Type Source #

Semigroup UtxoIndex Source # 
Instance details

Defined in Ledger.Index

Monoid UtxoIndex Source # 
Instance details

Defined in Ledger.Index

NFData UtxoIndex Source # 
Instance details

Defined in Ledger.Index

Methods

rnf :: UtxoIndex -> () Source #

ToJSON UtxoIndex Source # 
Instance details

Defined in Ledger.Index

FromJSON UtxoIndex Source # 
Instance details

Defined in Ledger.Index

ToSchema UtxoIndex Source # 
Instance details

Defined in Ledger.Index

Serialise UtxoIndex Source # 
Instance details

Defined in Ledger.Index

type Rep UtxoIndex Source # 
Instance details

Defined in Ledger.Index

type Rep UtxoIndex = D1 ('MetaData "UtxoIndex" "Ledger.Index" "plutus-ledger-0.1.0.0-BAhdPNOPbMF52ZvZJtxBkz" 'True) (C1 ('MetaCons "UtxoIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "getIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxOutRef TxOut))))

insert :: Tx -> UtxoIndex -> UtxoIndex Source #

Update the index for the addition of a transaction.

insertCollateral :: Tx -> UtxoIndex -> UtxoIndex Source #

Update the index for the addition of only the collateral inputs of a failed transaction.

insertBlock :: Block -> UtxoIndex -> UtxoIndex Source #

Update the index for the addition of a block.

initialise :: Blockchain -> UtxoIndex Source #

Create an index of all UTxOs on the chain.

newtype Validation a Source #

A monad for running transaction validation inside, which is an instance of ValidationMonad.

Instances

Instances details
Monad Validation Source # 
Instance details

Defined in Ledger.Index

Functor Validation Source # 
Instance details

Defined in Ledger.Index

Methods

fmap :: (a -> b) -> Validation a -> Validation b Source #

(<$) :: a -> Validation b -> Validation a Source #

Applicative Validation Source # 
Instance details

Defined in Ledger.Index

MonadReader ValidationCtx Validation Source # 
Instance details

Defined in Ledger.Index

MonadError ValidationError Validation Source # 
Instance details

Defined in Ledger.Index

MonadWriter [ScriptValidationEvent] Validation Source # 
Instance details

Defined in Ledger.Index

lookup :: MonadError ValidationError m => TxOutRef -> UtxoIndex -> m TxOut Source #

Find an unspent transaction output by the TxOutRef that spends it.

lkpValue :: ValidationMonad m => TxOutRef -> m Value Source #

Determine the unspent value that a 'TxOutRef refers to.

lkpTxOut :: ValidationMonad m => TxOutRef -> m TxOut Source #

Find an unspent transaction output by its reference. Assumes that the output for this reference exists. If you want to handle the lookup error you can use runLookup.

lkpOutputs :: ValidationMonad m => [TxIn] -> m [(TxIn, TxOut)] Source #

Match each input of the transaction with the output that it spends.

data ValidationError Source #

A reason why a transaction is invalid.

Constructors

InOutTypeMismatch TxIn TxOut

A pay-to-pubkey output was consumed by a pay-to-script input or vice versa, or the TxIn refers to a different public key than the TxOut.

TxOutRefNotFound TxOutRef

The transaction output consumed by a transaction input could not be found (either because it was already spent, or because there was no transaction with the given hash on the blockchain).

InvalidScriptHash Validator ValidatorHash

For pay-to-script outputs: the validator script provided in the transaction input does not match the hash specified in the transaction output.

InvalidDatumHash Datum DatumHash

For pay-to-script outputs: the datum provided in the transaction input does not match the hash specified in the transaction output.

MissingRedeemer RedeemerPtr

For scripts that take redeemers: no redeemer was provided for this script.

InvalidSignature PubKey Signature

For pay-to-pubkey outputs: the signature of the transaction input does not match the public key of the transaction output.

ValueNotPreserved Value Value

The amount spent by the transaction differs from the amount consumed by it.

NegativeValue Tx

The transaction produces an output with a negative value.

ValueContainsLessThanMinAda Tx TxOut

The transaction produces an output with a value containing less than the minimum required Ada.

NonAdaFees Tx

The fee is not denominated entirely in Ada.

ScriptFailure ScriptError

For pay-to-script outputs: evaluation of the validator script failed.

CurrentSlotOutOfRange Slot

The current slot is not covered by the transaction's validity slot range.

SignatureMissing PubKeyHash

The transaction is missing a signature

MintWithoutScript MintingPolicyHash

The transaction attempts to mint value of a currency without running the currency's minting policy.

TransactionFeeTooLow Value Value

The transaction fee is lower than the minimum acceptable fee.

CardanoLedgerValidationError String

An error from Cardano.Ledger validation

Instances

Instances details
Eq ValidationError Source # 
Instance details

Defined in Ledger.Index

Show ValidationError Source # 
Instance details

Defined in Ledger.Index

Generic ValidationError Source # 
Instance details

Defined in Ledger.Index

Associated Types

type Rep ValidationError :: Type -> Type Source #

ToJSON ValidationError Source # 
Instance details

Defined in Ledger.Index

FromJSON ValidationError Source # 
Instance details

Defined in Ledger.Index

Pretty ValidationError Source # 
Instance details

Defined in Ledger.Index

MonadError ValidationError Validation Source # 
Instance details

Defined in Ledger.Index

type Rep ValidationError Source # 
Instance details

Defined in Ledger.Index

type Rep ValidationError = D1 ('MetaData "ValidationError" "Ledger.Index" "plutus-ledger-0.1.0.0-BAhdPNOPbMF52ZvZJtxBkz" 'False) ((((C1 ('MetaCons "InOutTypeMismatch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIn) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOut)) :+: C1 ('MetaCons "TxOutRefNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef))) :+: (C1 ('MetaCons "InvalidScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Validator) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ValidatorHash)) :+: C1 ('MetaCons "InvalidDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Datum) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatumHash)))) :+: ((C1 ('MetaCons "MissingRedeemer" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RedeemerPtr)) :+: C1 ('MetaCons "InvalidSignature" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKey) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Signature))) :+: (C1 ('MetaCons "ValueNotPreserved" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :+: C1 ('MetaCons "NegativeValue" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx))))) :+: (((C1 ('MetaCons "ValueContainsLessThanMinAda" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOut)) :+: C1 ('MetaCons "NonAdaFees" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx))) :+: (C1 ('MetaCons "ScriptFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptError)) :+: C1 ('MetaCons "CurrentSlotOutOfRange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot)))) :+: ((C1 ('MetaCons "SignatureMissing" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)) :+: C1 ('MetaCons "MintWithoutScript" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MintingPolicyHash))) :+: (C1 ('MetaCons "TransactionFeeTooLow" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :+: C1 ('MetaCons "CardanoLedgerValidationError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))))

data ValidationPhase Source #

Constructors

Phase1 
Phase2 

Instances

Instances details
Eq ValidationPhase Source # 
Instance details

Defined in Ledger.Index

Show ValidationPhase Source # 
Instance details

Defined in Ledger.Index

Generic ValidationPhase Source # 
Instance details

Defined in Ledger.Index

Associated Types

type Rep ValidationPhase :: Type -> Type Source #

ToJSON ValidationPhase Source # 
Instance details

Defined in Ledger.Index

FromJSON ValidationPhase Source # 
Instance details

Defined in Ledger.Index

Pretty ValidationPhase Source # 
Instance details

Defined in Ledger.Index

type Rep ValidationPhase Source # 
Instance details

Defined in Ledger.Index

type Rep ValidationPhase = D1 ('MetaData "ValidationPhase" "Ledger.Index" "plutus-ledger-0.1.0.0-BAhdPNOPbMF52ZvZJtxBkz" 'False) (C1 ('MetaCons "Phase1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Phase2" 'PrefixI 'False) (U1 :: Type -> Type))

data InOutMatch Source #

A matching pair of transaction input and transaction output, ensuring that they are of matching types also.

minFee :: Tx -> Value Source #

Minimum transaction fee.

maxFee :: Ada Source #

TODO Should be calculated based on the maximum script size permitted on the Cardano blockchain.

mkTxInfo :: ValidationMonad m => Tx -> m TxInfo Source #

Create the data about the transaction which will be passed to a validator script.

Actual validation

Script validation events

data ScriptType Source #

Instances

Instances details
Eq ScriptType Source # 
Instance details

Defined in Ledger.Index

Show ScriptType Source # 
Instance details

Defined in Ledger.Index

Generic ScriptType Source # 
Instance details

Defined in Ledger.Index

Associated Types

type Rep ScriptType :: Type -> Type Source #

ToJSON ScriptType Source # 
Instance details

Defined in Ledger.Index

FromJSON ScriptType Source # 
Instance details

Defined in Ledger.Index

type Rep ScriptType Source # 
Instance details

Defined in Ledger.Index

data ScriptValidationEvent Source #

A script (MPS or validator) that was run during transaction validation

Constructors

ScriptValidationEvent 

Fields

ScriptValidationResultOnlyEvent 

Fields

Instances

Instances details
Eq ScriptValidationEvent Source # 
Instance details

Defined in Ledger.Index

Show ScriptValidationEvent Source # 
Instance details

Defined in Ledger.Index

Generic ScriptValidationEvent Source # 
Instance details

Defined in Ledger.Index

Associated Types

type Rep ScriptValidationEvent :: Type -> Type Source #

ToJSON ScriptValidationEvent Source # 
Instance details

Defined in Ledger.Index

FromJSON ScriptValidationEvent Source # 
Instance details

Defined in Ledger.Index

MonadWriter [ScriptValidationEvent] Validation Source # 
Instance details

Defined in Ledger.Index

type Rep ScriptValidationEvent Source # 
Instance details

Defined in Ledger.Index

type Rep ScriptValidationEvent = D1 ('MetaData "ScriptValidationEvent" "Ledger.Index" "plutus-ledger-0.1.0.0-BAhdPNOPbMF52ZvZJtxBkz" 'False) (C1 ('MetaCons "ScriptValidationEvent" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sveScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script) :*: S1 ('MetaSel ('Just "sveResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either ScriptError (ExBudget, [Text])))) :*: (S1 ('MetaSel ('Just "sveRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Redeemer) :*: S1 ('MetaSel ('Just "sveType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptType))) :+: C1 ('MetaCons "ScriptValidationResultOnlyEvent" 'PrefixI 'True) (S1 ('MetaSel ('Just "sveResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either ScriptError (ExBudget, [Text])))))

data ExBudget Source #

Constructors

ExBudget 

Instances

Instances details
Eq ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Show ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Generic ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Associated Types

type Rep ExBudget :: Type -> Type Source #

Semigroup ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Monoid ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

NFData ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

rnf :: ExBudget -> () Source #

ToJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

FromJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Pretty ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

pretty :: ExBudget -> Doc ann Source #

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

Lift ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

PrettyBy config ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

prettyBy :: config -> ExBudget -> Doc ann Source #

prettyListBy :: config -> [ExBudget] -> Doc ann Source #

type Rep ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

type Rep ExBudget = D1 ('MetaData "ExBudget" "PlutusCore.Evaluation.Machine.ExBudget" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" 'False) (C1 ('MetaCons "ExBudget" 'PrefixI 'True) (S1 ('MetaSel ('Just "exBudgetCPU") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExCPU) :*: S1 ('MetaSel ('Just "exBudgetMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExMemory)))

newtype ExCPU Source #

Counts CPU units in picoseconds: maximum value for SatInt is 2^63 ps, or appproximately 106 days.

Constructors

ExCPU CostingInteger 

Instances

Instances details
Eq ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

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

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

Num ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Ord ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Generic ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExCPU :: Type -> Type Source #

Methods

from :: ExCPU -> Rep ExCPU x Source #

to :: Rep ExCPU x -> ExCPU Source #

Semigroup ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Monoid ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NFData ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnf :: ExCPU -> () Source #

ToJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

FromJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Pretty ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExCPU -> Doc ann Source #

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

Lift ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

PrettyBy config ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy :: config -> ExCPU -> Doc ann Source #

prettyListBy :: config -> [ExCPU] -> Doc ann Source #

type Rep ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExCPU = D1 ('MetaData "ExCPU" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype ExMemory Source #

Counts size in machine words.

Constructors

ExMemory CostingInteger 

Instances

Instances details
Eq ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Num ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Ord ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Generic ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExMemory :: Type -> Type Source #

Semigroup ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Monoid ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NFData ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnf :: ExMemory -> () Source #

ToJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

FromJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

ExMemoryUsage ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Pretty ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExMemory -> Doc ann Source #

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

Lift ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

PrettyBy config ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy :: config -> ExMemory -> Doc ann Source #

prettyListBy :: config -> [ExMemory] -> Doc ann Source #

type Rep ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExMemory = D1 ('MetaData "ExMemory" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" 'True) (C1 ('MetaCons "ExMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

data SatInt Source #

Instances

Instances details
Bounded SatInt 
Instance details

Defined in Data.SatInt

Enum SatInt 
Instance details

Defined in Data.SatInt

Eq SatInt 
Instance details

Defined in Data.SatInt

Integral SatInt 
Instance details

Defined in Data.SatInt

Num SatInt

In the Num instance, we plug in our own addition, multiplication and subtraction function that perform overflow-checking.

Instance details

Defined in Data.SatInt

Ord SatInt 
Instance details

Defined in Data.SatInt

Read SatInt 
Instance details

Defined in Data.SatInt

Real SatInt 
Instance details

Defined in Data.SatInt

Show SatInt 
Instance details

Defined in Data.SatInt

Generic SatInt 
Instance details

Defined in Data.SatInt

Associated Types

type Rep SatInt :: Type -> Type Source #

NFData SatInt 
Instance details

Defined in Data.SatInt

Methods

rnf :: SatInt -> () Source #

FiniteBits SatInt 
Instance details

Defined in Data.SatInt

ToJSON SatInt 
Instance details

Defined in Data.SatInt

FromJSON SatInt 
Instance details

Defined in Data.SatInt

Bits SatInt 
Instance details

Defined in Data.SatInt

FromField SatInt 
Instance details

Defined in Data.SatInt

Prim SatInt 
Instance details

Defined in Data.SatInt

ExMemoryUsage SatInt 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Lift SatInt 
Instance details

Defined in Data.SatInt

type Rep SatInt 
Instance details

Defined in Data.SatInt

type Rep SatInt = D1 ('MetaData "SatInt" "Data.SatInt" "plutus-core-0.1.0.0-2XLgUgaJ2q72oJTCJd5lmc" 'True) (C1 ('MetaCons "SI" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSatInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

getScript :: ValidatorMode -> ScriptValidationEvent -> Script Source #

Get the script from a ScriptValidationEvent in either fully applied or unapplied form.