plutus-ledger-api-1.22.1.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.V2

Description

The interface to Plutus V2 for the ledger.

Synopsis

Scripts

type SerialisedScript = ShortByteString Source #

Scripts to the ledger are serialised bytestrings.

data ScriptForEvaluation Source #

A Plutus script ready to be evaluated on-chain, via evaluateScriptRestricting.

Instances

Instances details
Generic ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Associated Types

type Rep ScriptForEvaluation :: Type -> Type Source #

Show ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

NFData ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Eq ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

NoThunks ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Methods

noThunks :: Context -> ScriptForEvaluation -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ScriptForEvaluation -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ScriptForEvaluation -> String

type Rep ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

type Rep ScriptForEvaluation = D1 ('MetaData "ScriptForEvaluation" "PlutusLedgerApi.Common.SerialisedScript" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'False) (C1 ('MetaCons "UnsafeScriptForEvaluation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SerialisedScript) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptNamedDeBruijn)))

serialiseCompiledCode :: forall a. CompiledCode a -> SerialisedScript Source #

Turns a program which was compiled using the 'PlutusTx' toolchain into a binary format that is understood by the network and can be stored on-chain.

serialiseUPLC :: Program DeBruijn DefaultUni DefaultFun () -> SerialisedScript Source #

Turns a program's AST (most likely manually constructed) into a binary format that is understood by the network and can be stored on-chain.

deserialiseScript Source #

Arguments

:: forall m. MonadError ScriptDecodeError m 
=> MajorProtocolVersion

which major protocol version the script was submitted in.

-> SerialisedScript

the script to deserialise.

-> m ScriptForEvaluation 

The deserialization from a serialised script into a ScriptForEvaluation, ready to be evaluated on-chain. Called inside phase-1 validation (i.e., deserialisation error is a phase-1 error).

uncheckedDeserialiseUPLC :: SerialisedScript -> Program DeBruijn DefaultUni DefaultFun () Source #

Deserialises a SerialisedScript back into an AST. Does *not* do ledger-language-version-specific checks like for allowable builtins.

Running scripts

evaluateScriptRestricting Source #

Arguments

:: MajorProtocolVersion

Which major protocol version to run the operation in

-> VerboseMode

Whether to produce log output

-> EvaluationContext

Includes the cost model to use for tallying up the execution costs

-> ExBudget

The resource budget which must not be exceeded during evaluation

-> ScriptForEvaluation

The script to evaluate

-> [Data]

The arguments to the script

-> (LogOutput, Either EvaluationError ExBudget) 

Evaluates a script, with a cost model and a budget that restricts how many resources it can use according to the cost model. Also returns the budget that was actually used.

Can be used to calculate budgets for scripts, but even in this case you must give a limit to guard against scripts that run for a long time or loop.

evaluateScriptCounting Source #

Arguments

:: MajorProtocolVersion

Which major protocol version to run the operation in

-> VerboseMode

Whether to produce log output

-> EvaluationContext

Includes the cost model to use for tallying up the execution costs

-> ScriptForEvaluation

The script to evaluate

-> [Data]

The arguments to the script

-> (LogOutput, Either EvaluationError ExBudget) 

Evaluates a script, returning the minimum budget that the script would need to evaluate successfully. This will take as long as the script takes, if you need to limit the execution time of the script also, you can use evaluateScriptRestricting, which also returns the used budget.

Protocol version

newtype MajorProtocolVersion Source #

This represents the major component of the Cardano protocol version. The ledger can only supply the major component of the protocol version, not the minor component, and Plutus should only need to care about the major component anyway. This relies on careful understanding between us and the ledger as to what this means.

Instances

Instances details
Generic MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Associated Types

type Rep MajorProtocolVersion :: Type -> Type Source #

Show MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Eq MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Ord MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Pretty MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Methods

pretty :: MajorProtocolVersion -> Doc ann

prettyList :: [MajorProtocolVersion] -> Doc ann

Serialise MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

type Rep MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

type Rep MajorProtocolVersion = D1 ('MetaData "MajorProtocolVersion" "PlutusLedgerApi.Common.ProtocolVersions" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'True) (C1 ('MetaCons "MajorProtocolVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMajorProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Verbose mode and log output

data VerboseMode Source #

A simple toggle indicating whether or not we should accumulate logs during script execution.

Constructors

Verbose

accumulate all traces

Quiet

don't accumulate anything

Instances

Instances details
Eq VerboseMode Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

type LogOutput = [Text] Source #

The type of the executed script's accumulated log output: a list of Text.

It will be an empty list if the VerboseMode is set to Quiet.

Costing-related types

data ExBudget #

Constructors

ExBudget 

Instances

Instances details
FromJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

parseJSON :: Value -> Parser ExBudget

parseJSONList :: Value -> Parser [ExBudget]

ToJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

toJSON :: ExBudget -> Value

toEncoding :: ExBudget -> Encoding

toJSONList :: [ExBudget] -> Value

toEncodingList :: [ExBudget] -> Encoding

Monoid ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Semigroup 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 #

Show ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

NFData ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

rnf :: ExBudget -> () Source #

Eq ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

NoThunks ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

noThunks :: Context -> ExBudget -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExBudget -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExBudget -> String

Pretty ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

pretty :: ExBudget -> Doc ann

prettyList :: [ExBudget] -> Doc ann

Serialise ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

encode :: ExBudget -> Encoding

decode :: Decoder s ExBudget

encodeList :: [ExBudget] -> Encoding

decodeList :: Decoder s [ExBudget]

PrettyBy config ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

prettyBy :: config -> ExBudget -> Doc ann

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

Lift ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

lift :: Quote m => ExBudget -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => ExBudget -> Code m ExBudget Source #

type Rep ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

type Rep ExBudget = D1 ('MetaData "ExBudget" "PlutusCore.Evaluation.Machine.ExBudget" "plutus-core-1.22.1.0-4wNS9zteW7s7EIPRYEdF78" '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 #

Constructors

ExCPU CostingInteger 

Instances

Instances details
FromJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON :: Value -> Parser ExCPU

parseJSONList :: Value -> Parser [ExCPU]

ToJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

toJSON :: ExCPU -> Value

toEncoding :: ExCPU -> Encoding

toJSONList :: [ExCPU] -> Value

toEncodingList :: [ExCPU] -> Encoding

Monoid ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Semigroup ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Bounded 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 #

Num ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Read ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NFData ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnf :: ExCPU -> () Source #

Eq ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

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

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

Ord ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NoThunks ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

noThunks :: Context -> ExCPU -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExCPU -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExCPU -> String

Pretty ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExCPU -> Doc ann

prettyList :: [ExCPU] -> Doc ann

Serialise ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

encode :: ExCPU -> Encoding

decode :: Decoder s ExCPU

encodeList :: [ExCPU] -> Encoding

decodeList :: Decoder s [ExCPU]

PrettyBy config ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy :: config -> ExCPU -> Doc ann

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

Lift ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

lift :: Quote m => ExCPU -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => ExCPU -> Code m ExCPU Source #

type Rep ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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

newtype ExMemory #

Constructors

ExMemory CostingInteger 

Instances

Instances details
FromJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON :: Value -> Parser ExMemory

parseJSONList :: Value -> Parser [ExMemory]

ToJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

toJSON :: ExMemory -> Value

toEncoding :: ExMemory -> Encoding

toJSONList :: [ExMemory] -> Value

toEncodingList :: [ExMemory] -> Encoding

Monoid ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Semigroup ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Bounded 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 #

Num ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Read ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NFData ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnf :: ExMemory -> () Source #

Eq ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Ord ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NoThunks ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

noThunks :: Context -> ExMemory -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> ExMemory -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy ExMemory -> String

Pretty ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExMemory -> Doc ann

prettyList :: [ExMemory] -> Doc ann

Serialise ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

encode :: ExMemory -> Encoding

decode :: Decoder s ExMemory

encodeList :: [ExMemory] -> Encoding

decodeList :: Decoder s [ExMemory]

PrettyBy config ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy :: config -> ExMemory -> Doc ann

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

Lift ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

lift :: Quote m => ExMemory -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => ExMemory -> Code m ExMemory Source #

type Rep ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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

data SatInt #

Instances

Instances details
FromJSON SatInt 
Instance details

Defined in Data.SatInt

Methods

parseJSON :: Value -> Parser SatInt

parseJSONList :: Value -> Parser [SatInt]

ToJSON SatInt 
Instance details

Defined in Data.SatInt

Methods

toJSON :: SatInt -> Value

toEncoding :: SatInt -> Encoding

toJSONList :: [SatInt] -> Value

toEncodingList :: [SatInt] -> Encoding

Bits SatInt 
Instance details

Defined in Data.SatInt

FiniteBits SatInt 
Instance details

Defined in Data.SatInt

Bounded SatInt 
Instance details

Defined in Data.SatInt

Generic SatInt 
Instance details

Defined in Data.SatInt

Associated Types

type Rep SatInt :: Type -> Type Source #

Num SatInt 
Instance details

Defined in Data.SatInt

Read SatInt 
Instance details

Defined in Data.SatInt

Show SatInt 
Instance details

Defined in Data.SatInt

FromField SatInt 
Instance details

Defined in Data.SatInt

Methods

parseField :: Field -> Parser SatInt

NFData SatInt 
Instance details

Defined in Data.SatInt

Methods

rnf :: SatInt -> () Source #

Eq SatInt 
Instance details

Defined in Data.SatInt

Ord SatInt 
Instance details

Defined in Data.SatInt

NoThunks SatInt 
Instance details

Defined in Data.SatInt

Methods

noThunks :: Context -> SatInt -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> SatInt -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy SatInt -> String

Prim SatInt 
Instance details

Defined in Data.SatInt

Serialise SatInt 
Instance details

Defined in Data.SatInt

Methods

encode :: SatInt -> Encoding

decode :: Decoder s SatInt

encodeList :: [SatInt] -> Encoding

decodeList :: Decoder s [SatInt]

Lift SatInt 
Instance details

Defined in Data.SatInt

Methods

lift :: Quote m => SatInt -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => SatInt -> Code m SatInt Source #

type Rep SatInt 
Instance details

Defined in Data.SatInt

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

fromSatInt :: Num a => SatInt -> a #

Cost model

data EvaluationContext Source #

An opaque type that contains all the static parameters that the evaluator needs to evaluate a script. This is so that they can be computed once and cached, rather than being recomputed on every evaluation.

Instances

Instances details
Generic EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Associated Types

type Rep EvaluationContext :: Type -> Type Source #

NFData EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Methods

rnf :: EvaluationContext -> () Source #

NoThunks EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Methods

noThunks :: Context -> EvaluationContext -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> EvaluationContext -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy EvaluationContext -> String

type Rep EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

type Rep EvaluationContext = D1 ('MetaData "EvaluationContext" "PlutusLedgerApi.Common.Eval" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'True) (C1 ('MetaCons "EvaluationContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "machineParameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DefaultMachineParameters)))

mkEvaluationContext Source #

Arguments

:: (MonadError CostModelApplyError m, MonadWriter [CostModelApplyWarn] m) 
=> [Integer]

the (updated) cost model parameters of the protocol

-> m EvaluationContext 

Build the EvaluationContext.

The input is a list of cost model parameters (which are integer values) passed from the ledger.

IMPORTANT: the cost model parameters MUST appear in the correct order, matching the names in ParamName. If the parameters are supplied in the wrong order then script cost calculations will be incorrect.

IMPORTANT: The evaluation context of every Plutus version must be recreated upon a protocol update with the updated cost model parameters.

data ParamName Source #

The enumeration of all possible cost model parameter names for this language version.

IMPORTANT: The order of appearance of the data constructors here matters. DO NOT REORDER. See Note [Quotation marks in cost model parameter constructors] See Note [Cost model parameters from the ledger's point of view]

Constructors

AddInteger'cpu'arguments'intercept 
AddInteger'cpu'arguments'slope 
AddInteger'memory'arguments'intercept 
AddInteger'memory'arguments'slope 
AppendByteString'cpu'arguments'intercept 
AppendByteString'cpu'arguments'slope 
AppendByteString'memory'arguments'intercept 
AppendByteString'memory'arguments'slope 
AppendString'cpu'arguments'intercept 
AppendString'cpu'arguments'slope 
AppendString'memory'arguments'intercept 
AppendString'memory'arguments'slope 
BData'cpu'arguments 
BData'memory'arguments 
Blake2b_256'cpu'arguments'intercept 
Blake2b_256'cpu'arguments'slope 
Blake2b_256'memory'arguments 
CekApplyCost'exBudgetCPU 
CekApplyCost'exBudgetMemory 
CekBuiltinCost'exBudgetCPU 
CekBuiltinCost'exBudgetMemory 
CekConstCost'exBudgetCPU 
CekConstCost'exBudgetMemory 
CekDelayCost'exBudgetCPU 
CekDelayCost'exBudgetMemory 
CekForceCost'exBudgetCPU 
CekForceCost'exBudgetMemory 
CekLamCost'exBudgetCPU 
CekLamCost'exBudgetMemory 
CekStartupCost'exBudgetCPU 
CekStartupCost'exBudgetMemory 
CekVarCost'exBudgetCPU 
CekVarCost'exBudgetMemory 
ChooseData'cpu'arguments 
ChooseData'memory'arguments 
ChooseList'cpu'arguments 
ChooseList'memory'arguments 
ChooseUnit'cpu'arguments 
ChooseUnit'memory'arguments 
ConsByteString'cpu'arguments'intercept 
ConsByteString'cpu'arguments'slope 
ConsByteString'memory'arguments'intercept 
ConsByteString'memory'arguments'slope 
ConstrData'cpu'arguments 
ConstrData'memory'arguments 
DecodeUtf8'cpu'arguments'intercept 
DecodeUtf8'cpu'arguments'slope 
DecodeUtf8'memory'arguments'intercept 
DecodeUtf8'memory'arguments'slope 
DivideInteger'cpu'arguments'constant 
DivideInteger'cpu'arguments'model'arguments'intercept 
DivideInteger'cpu'arguments'model'arguments'slope 
DivideInteger'memory'arguments'intercept 
DivideInteger'memory'arguments'minimum 
DivideInteger'memory'arguments'slope 
EncodeUtf8'cpu'arguments'intercept 
EncodeUtf8'cpu'arguments'slope 
EncodeUtf8'memory'arguments'intercept 
EncodeUtf8'memory'arguments'slope 
EqualsByteString'cpu'arguments'constant 
EqualsByteString'cpu'arguments'intercept 
EqualsByteString'cpu'arguments'slope 
EqualsByteString'memory'arguments 
EqualsData'cpu'arguments'intercept 
EqualsData'cpu'arguments'slope 
EqualsData'memory'arguments 
EqualsInteger'cpu'arguments'intercept 
EqualsInteger'cpu'arguments'slope 
EqualsInteger'memory'arguments 
EqualsString'cpu'arguments'constant 
EqualsString'cpu'arguments'intercept 
EqualsString'cpu'arguments'slope 
EqualsString'memory'arguments 
FstPair'cpu'arguments 
FstPair'memory'arguments 
HeadList'cpu'arguments 
HeadList'memory'arguments 
IData'cpu'arguments 
IData'memory'arguments 
IfThenElse'cpu'arguments 
IfThenElse'memory'arguments 
IndexByteString'cpu'arguments 
IndexByteString'memory'arguments 
LengthOfByteString'cpu'arguments 
LengthOfByteString'memory'arguments 
LessThanByteString'cpu'arguments'intercept 
LessThanByteString'cpu'arguments'slope 
LessThanByteString'memory'arguments 
LessThanEqualsByteString'cpu'arguments'intercept 
LessThanEqualsByteString'cpu'arguments'slope 
LessThanEqualsByteString'memory'arguments 
LessThanEqualsInteger'cpu'arguments'intercept 
LessThanEqualsInteger'cpu'arguments'slope 
LessThanEqualsInteger'memory'arguments 
LessThanInteger'cpu'arguments'intercept 
LessThanInteger'cpu'arguments'slope 
LessThanInteger'memory'arguments 
ListData'cpu'arguments 
ListData'memory'arguments 
MapData'cpu'arguments 
MapData'memory'arguments 
MkCons'cpu'arguments 
MkCons'memory'arguments 
MkNilData'cpu'arguments 
MkNilData'memory'arguments 
MkNilPairData'cpu'arguments 
MkNilPairData'memory'arguments 
MkPairData'cpu'arguments 
MkPairData'memory'arguments 
ModInteger'cpu'arguments'constant 
ModInteger'cpu'arguments'model'arguments'intercept 
ModInteger'cpu'arguments'model'arguments'slope 
ModInteger'memory'arguments'intercept 
ModInteger'memory'arguments'minimum 
ModInteger'memory'arguments'slope 
MultiplyInteger'cpu'arguments'intercept 
MultiplyInteger'cpu'arguments'slope 
MultiplyInteger'memory'arguments'intercept 
MultiplyInteger'memory'arguments'slope 
NullList'cpu'arguments 
NullList'memory'arguments 
QuotientInteger'cpu'arguments'constant 
QuotientInteger'cpu'arguments'model'arguments'intercept 
QuotientInteger'cpu'arguments'model'arguments'slope 
QuotientInteger'memory'arguments'intercept 
QuotientInteger'memory'arguments'minimum 
QuotientInteger'memory'arguments'slope 
RemainderInteger'cpu'arguments'constant 
RemainderInteger'cpu'arguments'model'arguments'intercept 
RemainderInteger'cpu'arguments'model'arguments'slope 
RemainderInteger'memory'arguments'intercept 
RemainderInteger'memory'arguments'minimum 
RemainderInteger'memory'arguments'slope 
SerialiseData'cpu'arguments'intercept 
SerialiseData'cpu'arguments'slope 
SerialiseData'memory'arguments'intercept 
SerialiseData'memory'arguments'slope 
Sha2_256'cpu'arguments'intercept 
Sha2_256'cpu'arguments'slope 
Sha2_256'memory'arguments 
Sha3_256'cpu'arguments'intercept 
Sha3_256'cpu'arguments'slope 
Sha3_256'memory'arguments 
SliceByteString'cpu'arguments'intercept 
SliceByteString'cpu'arguments'slope 
SliceByteString'memory'arguments'intercept 
SliceByteString'memory'arguments'slope 
SndPair'cpu'arguments 
SndPair'memory'arguments 
SubtractInteger'cpu'arguments'intercept 
SubtractInteger'cpu'arguments'slope 
SubtractInteger'memory'arguments'intercept 
SubtractInteger'memory'arguments'slope 
TailList'cpu'arguments 
TailList'memory'arguments 
Trace'cpu'arguments 
Trace'memory'arguments 
UnBData'cpu'arguments 
UnBData'memory'arguments 
UnConstrData'cpu'arguments 
UnConstrData'memory'arguments 
UnIData'cpu'arguments 
UnIData'memory'arguments 
UnListData'cpu'arguments 
UnListData'memory'arguments 
UnMapData'cpu'arguments 
UnMapData'memory'arguments 
VerifyEcdsaSecp256k1Signature'cpu'arguments 
VerifyEcdsaSecp256k1Signature'memory'arguments 
VerifyEd25519Signature'cpu'arguments'intercept 
VerifyEd25519Signature'cpu'arguments'slope 
VerifyEd25519Signature'memory'arguments 
VerifySchnorrSecp256k1Signature'cpu'arguments'intercept 
VerifySchnorrSecp256k1Signature'cpu'arguments'slope 
VerifySchnorrSecp256k1Signature'memory'arguments 

Instances

Instances details
Bounded ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.ParamName

Enum ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.ParamName

Generic ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.ParamName

Associated Types

type Rep ParamName :: Type -> Type Source #

Ix ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.ParamName

Eq ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.ParamName

Ord ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.ParamName

IsParamName ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.ParamName

type Rep ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.ParamName

type Rep ParamName = D1 ('MetaData "ParamName" "PlutusLedgerApi.V2.ParamName" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'False) (((((((C1 ('MetaCons "AddInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AddInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AddInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AddInteger'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppendByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "AppendByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppendByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AppendByteString'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AppendString'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppendString'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "AppendString'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AppendString'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Blake2b_256'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Blake2b_256'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Blake2b_256'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CekApplyCost'exBudgetCPU" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CekApplyCost'exBudgetMemory" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CekBuiltinCost'exBudgetCPU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CekBuiltinCost'exBudgetMemory" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "CekConstCost'exBudgetCPU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CekConstCost'exBudgetMemory" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CekDelayCost'exBudgetCPU" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CekDelayCost'exBudgetMemory" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CekForceCost'exBudgetCPU" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CekForceCost'exBudgetMemory" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CekLamCost'exBudgetCPU" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CekLamCost'exBudgetMemory" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "CekStartupCost'exBudgetCPU" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CekStartupCost'exBudgetMemory" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CekVarCost'exBudgetCPU" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CekVarCost'exBudgetMemory" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChooseData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ChooseData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ChooseList'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ChooseList'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ChooseUnit'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ChooseUnit'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "ConsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ConsByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConsByteString'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "ConstrData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstrData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DecodeUtf8'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DecodeUtf8'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DecodeUtf8'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "DecodeUtf8'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DivideInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DivideInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DivideInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "DivideInteger'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EncodeUtf8'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EncodeUtf8'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EncodeUtf8'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EncodeUtf8'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "EqualsByteString'cpu'arguments'constant" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EqualsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "EqualsByteString'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EqualsData'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsData'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "EqualsData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EqualsInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EqualsInteger'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsString'cpu'arguments'constant" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "EqualsString'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EqualsString'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EqualsString'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "FstPair'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FstPair'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HeadList'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "HeadList'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "IData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IfThenElse'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "IfThenElse'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "IndexByteString'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IndexByteString'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LengthOfByteString'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LengthOfByteString'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LessThanByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "LessThanByteString'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanEqualsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LessThanEqualsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LessThanEqualsByteString'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanEqualsInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "LessThanEqualsInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LessThanEqualsInteger'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LessThanInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LessThanInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LessThanInteger'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ListData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "ListData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MapData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MapData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MkCons'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkCons'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MkNilData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MkNilData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkNilPairData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MkNilPairData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MkPairData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MkPairData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "ModInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ModInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ModInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ModInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ModInteger'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MultiplyInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultiplyInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "MultiplyInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MultiplyInteger'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NullList'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "NullList'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QuotientInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QuotientInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QuotientInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "QuotientInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QuotientInteger'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RemainderInteger'cpu'arguments'constant" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RemainderInteger'cpu'arguments'model'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RemainderInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "RemainderInteger'memory'arguments'minimum" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RemainderInteger'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SerialiseData'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SerialiseData'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SerialiseData'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "SerialiseData'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Sha2_256'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sha2_256'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Sha2_256'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Sha3_256'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sha3_256'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "Sha3_256'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SliceByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SliceByteString'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SliceByteString'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SliceByteString'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "SndPair'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SndPair'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SubtractInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "SubtractInteger'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SubtractInteger'memory'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SubtractInteger'memory'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "TailList'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TailList'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Trace'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Trace'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnBData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "UnBData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnConstrData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnConstrData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "UnIData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnIData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnListData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "UnListData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnMapData'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnMapData'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VerifyEcdsaSecp256k1Signature'cpu'arguments" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerifyEcdsaSecp256k1Signature'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "VerifyEd25519Signature'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VerifyEd25519Signature'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerifyEd25519Signature'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "VerifySchnorrSecp256k1Signature'cpu'arguments'intercept" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VerifySchnorrSecp256k1Signature'cpu'arguments'slope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerifySchnorrSecp256k1Signature'memory'arguments" 'PrefixI 'False) (U1 :: Type -> Type)))))))))

data CostModelApplyError #

Instances

Instances details
Data CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CostModelApplyError -> c CostModelApplyError Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CostModelApplyError Source #

toConstr :: CostModelApplyError -> Constr Source #

dataTypeOf :: CostModelApplyError -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CostModelApplyError) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CostModelApplyError) Source #

gmapT :: (forall b. Data b => b -> b) -> CostModelApplyError -> CostModelApplyError Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CostModelApplyError -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CostModelApplyError -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> CostModelApplyError -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CostModelApplyError -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CostModelApplyError -> m CostModelApplyError Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CostModelApplyError -> m CostModelApplyError Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CostModelApplyError -> m CostModelApplyError Source #

Exception CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Generic CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Associated Types

type Rep CostModelApplyError :: Type -> Type Source #

Show CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

NFData CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Eq CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

NoThunks CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

noThunks :: Context -> CostModelApplyError -> IO (Maybe ThunkInfo)

wNoThunks :: Context -> CostModelApplyError -> IO (Maybe ThunkInfo)

showTypeOf :: Proxy CostModelApplyError -> String

Pretty CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

pretty :: CostModelApplyError -> Doc ann

prettyList :: [CostModelApplyError] -> Doc ann

type Rep CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

type Rep CostModelApplyError = D1 ('MetaData "CostModelApplyError" "PlutusCore.Evaluation.Machine.CostModelInterface" "plutus-core-1.22.1.0-4wNS9zteW7s7EIPRYEdF78" 'False) ((C1 ('MetaCons "CMUnknownParamError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "CMInternalReadError" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CMInternalWriteError" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 String)) :+: C1 ('MetaCons "CMTooFewParamsError" 'PrefixI 'True) (S1 ('MetaSel ('Just "cmTooFewExpected") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel ('Just "cmTooFewActual") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int))))

type CostModelParams = Map Text Integer #

Context types

data ScriptContext Source #

The context that the currently-executing script can access.

Constructors

ScriptContext 

Fields

Instances

Instances details
Generic ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Associated Types

type Rep ScriptContext :: Type -> Type Source #

Show ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Eq ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Eq ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

pretty :: ScriptContext -> Doc ann

prettyList :: [ScriptContext] -> Doc ann

Lift DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

lift :: ScriptContext -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

typeRep :: Proxy ScriptContext -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "PlutusLedgerApi.V2.Contexts" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'False) (C1 ('MetaCons "ScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "scriptContextTxInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo) :*: S1 ('MetaSel ('Just "scriptContextPurpose") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptPurpose)))

data ScriptPurpose Source #

Purpose of the script that is currently running

Instances

Instances details
Generic ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Associated Types

type Rep ScriptPurpose :: Type -> Type Source #

Show ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Eq ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Eq ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

FromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

ToData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann

prettyList :: [ScriptPurpose] -> Doc ann

Lift DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

lift :: ScriptPurpose -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

typeRep :: Proxy ScriptPurpose -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Supporting types used in the context types

ByteStrings

data BuiltinByteString #

Instances

Instances details
Data BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinByteString -> c BuiltinByteString Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinByteString Source #

toConstr :: BuiltinByteString -> Constr Source #

dataTypeOf :: BuiltinByteString -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinByteString) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinByteString) Source #

gmapT :: (forall b. Data b => b -> b) -> BuiltinByteString -> BuiltinByteString Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinByteString -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinByteString -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> BuiltinByteString -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinByteString -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source #

Monoid BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Semigroup BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Show BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

NFData BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

rnf :: BuiltinByteString -> () Source #

Eq BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Ord BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Hashable BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

ByteArray BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

allocRet :: Int -> (Ptr p -> IO a) -> IO (a, BuiltinByteString)

ByteArrayAccess BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Eq BuiltinByteString 
Instance details

Defined in PlutusTx.Eq

FromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

ToData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

UnsafeFromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Monoid BuiltinByteString 
Instance details

Defined in PlutusTx.Monoid

Ord BuiltinByteString 
Instance details

Defined in PlutusTx.Ord

Semigroup BuiltinByteString 
Instance details

Defined in PlutusTx.Semigroup

Pretty BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty :: BuiltinByteString -> Doc ann

prettyList :: [BuiltinByteString] -> Doc ann

Serialise BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

encode :: BuiltinByteString -> Encoding

decode :: Decoder s BuiltinByteString

encodeList :: [BuiltinByteString] -> Encoding

decodeList :: Decoder s [BuiltinByteString]

FromBuiltin BuiltinByteString ByteString 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

fromBuiltin :: BuiltinByteString -> ByteString #

ToBuiltin ByteString BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Class

Methods

toBuiltin :: ByteString -> BuiltinByteString #

HasTermLevel uni ByteString => Lift uni BuiltinByteString 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift :: BuiltinByteString -> RTCompile uni fun (Term TyName Name uni fun ())

HasTypeLevel uni ByteString => Typeable uni BuiltinByteString 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep :: Proxy BuiltinByteString -> RTCompile uni fun (Type TyName uni ())

toBuiltin :: ToBuiltin a arep => a -> arep #

fromBuiltin :: FromBuiltin arep a => arep -> a #

Bytes

newtype LedgerBytes Source #

Instances

Instances details
IsString LedgerBytes Source #

Read in arbitrary LedgerBytes as a "string" (of characters).

This is mostly used together with GHC's OverloadedStrings extension to specify at the source code any LedgerBytes constants, by utilizing Haskell's double-quoted string syntax.

IMPORTANT: the LedgerBytes are expected to be already hex-encoded (base16); otherwise, LedgerBytesError will be raised as an Exception.

Instance details

Defined in PlutusLedgerApi.V1.Bytes

Generic LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Associated Types

type Rep LedgerBytes :: Type -> Type Source #

Show LedgerBytes Source #

The Show instance of LedgerBytes is its Base16/Hex encoded bytestring, decoded with UTF-8, unpacked to String.

Instance details

Defined in PlutusLedgerApi.V1.Bytes

NFData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

rnf :: LedgerBytes -> () Source #

Eq LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Ord LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Eq LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

FromData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

ToData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

UnsafeFromData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Ord LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Pretty LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

pretty :: LedgerBytes -> Doc ann

prettyList :: [LedgerBytes] -> Doc ann

Lift DefaultUni LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

lift :: LedgerBytes -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

typeRep :: Proxy LedgerBytes -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

type Rep LedgerBytes = D1 ('MetaData "LedgerBytes" "PlutusLedgerApi.V1.Bytes" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'True) (C1 ('MetaCons "LedgerBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

fromBytes :: ByteString -> LedgerBytes Source #

Lift a Haskell bytestring to the Plutus abstraction LedgerBytes

Certificates

data DCert Source #

A representation of the ledger DCert. Some information is digested, and not included

Constructors

DCertDelegRegKey StakingCredential 
DCertDelegDeRegKey StakingCredential 
DCertDelegDelegate 

Fields

DCertPoolRegister

A digest of the PoolParams

Fields

DCertPoolRetire PubKeyHash Integer

The retirement certificate and the Epoch in which the retirement will take place

DCertGenesis

A really terse Digest

DCertMir

Another really terse Digest

Instances

Instances details
Generic DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Associated Types

type Rep DCert :: Type -> Type Source #

Methods

from :: DCert -> Rep DCert x Source #

to :: Rep DCert x -> DCert Source #

Show DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

NFData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

rnf :: DCert -> () Source #

Eq DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

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

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

Ord DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Eq DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

(==) :: DCert -> DCert -> Bool

FromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

ToData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

UnsafeFromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Pretty DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

pretty :: DCert -> Doc ann

prettyList :: [DCert] -> Doc ann

Lift DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

lift :: DCert -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

typeRep :: Proxy DCert -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Credentials

data StakingCredential Source #

Staking credential used to assign rewards.

Constructors

StakingHash Credential

The staking hash is the Credential required to unlock a transaction output. Either a public key credential (PubKeyHash) or a script credential (ScriptHash). Both are hashed with BLAKE2b-244. 28 byte.

StakingPtr

The certificate pointer, constructed by the given slot number, transaction and certificate indices. NB: The fields should really be all Word64, as they are implemented in Word64, but Integer is our only integral type so we need to use it instead.

Fields

  • Integer

    the slot number

  • Integer

    the transaction index (within the block)

  • Integer

    the certificate index (within the transaction)

Instances

Instances details
Generic StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Associated Types

type Rep StakingCredential :: Type -> Type Source #

Show StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

NFData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

rnf :: StakingCredential -> () Source #

Eq StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Ord StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Eq StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

FromData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

ToData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

UnsafeFromData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Pretty StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

pretty :: StakingCredential -> Doc ann

prettyList :: [StakingCredential] -> Doc ann

Lift DefaultUni StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

lift :: StakingCredential -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

typeRep :: Proxy StakingCredential -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

data Credential Source #

Credentials required to unlock a transaction output.

Constructors

PubKeyCredential PubKeyHash

The transaction that spends this output must be signed by the private key. See PubKeyHash.

ScriptCredential ScriptHash

The transaction that spends this output must include the validator script and be accepted by the validator. See ScriptHash.

Instances

Instances details
Generic Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Associated Types

type Rep Credential :: Type -> Type Source #

Show Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

NFData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

rnf :: Credential -> () Source #

Eq Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Ord Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Eq Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

(==) :: Credential -> Credential -> Bool

FromData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

ToData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

UnsafeFromData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Pretty Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

pretty :: Credential -> Doc ann

prettyList :: [Credential] -> Doc ann

Lift DefaultUni Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

lift :: Credential -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

typeRep :: Proxy Credential -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

type Rep Credential = D1 ('MetaData "Credential" "PlutusLedgerApi.V1.Credential" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'False) (C1 ('MetaCons "PubKeyCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)) :+: C1 ('MetaCons "ScriptCredential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash)))

Value

newtype Value Source #

The Value type represents a collection of amounts of different currencies. We can think of Value as a vector space whose dimensions are currencies.

Operations on currencies are usually implemented pointwise. That is, we apply the operation to the quantities for each currency in turn. So when we add two Values the resulting Value has, for each currency, the sum of the quantities of that particular currency in the argument Value. The effect of this is that the currencies in the Value are "independent", and are operated on separately.

Whenever we need to get the quantity of a currency in a Value where there is no explicit quantity of that currency in the Value, then the quantity is taken to be zero.

There is no 'Ord Value' instance since Value is only a partial order, so compare can't do the right thing in some cases.

Instances

Instances details
Data Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value Source #

toConstr :: Value -> Constr Source #

dataTypeOf :: Value -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Value) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value) Source #

gmapT :: (forall b. Data b => b -> b) -> Value -> Value Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Value -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value Source #

Monoid Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Semigroup Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Generic Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Associated Types

type Rep Value :: Type -> Type Source #

Methods

from :: Value -> Rep Value x Source #

to :: Rep Value x -> Value Source #

Show Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

NFData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

rnf :: Value -> () Source #

Eq Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

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

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

Eq Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(==) :: Value -> Value -> Bool

FromData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

ToData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

UnsafeFromData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

JoinSemiLattice Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(\/) :: Value -> Value -> Value

MeetSemiLattice Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(/\) :: Value -> Value -> Value

Group Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

inv :: Value -> Value

Monoid Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

mempty :: Value

AdditiveGroup Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(-) :: Value -> Value -> Value

AdditiveMonoid Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

zero :: Value

AdditiveSemigroup Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(+) :: Value -> Value -> Value

Semigroup Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(<>) :: Value -> Value -> Value

Pretty Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

pretty :: Value -> Doc ann

prettyList :: [Value] -> Doc ann

Lift DefaultUni Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

lift :: Value -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Module Integer Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

scale :: Integer -> Value -> Value #

Typeable DefaultUni Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

typeRep :: Proxy Value -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

type Rep Value = D1 ('MetaData "Value" "PlutusLedgerApi.V1.Value" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'True) (C1 ('MetaCons "Value" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CurrencySymbol (Map TokenName Integer)))))

newtype CurrencySymbol Source #

ByteString representing the currency, hashed with BLAKE2b-224. It is empty for Ada, 28 bytes for MintingPolicyHash. Forms an AssetClass along with TokenName. A Value is a map from CurrencySymbol's to a map from TokenName to an Integer.

This is a simple type without any validation, use with caution. You may want to add checks for its invariants. See the Shelley ledger specification.

Instances

Instances details
Data CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CurrencySymbol -> c CurrencySymbol Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CurrencySymbol Source #

toConstr :: CurrencySymbol -> Constr Source #

dataTypeOf :: CurrencySymbol -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CurrencySymbol) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CurrencySymbol) Source #

gmapT :: (forall b. Data b => b -> b) -> CurrencySymbol -> CurrencySymbol Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CurrencySymbol -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CurrencySymbol -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> CurrencySymbol -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CurrencySymbol -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CurrencySymbol -> m CurrencySymbol Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CurrencySymbol -> m CurrencySymbol Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CurrencySymbol -> m CurrencySymbol Source #

IsString CurrencySymbol Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Value

Generic CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Associated Types

type Rep CurrencySymbol :: Type -> Type Source #

Show CurrencySymbol Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Value

NFData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

rnf :: CurrencySymbol -> () Source #

Eq CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Ord CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Eq CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

FromData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

ToData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

UnsafeFromData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Ord CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Pretty CurrencySymbol Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

pretty :: CurrencySymbol -> Doc ann

prettyList :: [CurrencySymbol] -> Doc ann

Lift DefaultUni CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

lift :: CurrencySymbol -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

typeRep :: Proxy CurrencySymbol -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

type Rep CurrencySymbol = D1 ('MetaData "CurrencySymbol" "PlutusLedgerApi.V1.Value" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'True) (C1 ('MetaCons "CurrencySymbol" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCurrencySymbol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype TokenName Source #

ByteString of a name of a token. Shown as UTF-8 string when possible. Should be no longer than 32 bytes, empty for Ada. Forms an AssetClass along with a CurrencySymbol.

This is a simple type without any validation, use with caution. You may want to add checks for its invariants. See the Shelley ledger specification.

Constructors

TokenName 

Instances

Instances details
Data TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TokenName -> c TokenName Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TokenName Source #

toConstr :: TokenName -> Constr Source #

dataTypeOf :: TokenName -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TokenName) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TokenName) Source #

gmapT :: (forall b. Data b => b -> b) -> TokenName -> TokenName Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TokenName -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TokenName -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> TokenName -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TokenName -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TokenName -> m TokenName Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenName -> m TokenName Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TokenName -> m TokenName Source #

IsString TokenName Source #

UTF-8 encoding. Doesn't verify length.

Instance details

Defined in PlutusLedgerApi.V1.Value

Generic TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Associated Types

type Rep TokenName :: Type -> Type Source #

Show TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

NFData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

rnf :: TokenName -> () Source #

Eq TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Ord TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Eq TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(==) :: TokenName -> TokenName -> Bool

FromData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

ToData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

UnsafeFromData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Ord TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Pretty TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

pretty :: TokenName -> Doc ann

prettyList :: [TokenName] -> Doc ann

Lift DefaultUni TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

lift :: TokenName -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

typeRep :: Proxy TokenName -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

type Rep TokenName = D1 ('MetaData "TokenName" "PlutusLedgerApi.V1.Value" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'True) (C1 ('MetaCons "TokenName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTokenName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

singleton :: CurrencySymbol -> TokenName -> Integer -> Value Source #

Make a Value containing only the given quantity of the given currency.

adaSymbol :: CurrencySymbol Source #

The CurrencySymbol of the Ada currency.

adaToken :: TokenName Source #

The TokenName of the Ada currency.

newtype Lovelace Source #

Constructors

Lovelace 

Fields

Instances

Instances details
Enum Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Generic Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Associated Types

type Rep Lovelace :: Type -> Type Source #

Num Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Real Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Show Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Eq Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Ord Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Eq Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(==) :: Lovelace -> Lovelace -> Bool

FromData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

ToData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

UnsafeFromData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

AdditiveGroup Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(-) :: Lovelace -> Lovelace -> Lovelace

AdditiveMonoid Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

zero :: Lovelace

AdditiveSemigroup Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

(+) :: Lovelace -> Lovelace -> Lovelace

Ord Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Show Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

showsPrec :: Integer -> Lovelace -> ShowS

show :: Lovelace -> BuiltinString

Pretty Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

pretty :: Lovelace -> Doc ann

prettyList :: [Lovelace] -> Doc ann

Lift DefaultUni Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

lift :: Lovelace -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

typeRep :: Proxy Lovelace -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

type Rep Lovelace = D1 ('MetaData "Lovelace" "PlutusLedgerApi.V1.Value" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'True) (C1 ('MetaCons "Lovelace" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLovelace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Time

newtype POSIXTime Source #

POSIX time is measured as the number of milliseconds since 1970-01-01T00:00:00Z. This is not the same as Haskell's POSIXTime

Constructors

POSIXTime 

Instances

Instances details
Enum POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Generic POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Associated Types

type Rep POSIXTime :: Type -> Type Source #

Num POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Integral POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Real POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Show POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

NFData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

rnf :: POSIXTime -> () Source #

Eq POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Ord POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Enum POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Eq POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

(==) :: POSIXTime -> POSIXTime -> Bool

FromData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

ToData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

UnsafeFromData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

AdditiveGroup POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

AdditiveMonoid POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

zero :: POSIXTime

AdditiveSemigroup POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Ord POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Pretty POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

pretty :: POSIXTime -> Doc ann

prettyList :: [POSIXTime] -> Doc ann

Lift DefaultUni POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

lift :: POSIXTime -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

typeRep :: Proxy POSIXTime -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

type Rep POSIXTime = D1 ('MetaData "POSIXTime" "PlutusLedgerApi.V1.Time" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'True) (C1 ('MetaCons "POSIXTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPOSIXTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Types for representing transactions

data Address Source #

An address may contain two credentials, the payment credential and optionally a StakingCredential.

Constructors

Address 

Fields

Instances

Instances details
Generic Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Associated Types

type Rep Address :: Type -> Type Source #

Show Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

NFData Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

rnf :: Address -> () Source #

Eq Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Ord Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Eq Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

(==) :: Address -> Address -> Bool

FromData Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

ToData Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

UnsafeFromData Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Pretty Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

pretty :: Address -> Doc ann

prettyList :: [Address] -> Doc ann

Lift DefaultUni Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

lift :: Address -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

typeRep :: Proxy Address -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

type Rep Address = D1 ('MetaData "Address" "PlutusLedgerApi.V1.Address" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'False) (C1 ('MetaCons "Address" 'PrefixI 'True) (S1 ('MetaSel ('Just "addressCredential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('Just "addressStakingCredential") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe StakingCredential))))

newtype PubKeyHash Source #

The hash of a public key. This is frequently used to identify the public key, rather than the key itself. Hashed with BLAKE2b-224. 28 bytes.

This is a simple type without any validation, use with caution. You may want to add checks for its invariants. See the Shelley ledger specification.

Instances

Instances details
IsString PubKeyHash Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Crypto

Generic PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Associated Types

type Rep PubKeyHash :: Type -> Type Source #

Show PubKeyHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Crypto

NFData PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

rnf :: PubKeyHash -> () Source #

Eq PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Ord PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Eq PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

(==) :: PubKeyHash -> PubKeyHash -> Bool

FromData PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

ToData PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

UnsafeFromData PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Ord PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Show PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

showsPrec :: Integer -> PubKeyHash -> ShowS

show :: PubKeyHash -> BuiltinString

Pretty PubKeyHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

pretty :: PubKeyHash -> Doc ann

prettyList :: [PubKeyHash] -> Doc ann

Lift DefaultUni PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

lift :: PubKeyHash -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

typeRep :: Proxy PubKeyHash -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

type Rep PubKeyHash = D1 ('MetaData "PubKeyHash" "PlutusLedgerApi.V1.Crypto" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'True) (C1 ('MetaCons "PubKeyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPubKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype TxId Source #

A transaction ID, i.e. the hash of a transaction. Hashed with BLAKE2b-256. 32 byte.

This is a simple type without any validation, use with caution. You may want to add checks for its invariants. See the Shelley ledger specification.

Constructors

TxId 

Instances

Instances details
IsString TxId Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Tx

Generic TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Associated Types

type Rep TxId :: Type -> Type Source #

Methods

from :: TxId -> Rep TxId x Source #

to :: Rep TxId x -> TxId Source #

Show TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Tx

NFData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

rnf :: TxId -> () Source #

Eq TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

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

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

Ord TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Eq TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

(==) :: TxId -> TxId -> Bool

FromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

ToData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

UnsafeFromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Ord TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

compare :: TxId -> TxId -> Ordering

(<) :: TxId -> TxId -> Bool

(<=) :: TxId -> TxId -> Bool

(>) :: TxId -> TxId -> Bool

(>=) :: TxId -> TxId -> Bool

max :: TxId -> TxId -> TxId

min :: TxId -> TxId -> TxId

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

pretty :: TxId -> Doc ann

prettyList :: [TxId] -> Doc ann

Lift DefaultUni TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

lift :: TxId -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

typeRep :: Proxy TxId -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

type Rep TxId = D1 ('MetaData "TxId" "PlutusLedgerApi.V1.Tx" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

data TxInfo Source #

A pending transaction. This is the view as seen by validator scripts, so some details are stripped out.

Constructors

TxInfo 

Fields

Instances

Instances details
Generic TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Associated Types

type Rep TxInfo :: Type -> Type Source #

Show TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Eq TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Eq TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

(==) :: TxInfo -> TxInfo -> Bool

FromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

ToData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

UnsafeFromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

pretty :: TxInfo -> Doc ann

prettyList :: [TxInfo] -> Doc ann

Lift DefaultUni TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

lift :: TxInfo -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

typeRep :: Proxy TxInfo -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

type Rep TxInfo = D1 ('MetaData "TxInfo" "PlutusLedgerApi.V2.Contexts" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'False) (C1 ('MetaCons "TxInfo" 'PrefixI 'True) (((S1 ('MetaSel ('Just "txInfoInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxInInfo]) :*: (S1 ('MetaSel ('Just "txInfoReferenceInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxInInfo]) :*: S1 ('MetaSel ('Just "txInfoOutputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TxOut]))) :*: (S1 ('MetaSel ('Just "txInfoFee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: (S1 ('MetaSel ('Just "txInfoMint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "txInfoDCert") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DCert])))) :*: ((S1 ('MetaSel ('Just "txInfoWdrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map StakingCredential Integer)) :*: (S1 ('MetaSel ('Just "txInfoValidRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTimeRange) :*: S1 ('MetaSel ('Just "txInfoSignatories") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PubKeyHash]))) :*: (S1 ('MetaSel ('Just "txInfoRedeemers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ScriptPurpose Redeemer)) :*: (S1 ('MetaSel ('Just "txInfoData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DatumHash Datum)) :*: S1 ('MetaSel ('Just "txInfoId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId))))))

data TxOut Source #

A transaction output, consisting of a target address, a value, optionally a datum/datum hash, and optionally a reference script.

Instances

Instances details
Generic TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Associated Types

type Rep TxOut :: Type -> Type Source #

Methods

from :: TxOut -> Rep TxOut x Source #

to :: Rep TxOut x -> TxOut Source #

Show TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

NFData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

rnf :: TxOut -> () Source #

Eq TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

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

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

Eq TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

(==) :: TxOut -> TxOut -> Bool

FromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

ToData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

UnsafeFromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

pretty :: TxOut -> Doc ann

prettyList :: [TxOut] -> Doc ann

Lift DefaultUni TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

lift :: TxOut -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

typeRep :: Proxy TxOut -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

type Rep TxOut = D1 ('MetaData "TxOut" "PlutusLedgerApi.V2.Tx" "plutus-ledger-api-1.22.1.0-JzWLhixz3dDKzUT2B0sevK" 'False) (C1 ('MetaCons "TxOut" 'PrefixI 'True) ((S1 ('MetaSel ('Just "txOutAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Address) :*: S1 ('MetaSel ('Just "txOutValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value)) :*: (S1 ('MetaSel ('Just "txOutDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OutputDatum) :*: S1 ('MetaSel ('Just "txOutReferenceScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ScriptHash)))))

data TxOutRef Source #

A reference to a transaction output. This is a pair of a transaction ID (TxId), and an index indicating which of the outputs of that transaction we are referring to.

Constructors

TxOutRef 

Fields