Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.Data.V1

Contents

Scripts
Running scripts
- Protocol version
- Verbose mode and log output
Costing-related types
- Cost model
Context types
- Supporting types used in the context types
Data
Errors

Description

The interface to Plutus V1 for the ledger.

Synopsis

type SerialisedScript = ShortByteString
data ScriptForEvaluation
serialisedScript ∷ ScriptForEvaluation → SerialisedScript
deserialisedScript ∷ ScriptForEvaluation → ScriptNamedDeBruijn
serialiseCompiledCode ∷ ∀ a. CompiledCode a → SerialisedScript
serialiseUPLC ∷ Program DeBruijn DefaultUni DefaultFun () → SerialisedScript
deserialiseScript ∷ ∀ m. MonadError ScriptDecodeError m ⇒ MajorProtocolVersion → SerialisedScript → m ScriptForEvaluation
uncheckedDeserialiseUPLC ∷ SerialisedScript → Program DeBruijn DefaultUni DefaultFun ()
evaluateScriptRestricting ∷ MajorProtocolVersion → VerboseMode → EvaluationContext → ExBudget → ScriptForEvaluation → [Data] → (LogOutput, Either EvaluationError ExBudget)
evaluateScriptCounting ∷ MajorProtocolVersion → VerboseMode → EvaluationContext → ScriptForEvaluation → [Data] → (LogOutput, Either EvaluationError ExBudget)
newtype MajorProtocolVersion = MajorProtocolVersion {
- getMajorProtocolVersion ∷ Int
}
data VerboseMode
- = Verbose
- | Quiet
type LogOutput = [Text]
data ExBudget = ExBudget {
- exBudgetCPU ∷ ExCPU
- exBudgetMemory ∷ ExMemory
}
newtype ExCPU = ExCPU CostingInteger
newtype ExMemory = ExMemory CostingInteger
data SatInt
fromSatInt ∷ Num a ⇒ SatInt → a
data EvaluationContext
mkEvaluationContext ∷ (MonadError CostModelApplyError m, MonadWriter [CostModelApplyWarn] m) ⇒ [Int64] → m EvaluationContext
data ParamName
- = 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
- | 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
- | VerifyEd25519Signature'cpu'arguments'intercept
- | VerifyEd25519Signature'cpu'arguments'slope
- | VerifyEd25519Signature'memory'arguments
data CostModelApplyError
- = CMUnknownParamError !Text
- | CMInternalReadError
- | CMInternalWriteError !String
type CostModelParams = Map Text Int64
assertWellFormedCostModelParams ∷ MonadError CostModelApplyError m ⇒ CostModelParams → m ()
data ScriptContext = ScriptContext {
- scriptContextTxInfo ∷ TxInfo
- scriptContextPurpose ∷ ScriptPurpose
}
data ScriptPurpose
- = Minting CurrencySymbol
- | Spending TxOutRef
- | Rewarding StakingCredential
- | Certifying DCert
data BuiltinByteString
toBuiltin ∷ HasToBuiltin a ⇒ a → ToBuiltin a
fromBuiltin ∷ HasFromBuiltin arep ⇒ arep → FromBuiltin arep
newtype LedgerBytes = LedgerBytes {
- getLedgerBytes ∷ BuiltinByteString
}
fromBytes ∷ ByteString → LedgerBytes
data DCert
- = DCertDelegRegKey StakingCredential
- | DCertDelegDeRegKey StakingCredential
- | DCertDelegDelegate StakingCredential PubKeyHash
- | DCertPoolRegister PubKeyHash PubKeyHash
- | DCertPoolRetire PubKeyHash Integer
- | DCertGenesis
- | DCertMir
data StakingCredential
- = StakingHash Credential
- | StakingPtr Integer Integer Integer
data Credential
- = PubKeyCredential PubKeyHash
- | ScriptCredential ScriptHash
newtype Value = Value {
- getValue ∷ Map CurrencySymbol (Map TokenName Integer)
}
newtype CurrencySymbol = CurrencySymbol {
- unCurrencySymbol ∷ BuiltinByteString
}
newtype TokenName = TokenName {
- unTokenName ∷ BuiltinByteString
}
singleton ∷ CurrencySymbol → TokenName → Integer → Value
unionWith ∷ (Integer → Integer → Integer) → Value → Value → Value
adaSymbol ∷ CurrencySymbol
adaToken ∷ TokenName
newtype Lovelace = Lovelace {
- getLovelace ∷ Integer
}
newtype POSIXTime = POSIXTime {
- getPOSIXTime ∷ Integer
}
type POSIXTimeRange = Interval POSIXTime
data Address = Address {
- addressCredential ∷ Credential
- addressStakingCredential ∷ Maybe StakingCredential
}
newtype PubKeyHash = PubKeyHash {
- getPubKeyHash ∷ BuiltinByteString
}
newtype TxId = TxId {
- getTxId ∷ BuiltinByteString
}
data TxInfo = TxInfo {
- txInfoInputs ∷ [TxInInfo]
- txInfoOutputs ∷ [TxOut]
- txInfoFee ∷ Value
- txInfoMint ∷ Value
- txInfoDCert ∷ [DCert]
- txInfoWdrl ∷ [(StakingCredential, Integer)]
- txInfoValidRange ∷ POSIXTimeRange
- txInfoSignatories ∷ [PubKeyHash]
- txInfoData ∷ [(DatumHash, Datum)]
- txInfoId ∷ TxId
}
data TxOut = TxOut {
- txOutAddress ∷ Address
- txOutValue ∷ Value
- txOutDatumHash ∷ Maybe DatumHash
}
data TxOutRef = TxOutRef {
- txOutRefId ∷ TxId
- txOutRefIdx ∷ Integer
}
data TxInInfo = TxInInfo {
- txInInfoOutRef ∷ TxOutRef
- txInInfoResolved ∷ TxOut
}
data Interval a = Interval {
- ivFrom ∷ LowerBound a
- ivTo ∷ UpperBound a
}
data Extended a
- = NegInf
- | Finite a
- | PosInf
type Closure = Bool
data UpperBound a = UpperBound (Extended a) Closure
data LowerBound a = LowerBound (Extended a) Closure
always ∷ Interval a
from ∷ a → Interval a
to ∷ a → Interval a
lowerBound ∷ a → LowerBound a
upperBound ∷ a → UpperBound a
strictLowerBound ∷ a → LowerBound a
strictUpperBound ∷ a → UpperBound a
newtype ScriptHash = ScriptHash {
- getScriptHash ∷ BuiltinByteString
}
newtype Redeemer = Redeemer {
- getRedeemer ∷ BuiltinData
}
newtype RedeemerHash = RedeemerHash BuiltinByteString
newtype Datum = Datum {
- getDatum ∷ BuiltinData
}
newtype DatumHash = DatumHash BuiltinByteString
data Data
- = Constr Integer [Data]
- | Map [(Data, Data)]
- | List [Data]
- | I Integer
- | B ByteString
data BuiltinData = BuiltinData ~Data
class ToData a where
- toBuiltinData ∷ a → BuiltinData
class FromData a where
- fromBuiltinData ∷ BuiltinData → Maybe a
class UnsafeFromData a where
- unsafeFromBuiltinData ∷ BuiltinData → a
toData ∷ ToData a ⇒ a → Data
fromData ∷ FromData a ⇒ Data → Maybe a
dataToBuiltinData ∷ Data → BuiltinData
builtinDataToData ∷ BuiltinData → Data
data EvaluationError
- = CekError !(CekEvaluationException NamedDeBruijn DefaultUni DefaultFun)
- | DeBruijnError !FreeVariableError
- | CodecError !ScriptDecodeError
- | CostModelParameterMismatch
- | InvalidReturnValue
data ScriptDecodeError
- = CBORDeserialiseError !DeserialiseFailureInfo
- | RemainderError !ByteString
- | LedgerLanguageNotAvailableError {
  - sdeAffectedLang ∷ !PlutusLedgerLanguage
  - sdeIntroPv ∷ !MajorProtocolVersion
  - sdeThisPv ∷ !MajorProtocolVersion
  }
- | PlutusCoreLanguageNotAvailableError {
  - sdeAffectedVersion ∷ !Version
  - sdeThisLang ∷ !PlutusLedgerLanguage
  - sdeThisPv ∷ !MajorProtocolVersion
  }

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 # Methods from ∷ ScriptForEvaluation → Rep ScriptForEvaluation x Source # to ∷ Rep ScriptForEvaluation x → ScriptForEvaluation Source #
Show ScriptForEvaluation Source #
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods showsPrec ∷ Int → ScriptForEvaluation → ShowS Source # show ∷ ScriptForEvaluation → String Source # showList ∷ [ScriptForEvaluation] → ShowS Source #
NFData ScriptForEvaluation Source #
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods rnf ∷ ScriptForEvaluation → () Source #
Eq ScriptForEvaluation Source #
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods (==) ∷ ScriptForEvaluation → ScriptForEvaluation → Bool Source # (/=) ∷ ScriptForEvaluation → ScriptForEvaluation → Bool Source #
NoThunks ScriptForEvaluation Source #
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods noThunks ∷ Context → ScriptForEvaluation → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ScriptForEvaluation → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ScriptForEvaluation → String Source #
type Rep ScriptForEvaluation Source #
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript type Rep ScriptForEvaluation = D1 ('MetaData "ScriptForEvaluation" "PlutusLedgerApi.Common.SerialisedScript" "plutus-ledger-api-1.34.1.0-inplace" '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)))

serialisedScript ∷ ScriptForEvaluation → SerialisedScript Source #

Get a SerialisedScript from a ScriptForEvaluation. O(1).

deserialisedScript ∷ ScriptForEvaluation → ScriptNamedDeBruijn Source #

Get a ScriptNamedDeBruijn from a ScriptForEvaluation. O(1).

serialiseCompiledCode ∷ ∀ 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

∷ ∀ 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. lalaThis 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.

Constructors

MajorProtocolVersion
Fields getMajorProtocolVersion ∷ Int

Instances

Instances details

Generic MajorProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.Common.ProtocolVersions Associated Types type Rep MajorProtocolVersion ∷ Type → Type Source # Methods from ∷ MajorProtocolVersion → Rep MajorProtocolVersion x Source # to ∷ Rep MajorProtocolVersion x → MajorProtocolVersion Source #
Show MajorProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.Common.ProtocolVersions Methods showsPrec ∷ Int → MajorProtocolVersion → ShowS Source # show ∷ MajorProtocolVersion → String Source # showList ∷ [MajorProtocolVersion] → ShowS Source #
Eq MajorProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.Common.ProtocolVersions Methods (==) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source # (/=) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source #
Ord MajorProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.Common.ProtocolVersions Methods compare ∷ MajorProtocolVersion → MajorProtocolVersion → Ordering Source # (<) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source # (<=) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source # (>) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source # (>=) ∷ MajorProtocolVersion → MajorProtocolVersion → Bool Source # max ∷ MajorProtocolVersion → MajorProtocolVersion → MajorProtocolVersion Source # min ∷ MajorProtocolVersion → MajorProtocolVersion → MajorProtocolVersion Source #
Pretty MajorProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.Common.ProtocolVersions Methods pretty ∷ MajorProtocolVersion → Doc ann Source # prettyList ∷ [MajorProtocolVersion] → Doc ann Source #
Serialise MajorProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.Common.ProtocolVersions Methods encode ∷ MajorProtocolVersion → Encoding Source # decode ∷ Decoder s MajorProtocolVersion Source # encodeList ∷ [MajorProtocolVersion] → Encoding Source # decodeList ∷ Decoder s [MajorProtocolVersion] Source #
type Rep MajorProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.Common.ProtocolVersions type Rep MajorProtocolVersion = D1 ('MetaData "MajorProtocolVersion" "PlutusLedgerApi.Common.ProtocolVersions" "plutus-ledger-api-1.34.1.0-inplace" '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 Methods (==) ∷ VerboseMode → VerboseMode → Bool Source # (/=) ∷ VerboseMode → VerboseMode → Bool Source #

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

Constructors

ExBudget
Fields exBudgetCPU ∷ ExCPU exBudgetMemory ∷ ExMemory

Instances

Instances details

FromJSON ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods parseJSON ∷ Value → Parser ExBudget parseJSONList ∷ Value → Parser [ExBudget] omittedField ∷ Maybe ExBudget
ToJSON ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods toJSON ∷ ExBudget → Value toEncoding ∷ ExBudget → Encoding toJSONList ∷ [ExBudget] → Value toEncodingList ∷ [ExBudget] → Encoding omitField ∷ ExBudget → Bool
Monoid ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods mempty ∷ ExBudget Source # mappend ∷ ExBudget → ExBudget → ExBudget Source # mconcat ∷ [ExBudget] → ExBudget Source #
Semigroup ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods (<>) ∷ ExBudget → ExBudget → ExBudget Source # sconcat ∷ NonEmpty ExBudget → ExBudget Source # stimes ∷ Integral b ⇒ b → ExBudget → ExBudget Source #
Generic ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Associated Types type Rep ExBudget ∷ Type → Type Source # Methods from ∷ ExBudget → Rep ExBudget x Source # to ∷ Rep ExBudget x → ExBudget Source #
Show ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods showsPrec ∷ Int → ExBudget → ShowS Source # show ∷ ExBudget → String Source # showList ∷ [ExBudget] → ShowS Source #
NFData ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods rnf ∷ ExBudget → () Source #
Eq ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods (==) ∷ ExBudget → ExBudget → Bool Source # (/=) ∷ ExBudget → ExBudget → Bool Source #
NoThunks ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods noThunks ∷ Context → ExBudget → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ExBudget → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ExBudget → String Source #
Pretty ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty ∷ ExBudget → Doc ann Source # prettyList ∷ [ExBudget] → Doc ann Source #
Serialise ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods encode ∷ ExBudget → Encoding Source # decode ∷ Decoder s ExBudget Source # encodeList ∷ [ExBudget] → Encoding Source # decodeList ∷ Decoder s [ExBudget] Source #
PrettyBy config ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods prettyBy ∷ config → ExBudget → Doc ann Source # prettyListBy ∷ config → [ExBudget] → Doc ann Source #
Lift ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods lift ∷ Quote m ⇒ ExBudget → m Exp Source # liftTyped ∷ ∀ (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.34.1.0-inplace" 'False) (C1 ('MetaCons "ExBudget" 'PrefixI 'True) (S1 ('MetaSel ('Just "exBudgetCPU") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExCPU) :*: S1 ('MetaSel ('Just "exBudgetMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExMemory)))

newtype ExCPU Source #

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

Constructors

ExCPU CostingInteger

Instances

Instances details

FromJSON ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods parseJSON ∷ Value → Parser ExCPU parseJSONList ∷ Value → Parser [ExCPU] omittedField ∷ Maybe ExCPU
ToJSON ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods toJSON ∷ ExCPU → Value toEncoding ∷ ExCPU → Encoding toJSONList ∷ [ExCPU] → Value toEncodingList ∷ [ExCPU] → Encoding omitField ∷ ExCPU → Bool
Monoid ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods mempty ∷ ExCPU Source # mappend ∷ ExCPU → ExCPU → ExCPU Source # mconcat ∷ [ExCPU] → ExCPU Source #
Semigroup ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (<>) ∷ ExCPU → ExCPU → ExCPU Source # sconcat ∷ NonEmpty ExCPU → ExCPU Source # stimes ∷ Integral b ⇒ b → ExCPU → ExCPU Source #
Bounded ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods minBound ∷ ExCPU Source # maxBound ∷ ExCPU Source #
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 Methods (+) ∷ ExCPU → ExCPU → ExCPU Source # (-) ∷ ExCPU → ExCPU → ExCPU Source # (*) ∷ ExCPU → ExCPU → ExCPU Source # negate ∷ ExCPU → ExCPU Source # abs ∷ ExCPU → ExCPU Source # signum ∷ ExCPU → ExCPU Source # fromInteger ∷ Integer → ExCPU Source #
Read ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods readsPrec ∷ Int → ReadS ExCPU Source # readList ∷ ReadS [ExCPU] Source # readPrec ∷ ReadPrec ExCPU Source # readListPrec ∷ ReadPrec [ExCPU] Source #
Show ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods showsPrec ∷ Int → ExCPU → ShowS Source # show ∷ ExCPU → String Source # showList ∷ [ExCPU] → ShowS Source #
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 Methods compare ∷ ExCPU → ExCPU → Ordering Source # (<) ∷ ExCPU → ExCPU → Bool Source # (<=) ∷ ExCPU → ExCPU → Bool Source # (>) ∷ ExCPU → ExCPU → Bool Source # (>=) ∷ ExCPU → ExCPU → Bool Source # max ∷ ExCPU → ExCPU → ExCPU Source # min ∷ ExCPU → ExCPU → ExCPU Source #
NoThunks ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods noThunks ∷ Context → ExCPU → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ExCPU → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ExCPU → String Source #
Pretty ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty ∷ ExCPU → Doc ann Source # prettyList ∷ [ExCPU] → Doc ann Source #
Serialise ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods encode ∷ ExCPU → Encoding Source # decode ∷ Decoder s ExCPU Source # encodeList ∷ [ExCPU] → Encoding Source # decodeList ∷ Decoder s [ExCPU] Source #
PrettyBy config ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy ∷ config → ExCPU → Doc ann Source # prettyListBy ∷ config → [ExCPU] → Doc ann Source #
Lift ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods lift ∷ Quote m ⇒ ExCPU → m Exp Source # liftTyped ∷ ∀ (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.34.1.0-inplace" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype ExMemory Source #

Counts size in machine words.

Constructors

ExMemory CostingInteger

Instances

Instances details

FromJSON ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods parseJSON ∷ Value → Parser ExMemory parseJSONList ∷ Value → Parser [ExMemory] omittedField ∷ Maybe ExMemory
ToJSON ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods toJSON ∷ ExMemory → Value toEncoding ∷ ExMemory → Encoding toJSONList ∷ [ExMemory] → Value toEncodingList ∷ [ExMemory] → Encoding omitField ∷ ExMemory → Bool
Monoid ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods mempty ∷ ExMemory Source # mappend ∷ ExMemory → ExMemory → ExMemory Source # mconcat ∷ [ExMemory] → ExMemory Source #
Semigroup ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (<>) ∷ ExMemory → ExMemory → ExMemory Source # sconcat ∷ NonEmpty ExMemory → ExMemory Source # stimes ∷ Integral b ⇒ b → ExMemory → ExMemory Source #
Bounded ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods minBound ∷ ExMemory Source # maxBound ∷ ExMemory Source #
Generic ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Associated Types type Rep ExMemory ∷ Type → Type Source # Methods from ∷ ExMemory → Rep ExMemory x Source # to ∷ Rep ExMemory x → ExMemory Source #
Num ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (+) ∷ ExMemory → ExMemory → ExMemory Source # (-) ∷ ExMemory → ExMemory → ExMemory Source # (*) ∷ ExMemory → ExMemory → ExMemory Source # negate ∷ ExMemory → ExMemory Source # abs ∷ ExMemory → ExMemory Source # signum ∷ ExMemory → ExMemory Source # fromInteger ∷ Integer → ExMemory Source #
Read ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods readsPrec ∷ Int → ReadS ExMemory Source # readList ∷ ReadS [ExMemory] Source # readPrec ∷ ReadPrec ExMemory Source # readListPrec ∷ ReadPrec [ExMemory] Source #
Show ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods showsPrec ∷ Int → ExMemory → ShowS Source # show ∷ ExMemory → String Source # showList ∷ [ExMemory] → ShowS Source #
NFData ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods rnf ∷ ExMemory → () Source #
Eq ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods (==) ∷ ExMemory → ExMemory → Bool Source # (/=) ∷ ExMemory → ExMemory → Bool Source #
Ord ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods compare ∷ ExMemory → ExMemory → Ordering Source # (<) ∷ ExMemory → ExMemory → Bool Source # (<=) ∷ ExMemory → ExMemory → Bool Source # (>) ∷ ExMemory → ExMemory → Bool Source # (>=) ∷ ExMemory → ExMemory → Bool Source # max ∷ ExMemory → ExMemory → ExMemory Source # min ∷ ExMemory → ExMemory → ExMemory Source #
NoThunks ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods noThunks ∷ Context → ExMemory → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ExMemory → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy ExMemory → String Source #
Pretty ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty ∷ ExMemory → Doc ann Source # prettyList ∷ [ExMemory] → Doc ann Source #
Serialise ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods encode ∷ ExMemory → Encoding Source # decode ∷ Decoder s ExMemory Source # encodeList ∷ [ExMemory] → Encoding Source # decodeList ∷ Decoder s [ExMemory] Source #
PrettyBy config ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy ∷ config → ExMemory → Doc ann Source # prettyListBy ∷ config → [ExMemory] → Doc ann Source #
Lift ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods lift ∷ Quote m ⇒ ExMemory → m Exp Source # liftTyped ∷ ∀ (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.34.1.0-inplace" 'True) (C1 ('MetaCons "ExMemory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

data SatInt Source #

Instances

Instances details

FromJSON SatInt
Instance details Defined in Data.SatInt Methods parseJSON ∷ Value → Parser SatInt parseJSONList ∷ Value → Parser [SatInt] omittedField ∷ Maybe SatInt
ToJSON SatInt
Instance details Defined in Data.SatInt Methods toJSON ∷ SatInt → Value toEncoding ∷ SatInt → Encoding toJSONList ∷ [SatInt] → Value toEncodingList ∷ [SatInt] → Encoding omitField ∷ SatInt → Bool
Bits SatInt
Instance details Defined in Data.SatInt Methods (.&.) ∷ SatInt → SatInt → SatInt Source # (.\|.) ∷ SatInt → SatInt → SatInt Source # xor ∷ SatInt → SatInt → SatInt Source # complement ∷ SatInt → SatInt Source # shift ∷ SatInt → Int → SatInt Source # rotate ∷ SatInt → Int → SatInt Source # zeroBits ∷ SatInt Source # bit ∷ Int → SatInt Source # setBit ∷ SatInt → Int → SatInt Source # clearBit ∷ SatInt → Int → SatInt Source # complementBit ∷ SatInt → Int → SatInt Source # testBit ∷ SatInt → Int → Bool Source # bitSizeMaybe ∷ SatInt → Maybe Int Source # bitSize ∷ SatInt → Int Source # isSigned ∷ SatInt → Bool Source # shiftL ∷ SatInt → Int → SatInt Source # unsafeShiftL ∷ SatInt → Int → SatInt Source # shiftR ∷ SatInt → Int → SatInt Source # unsafeShiftR ∷ SatInt → Int → SatInt Source # rotateL ∷ SatInt → Int → SatInt Source # rotateR ∷ SatInt → Int → SatInt Source # popCount ∷ SatInt → Int Source #
FiniteBits SatInt
Instance details Defined in Data.SatInt Methods finiteBitSize ∷ SatInt → Int Source # countLeadingZeros ∷ SatInt → Int Source # countTrailingZeros ∷ SatInt → Int Source #
Bounded SatInt
Instance details Defined in Data.SatInt Methods minBound ∷ SatInt Source # maxBound ∷ SatInt Source #
Generic SatInt
Instance details Defined in Data.SatInt Associated Types type Rep SatInt ∷ Type → Type Source # Methods from ∷ SatInt → Rep SatInt x Source # to ∷ Rep SatInt x → SatInt Source #
Num SatInt	In the `Num` instance, we plug in our own addition, multiplication and subtraction function that perform overflow-checking.
Instance details Defined in Data.SatInt Methods (+) ∷ SatInt → SatInt → SatInt Source # (-) ∷ SatInt → SatInt → SatInt Source # (*) ∷ SatInt → SatInt → SatInt Source # negate ∷ SatInt → SatInt Source # abs ∷ SatInt → SatInt Source # signum ∷ SatInt → SatInt Source # fromInteger ∷ Integer → SatInt Source #
Read SatInt
Instance details Defined in Data.SatInt Methods readsPrec ∷ Int → ReadS SatInt Source # readList ∷ ReadS [SatInt] Source # readPrec ∷ ReadPrec SatInt Source # readListPrec ∷ ReadPrec [SatInt] Source #
Show SatInt
Instance details Defined in Data.SatInt Methods showsPrec ∷ Int → SatInt → ShowS Source # show ∷ SatInt → String Source # showList ∷ [SatInt] → ShowS Source #
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 Methods (==) ∷ SatInt → SatInt → Bool Source # (/=) ∷ SatInt → SatInt → Bool Source #
Ord SatInt
Instance details Defined in Data.SatInt Methods compare ∷ SatInt → SatInt → Ordering Source # (<) ∷ SatInt → SatInt → Bool Source # (<=) ∷ SatInt → SatInt → Bool Source # (>) ∷ SatInt → SatInt → Bool Source # (>=) ∷ SatInt → SatInt → Bool Source # max ∷ SatInt → SatInt → SatInt Source # min ∷ SatInt → SatInt → SatInt Source #
NoThunks SatInt
Instance details Defined in Data.SatInt Methods noThunks ∷ Context → SatInt → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SatInt → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SatInt → String Source #
Prim SatInt
Instance details Defined in Data.SatInt Methods sizeOfType# ∷ Proxy SatInt → Int# Source # sizeOf# ∷ SatInt → Int# Source # alignmentOfType# ∷ Proxy SatInt → Int# Source # alignment# ∷ SatInt → Int# Source # indexByteArray# ∷ ByteArray# → Int# → SatInt Source # readByteArray# ∷ MutableByteArray# s → Int# → State# s → (# State# s, SatInt #) Source # writeByteArray# ∷ MutableByteArray# s → Int# → SatInt → State# s → State# s Source # setByteArray# ∷ MutableByteArray# s → Int# → Int# → SatInt → State# s → State# s Source # indexOffAddr# ∷ Addr# → Int# → SatInt Source # readOffAddr# ∷ Addr# → Int# → State# s → (# State# s, SatInt #) Source # writeOffAddr# ∷ Addr# → Int# → SatInt → State# s → State# s Source # setOffAddr# ∷ Addr# → Int# → Int# → SatInt → State# s → State# s Source #
Serialise SatInt
Instance details Defined in Data.SatInt Methods encode ∷ SatInt → Encoding Source # decode ∷ Decoder s SatInt Source # encodeList ∷ [SatInt] → Encoding Source # decodeList ∷ Decoder s [SatInt] Source #
Lift SatInt
Instance details Defined in Data.SatInt Methods lift ∷ Quote m ⇒ SatInt → m Exp Source # liftTyped ∷ ∀ (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.34.1.0-inplace-satint" 'True) (C1 ('MetaCons "SI" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSatInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

fromSatInt ∷ Num a ⇒ SatInt → a Source #

An optimized version of fromIntegral . unSatInt.

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.

Different protocol versions may require different bundles of machine parameters, which allows us for example to tweak the shape of the costing function of a builtin, so that the builtin costs less. Currently this means that we have to create multiple DefaultMachineParameters per language version, which we put into a cache (represented by an association list) in order to avoid costly recomputation of machine parameters.

In order to get the appropriate DefaultMachineParameters at validation time we look it up in the cache using a semantics variant as a key. We compute the semantics variant from the protocol version using the stored function. Note that the semantics variant depends on the language version too, but the latter is known statically (because each language version has its own evaluation context), hence there's no reason to require it to be provided at runtime.

To say it differently, there's a matrix of semantics variants indexed by (LL, PV) pairs and we cache its particular row corresponding to the statically given LL in an EvaluationContext.

The reason why we associate a DefaultMachineParameters with a semantics variant rather than a protocol version are

generally there are far more protocol versions than semantics variants supported by a specific language version, so we save on pointless duplication of bundles of machine parameters
builtins don't know anything about protocol versions, only semantics variants. It is therefore more semantically precise to associate bundles of machine parameters with semantics variants than with protocol versions

Instances

Instances details

Generic EvaluationContext Source #
Instance details Defined in PlutusLedgerApi.Common.Eval Associated Types type Rep EvaluationContext ∷ Type → Type Source # Methods from ∷ EvaluationContext → Rep EvaluationContext x Source # to ∷ Rep EvaluationContext x → EvaluationContext 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) Source # wNoThunks ∷ Context → EvaluationContext → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EvaluationContext → String Source #
type Rep EvaluationContext Source #
Instance details Defined in PlutusLedgerApi.Common.Eval type Rep EvaluationContext = D1 ('MetaData "EvaluationContext" "PlutusLedgerApi.Common.Eval" "plutus-ledger-api-1.34.1.0-inplace" 'False) (C1 ('MetaCons "EvaluationContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "_evalCtxLedgerLang") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PlutusLedgerLanguage) :: (S1 ('MetaSel ('Just "_evalCtxToSemVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MajorProtocolVersion → BuiltinSemanticsVariant DefaultFun)) :: S1 ('MetaSel ('Just "_evalCtxMachParsCache") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(BuiltinSemanticsVariant DefaultFun, DefaultMachineParameters)]))))

mkEvaluationContext Source #

Arguments

∷ (MonadError CostModelApplyError m, MonadWriter [CostModelApplyWarn] m)
⇒ [Int64]	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
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
VerifyEd25519Signature'cpu'arguments'intercept
VerifyEd25519Signature'cpu'arguments'slope
VerifyEd25519Signature'memory'arguments

Instances

Instances details

Bounded ParamName Source #
Instance details Defined in PlutusLedgerApi.V1.ParamName Methods minBound ∷ ParamName Source # maxBound ∷ ParamName Source #
Enum ParamName Source #
Instance details Defined in PlutusLedgerApi.V1.ParamName Methods succ ∷ ParamName → ParamName Source # pred ∷ ParamName → ParamName Source # toEnum ∷ Int → ParamName Source # fromEnum ∷ ParamName → Int Source # enumFrom ∷ ParamName → [ParamName] Source # enumFromThen ∷ ParamName → ParamName → [ParamName] Source # enumFromTo ∷ ParamName → ParamName → [ParamName] Source # enumFromThenTo ∷ ParamName → ParamName → ParamName → [ParamName] Source #
Generic ParamName Source #
Instance details Defined in PlutusLedgerApi.V1.ParamName Associated Types type Rep ParamName ∷ Type → Type Source # Methods from ∷ ParamName → Rep ParamName x Source # to ∷ Rep ParamName x → ParamName Source #
Ix ParamName Source #
Instance details Defined in PlutusLedgerApi.V1.ParamName Methods range ∷ (ParamName, ParamName) → [ParamName] Source # index ∷ (ParamName, ParamName) → ParamName → Int Source # unsafeIndex ∷ (ParamName, ParamName) → ParamName → Int Source # inRange ∷ (ParamName, ParamName) → ParamName → Bool Source # rangeSize ∷ (ParamName, ParamName) → Int Source # unsafeRangeSize ∷ (ParamName, ParamName) → Int Source #
Eq ParamName Source #
Instance details Defined in PlutusLedgerApi.V1.ParamName Methods (==) ∷ ParamName → ParamName → Bool Source # (/=) ∷ ParamName → ParamName → Bool Source #
Ord ParamName Source #
Instance details Defined in PlutusLedgerApi.V1.ParamName Methods compare ∷ ParamName → ParamName → Ordering Source # (<) ∷ ParamName → ParamName → Bool Source # (<=) ∷ ParamName → ParamName → Bool Source # (>) ∷ ParamName → ParamName → Bool Source # (>=) ∷ ParamName → ParamName → Bool Source # max ∷ ParamName → ParamName → ParamName Source # min ∷ ParamName → ParamName → ParamName Source #
IsParamName ParamName Source #
Instance details Defined in PlutusLedgerApi.V1.ParamName Methods showParamName ∷ ParamName → Text Source # readParamName ∷ Text → Maybe ParamName Source #
type Rep ParamName Source #
Instance details Defined in PlutusLedgerApi.V1.ParamName type Rep ParamName = D1 ('MetaData "ParamName" "PlutusLedgerApi.V1.ParamName" "plutus-ledger-api-1.34.1.0-inplace" '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 "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 "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)))))))))

data CostModelApplyError Source #

A fatal error when trying to create a cost given some plain costmodel parameters.

Constructors

CMUnknownParamError !Text	a costmodel parameter with the give name does not exist in the costmodel to be applied upon
CMInternalReadError	internal error when we are transforming the applyParams' input to json (should not happen)
CMInternalWriteError !String	internal error when we are transforming the applied params from json with given jsonstring error (should not happen)

Instances

Instances details

Data CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → CostModelApplyError → c CostModelApplyError Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c CostModelApplyError Source # toConstr ∷ CostModelApplyError → Constr Source # dataTypeOf ∷ CostModelApplyError → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c CostModelApplyError) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c CostModelApplyError) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → CostModelApplyError → CostModelApplyError Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → CostModelApplyError → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → CostModelApplyError → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → CostModelApplyError → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → CostModelApplyError → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → CostModelApplyError → m CostModelApplyError Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → CostModelApplyError → m CostModelApplyError Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → CostModelApplyError → m CostModelApplyError Source #
Exception CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods toException ∷ CostModelApplyError → SomeException Source # fromException ∷ SomeException → Maybe CostModelApplyError Source # displayException ∷ CostModelApplyError → String Source #
Generic CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Associated Types type Rep CostModelApplyError ∷ Type → Type Source # Methods from ∷ CostModelApplyError → Rep CostModelApplyError x Source # to ∷ Rep CostModelApplyError x → CostModelApplyError Source #
Show CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods showsPrec ∷ Int → CostModelApplyError → ShowS Source # show ∷ CostModelApplyError → String Source # showList ∷ [CostModelApplyError] → ShowS Source #
NFData CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods rnf ∷ CostModelApplyError → () Source #
Eq CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods (==) ∷ CostModelApplyError → CostModelApplyError → Bool Source # (/=) ∷ CostModelApplyError → CostModelApplyError → Bool Source #
NoThunks CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods noThunks ∷ Context → CostModelApplyError → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CostModelApplyError → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CostModelApplyError → String Source #
Pretty CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods pretty ∷ CostModelApplyError → Doc ann Source # prettyList ∷ [CostModelApplyError] → Doc ann Source #
type Rep CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface type Rep CostModelApplyError = D1 ('MetaData "CostModelApplyError" "PlutusCore.Evaluation.Machine.CostModelInterface" "plutus-core-1.34.1.0-inplace" '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))))

type CostModelParams = Map Text Int64 Source #

A raw representation of the ledger's cost model parameters.

The associated keys/names to the parameter values are arbitrarily set by the plutus team; the ledger does not hold any such names.

See Note [Cost model parameters]

assertWellFormedCostModelParams ∷ MonadError CostModelApplyError m ⇒ CostModelParams → m () Source #

Context types

data ScriptContext Source #

The context that the currently-executing script can access.

Constructors

ScriptContext
Fields scriptContextTxInfo ∷ TxInfo information about the transaction the currently-executing script is included in scriptContextPurpose ∷ ScriptPurpose the purpose of the currently-executing script

Instances

Instances details

Generic ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Associated Types type Rep ScriptContext ∷ Type → Type Source # Methods from ∷ ScriptContext → Rep ScriptContext x Source # to ∷ Rep ScriptContext x → ScriptContext Source #
Show ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods showsPrec ∷ Int → ScriptContext → ShowS Source # show ∷ ScriptContext → String Source # showList ∷ [ScriptContext] → ShowS Source #
Eq ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods (==) ∷ ScriptContext → ScriptContext → Bool Source # (/=) ∷ ScriptContext → ScriptContext → Bool Source #
Eq ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods (==) ∷ ScriptContext → ScriptContext → Bool Source #
FromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptContext Source #
ToData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods toBuiltinData ∷ ScriptContext → BuiltinData Source #
UnsafeFromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptContext Source #
Pretty ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods pretty ∷ ScriptContext → Doc ann Source # prettyList ∷ [ScriptContext] → Doc ann Source #
Lift DefaultUni ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods lift ∷ ScriptContext → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods typeRep ∷ Proxy ScriptContext → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts type Rep ScriptContext = D1 ('MetaData "ScriptContext" "PlutusLedgerApi.V1.Data.Contexts" "plutus-ledger-api-1.34.1.0-inplace" '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

Constructors

Minting CurrencySymbol
Spending TxOutRef
Rewarding StakingCredential
Certifying DCert

Instances

Instances details

Generic ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Associated Types type Rep ScriptPurpose ∷ Type → Type Source # Methods from ∷ ScriptPurpose → Rep ScriptPurpose x Source # to ∷ Rep ScriptPurpose x → ScriptPurpose Source #
Show ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods showsPrec ∷ Int → ScriptPurpose → ShowS Source # show ∷ ScriptPurpose → String Source # showList ∷ [ScriptPurpose] → ShowS Source #
Eq ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods (==) ∷ ScriptPurpose → ScriptPurpose → Bool Source # (/=) ∷ ScriptPurpose → ScriptPurpose → Bool Source #
Eq ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods (==) ∷ ScriptPurpose → ScriptPurpose → Bool Source #
FromData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptPurpose Source #
ToData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods toBuiltinData ∷ ScriptPurpose → BuiltinData Source #
UnsafeFromData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptPurpose Source #
Pretty ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods pretty ∷ ScriptPurpose → Doc ann Source # prettyList ∷ [ScriptPurpose] → Doc ann Source #
Lift DefaultUni ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods lift ∷ ScriptPurpose → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods typeRep ∷ Proxy ScriptPurpose → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts type Rep ScriptPurpose = D1 ('MetaData "ScriptPurpose" "PlutusLedgerApi.V1.Data.Contexts" "plutus-ledger-api-1.34.1.0-inplace" 'False) ((C1 ('MetaCons "Minting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CurrencySymbol)) :+: C1 ('MetaCons "Spending" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef))) :+: (C1 ('MetaCons "Rewarding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential)) :+: C1 ('MetaCons "Certifying" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DCert))))

Supporting types used in the context types

ByteStrings

data BuiltinByteString Source #

An opaque type representing Plutus Core ByteStrings.

Instances

Instances details

Data BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BuiltinByteString → c BuiltinByteString Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BuiltinByteString Source # toConstr ∷ BuiltinByteString → Constr Source # dataTypeOf ∷ BuiltinByteString → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BuiltinByteString) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BuiltinByteString) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → BuiltinByteString → BuiltinByteString Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinByteString → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinByteString → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinByteString → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinByteString → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinByteString → m BuiltinByteString Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinByteString → m BuiltinByteString Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinByteString → m BuiltinByteString Source #
Monoid BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods mempty ∷ BuiltinByteString Source # mappend ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source # mconcat ∷ [BuiltinByteString] → BuiltinByteString Source #
Semigroup BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods (<>) ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source # sconcat ∷ NonEmpty BuiltinByteString → BuiltinByteString Source # stimes ∷ Integral b ⇒ b → BuiltinByteString → BuiltinByteString Source #
Show BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods showsPrec ∷ Int → BuiltinByteString → ShowS Source # show ∷ BuiltinByteString → String Source # showList ∷ [BuiltinByteString] → ShowS Source #
NFData BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods rnf ∷ BuiltinByteString → () Source #
Eq BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods (==) ∷ BuiltinByteString → BuiltinByteString → Bool Source # (/=) ∷ BuiltinByteString → BuiltinByteString → Bool Source #
Ord BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods compare ∷ BuiltinByteString → BuiltinByteString → Ordering Source # (<) ∷ BuiltinByteString → BuiltinByteString → Bool Source # (<=) ∷ BuiltinByteString → BuiltinByteString → Bool Source # (>) ∷ BuiltinByteString → BuiltinByteString → Bool Source # (>=) ∷ BuiltinByteString → BuiltinByteString → Bool Source # max ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source # min ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #
Hashable BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods hashWithSalt ∷ Int → BuiltinByteString → Int Source # hash ∷ BuiltinByteString → Int Source #
ByteArray BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods allocRet ∷ Int → (Ptr p → IO a) → IO (a, BuiltinByteString) Source #
ByteArrayAccess BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods length ∷ BuiltinByteString → Int Source # withByteArray ∷ BuiltinByteString → (Ptr p → IO a) → IO a Source # copyByteArrayToPtr ∷ BuiltinByteString → Ptr p → IO () Source #
HasBlueprintDefinition BuiltinByteString
Instance details Defined in PlutusTx.Blueprint.Definition.Unroll Associated Types type Unroll BuiltinByteString ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
HasFromBuiltin BuiltinByteString
Instance details Defined in PlutusTx.Builtins.HasBuiltin Associated Types type FromBuiltin BuiltinByteString Source # Methods fromBuiltin ∷ BuiltinByteString → FromBuiltin BuiltinByteString Source #
Eq BuiltinByteString
Instance details Defined in PlutusTx.Eq Methods (==) ∷ BuiltinByteString → BuiltinByteString → Bool Source #
FromData BuiltinByteString
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData ∷ BuiltinData → Maybe BuiltinByteString Source #
ToData BuiltinByteString
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData ∷ BuiltinByteString → BuiltinData Source #
UnsafeFromData BuiltinByteString
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData ∷ BuiltinData → BuiltinByteString Source #
Monoid BuiltinByteString
Instance details Defined in PlutusTx.Monoid Methods mempty ∷ BuiltinByteString Source #
Ord BuiltinByteString
Instance details Defined in PlutusTx.Ord Methods compare ∷ BuiltinByteString → BuiltinByteString → Ordering Source # (<) ∷ BuiltinByteString → BuiltinByteString → Bool Source # (<=) ∷ BuiltinByteString → BuiltinByteString → Bool Source # (>) ∷ BuiltinByteString → BuiltinByteString → Bool Source # (>=) ∷ BuiltinByteString → BuiltinByteString → Bool Source # max ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source # min ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #
Semigroup BuiltinByteString
Instance details Defined in PlutusTx.Semigroup Methods (<>) ∷ BuiltinByteString → BuiltinByteString → BuiltinByteString Source #
Pretty BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinByteString → Doc ann Source # prettyList ∷ [BuiltinByteString] → Doc ann Source #
Serialise BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods encode ∷ BuiltinByteString → Encoding Source # decode ∷ Decoder s BuiltinByteString Source # encodeList ∷ [BuiltinByteString] → Encoding Source # decodeList ∷ Decoder s [BuiltinByteString] Source #
HasBlueprintSchema BuiltinByteString referencedTypes
Instance details Defined in PlutusTx.Blueprint.Class Methods schema ∷ Schema referencedTypes Source #
HasFromOpaque BuiltinByteString BuiltinByteString
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinByteString → BuiltinByteString Source #
HasToOpaque BuiltinByteString BuiltinByteString
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ BuiltinByteString → BuiltinByteString Source #
HasTermLevel uni ByteString ⇒ Lift uni BuiltinByteString
Instance details Defined in PlutusTx.Lift.Class Methods lift ∷ BuiltinByteString → RTCompile uni fun (Term TyName Name uni fun ()) Source #
HasTypeLevel uni ByteString ⇒ Typeable uni BuiltinByteString
Instance details Defined in PlutusTx.Lift.Class Methods typeRep ∷ Proxy BuiltinByteString → RTCompile uni fun (Type TyName uni ()) Source #
type Unroll BuiltinByteString
Instance details Defined in PlutusTx.Blueprint.Definition.Unroll type Unroll BuiltinByteString = '[BuiltinByteString]
type FromBuiltin BuiltinByteString
Instance details Defined in PlutusTx.Builtins.HasBuiltin type FromBuiltin BuiltinByteString = ByteString

toBuiltin ∷ HasToBuiltin a ⇒ a → ToBuiltin a Source #

fromBuiltin ∷ HasFromBuiltin arep ⇒ arep → FromBuiltin arep Source #

Bytes

newtype LedgerBytes Source #

Constructors

LedgerBytes
Fields getLedgerBytes ∷ BuiltinByteString

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 Methods fromString ∷ String → LedgerBytes Source #
Generic LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Associated Types type Rep LedgerBytes ∷ Type → Type Source # Methods from ∷ LedgerBytes → Rep LedgerBytes x Source # to ∷ Rep LedgerBytes x → LedgerBytes 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 Methods showsPrec ∷ Int → LedgerBytes → ShowS Source # show ∷ LedgerBytes → String Source # showList ∷ [LedgerBytes] → ShowS Source #
NFData LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods rnf ∷ LedgerBytes → () Source #
Eq LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods (==) ∷ LedgerBytes → LedgerBytes → Bool Source # (/=) ∷ LedgerBytes → LedgerBytes → Bool Source #
Ord LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods compare ∷ LedgerBytes → LedgerBytes → Ordering Source # (<) ∷ LedgerBytes → LedgerBytes → Bool Source # (<=) ∷ LedgerBytes → LedgerBytes → Bool Source # (>) ∷ LedgerBytes → LedgerBytes → Bool Source # (>=) ∷ LedgerBytes → LedgerBytes → Bool Source # max ∷ LedgerBytes → LedgerBytes → LedgerBytes Source # min ∷ LedgerBytes → LedgerBytes → LedgerBytes Source #
HasBlueprintDefinition LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Associated Types type Unroll LedgerBytes ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods (==) ∷ LedgerBytes → LedgerBytes → Bool Source #
FromData LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods fromBuiltinData ∷ BuiltinData → Maybe LedgerBytes Source #
ToData LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods toBuiltinData ∷ LedgerBytes → BuiltinData Source #
UnsafeFromData LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods unsafeFromBuiltinData ∷ BuiltinData → LedgerBytes Source #
Ord LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods compare ∷ LedgerBytes → LedgerBytes → Ordering Source # (<) ∷ LedgerBytes → LedgerBytes → Bool Source # (<=) ∷ LedgerBytes → LedgerBytes → Bool Source # (>) ∷ LedgerBytes → LedgerBytes → Bool Source # (>=) ∷ LedgerBytes → LedgerBytes → Bool Source # max ∷ LedgerBytes → LedgerBytes → LedgerBytes Source # min ∷ LedgerBytes → LedgerBytes → LedgerBytes Source #
Pretty LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods pretty ∷ LedgerBytes → Doc ann Source # prettyList ∷ [LedgerBytes] → Doc ann Source #
HasBlueprintSchema LedgerBytes referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods lift ∷ LedgerBytes → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods typeRep ∷ Proxy LedgerBytes → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes type Rep LedgerBytes = D1 ('MetaData "LedgerBytes" "PlutusLedgerApi.V1.Bytes" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "LedgerBytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLedgerBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))
type Unroll LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes type Unroll LedgerBytes = Insert LedgerBytes (GUnroll (IfStuckRep (RepIsStuckError LedgerBytes ∷ Type → Type) (Rep LedgerBytes)))

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 StakingCredential delegator PubKeyHash delegatee
DCertPoolRegister	A digest of the PoolParams
Fields PubKeyHash poolId PubKeyHash pool VFR
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 Methods showsPrec ∷ Int → DCert → ShowS Source # show ∷ DCert → String Source # showList ∷ [DCert] → ShowS Source #
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 Methods compare ∷ DCert → DCert → Ordering Source # (<) ∷ DCert → DCert → Bool Source # (<=) ∷ DCert → DCert → Bool Source # (>) ∷ DCert → DCert → Bool Source # (>=) ∷ DCert → DCert → Bool Source # max ∷ DCert → DCert → DCert Source # min ∷ DCert → DCert → DCert Source #
HasBlueprintDefinition DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Associated Types type Unroll DCert ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods (==) ∷ DCert → DCert → Bool Source #
FromData DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods fromBuiltinData ∷ BuiltinData → Maybe DCert Source #
ToData DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods toBuiltinData ∷ DCert → BuiltinData Source #
UnsafeFromData DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods unsafeFromBuiltinData ∷ BuiltinData → DCert Source #
Pretty DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods pretty ∷ DCert → Doc ann Source # prettyList ∷ [DCert] → Doc ann Source #
(HasSchemaDefinition StakingCredential referencedTypes, HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition Integer referencedTypes) ⇒ HasBlueprintSchema DCert referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods lift ∷ DCert → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods typeRep ∷ Proxy DCert → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert type Rep DCert = D1 ('MetaData "DCert" "PlutusLedgerApi.V1.DCert" "plutus-ledger-api-1.34.1.0-inplace" 'False) ((C1 ('MetaCons "DCertDelegRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential)) :+: (C1 ('MetaCons "DCertDelegDeRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential)) :+: C1 ('MetaCons "DCertDelegDelegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 StakingCredential) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)))) :+: ((C1 ('MetaCons "DCertPoolRegister" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)) :+: C1 ('MetaCons "DCertPoolRetire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) :+: (C1 ('MetaCons "DCertGenesis" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DCertMir" 'PrefixI 'False) (U1 ∷ Type → Type))))
type Unroll DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert type Unroll DCert = Insert DCert (GUnroll (IfStuckRep (RepIsStuckError DCert ∷ Type → Type) (Rep 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 # Methods from ∷ StakingCredential → Rep StakingCredential x Source # to ∷ Rep StakingCredential x → StakingCredential Source #
Show StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods showsPrec ∷ Int → StakingCredential → ShowS Source # show ∷ StakingCredential → String Source # showList ∷ [StakingCredential] → ShowS Source #
NFData StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods rnf ∷ StakingCredential → () Source #
Eq StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods (==) ∷ StakingCredential → StakingCredential → Bool Source # (/=) ∷ StakingCredential → StakingCredential → Bool Source #
Ord StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods compare ∷ StakingCredential → StakingCredential → Ordering Source # (<) ∷ StakingCredential → StakingCredential → Bool Source # (<=) ∷ StakingCredential → StakingCredential → Bool Source # (>) ∷ StakingCredential → StakingCredential → Bool Source # (>=) ∷ StakingCredential → StakingCredential → Bool Source # max ∷ StakingCredential → StakingCredential → StakingCredential Source # min ∷ StakingCredential → StakingCredential → StakingCredential Source #
HasBlueprintDefinition StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Associated Types type Unroll StakingCredential ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods (==) ∷ StakingCredential → StakingCredential → Bool Source #
FromData StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods fromBuiltinData ∷ BuiltinData → Maybe StakingCredential Source #
ToData StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods toBuiltinData ∷ StakingCredential → BuiltinData Source #
UnsafeFromData StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods unsafeFromBuiltinData ∷ BuiltinData → StakingCredential Source #
Pretty StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods pretty ∷ StakingCredential → Doc ann Source # prettyList ∷ [StakingCredential] → Doc ann Source #
(HasSchemaDefinition Credential referencedTypes, HasSchemaDefinition Integer referencedTypes) ⇒ HasBlueprintSchema StakingCredential referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods lift ∷ StakingCredential → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods typeRep ∷ Proxy StakingCredential → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential type Rep StakingCredential = D1 ('MetaData "StakingCredential" "PlutusLedgerApi.V1.Credential" "plutus-ledger-api-1.34.1.0-inplace" 'False) (C1 ('MetaCons "StakingHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)) :+: C1 ('MetaCons "StakingPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))
type Unroll StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential type Unroll StakingCredential = Insert StakingCredential (GUnroll (IfStuckRep (RepIsStuckError StakingCredential ∷ Type → Type) (Rep StakingCredential)))

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 # Methods from ∷ Credential → Rep Credential x Source # to ∷ Rep Credential x → Credential Source #
Show Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods showsPrec ∷ Int → Credential → ShowS Source # show ∷ Credential → String Source # showList ∷ [Credential] → ShowS Source #
NFData Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods rnf ∷ Credential → () Source #
Eq Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods (==) ∷ Credential → Credential → Bool Source # (/=) ∷ Credential → Credential → Bool Source #
Ord Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods compare ∷ Credential → Credential → Ordering Source # (<) ∷ Credential → Credential → Bool Source # (<=) ∷ Credential → Credential → Bool Source # (>) ∷ Credential → Credential → Bool Source # (>=) ∷ Credential → Credential → Bool Source # max ∷ Credential → Credential → Credential Source # min ∷ Credential → Credential → Credential Source #
HasBlueprintDefinition Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Associated Types type Unroll Credential ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods (==) ∷ Credential → Credential → Bool Source #
FromData Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods fromBuiltinData ∷ BuiltinData → Maybe Credential Source #
ToData Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods toBuiltinData ∷ Credential → BuiltinData Source #
UnsafeFromData Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods unsafeFromBuiltinData ∷ BuiltinData → Credential Source #
Pretty Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods pretty ∷ Credential → Doc ann Source # prettyList ∷ [Credential] → Doc ann Source #
(HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition ScriptHash referencedTypes) ⇒ HasBlueprintSchema Credential referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods lift ∷ Credential → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods typeRep ∷ Proxy Credential → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential type Rep Credential = D1 ('MetaData "Credential" "PlutusLedgerApi.V1.Credential" "plutus-ledger-api-1.34.1.0-inplace" '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)))
type Unroll Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential type Unroll Credential = Insert Credential (GUnroll (IfStuckRep (RepIsStuckError Credential ∷ Type → Type) (Rep Credential)))

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.

Constructors

Value
Fields getValue ∷ Map CurrencySymbol (Map TokenName Integer)

Instances

Instances details

Monoid Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods mempty ∷ Value Source # mappend ∷ Value → Value → Value Source # mconcat ∷ [Value] → Value Source #
Semigroup Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (<>) ∷ Value → Value → Value Source # sconcat ∷ NonEmpty Value → Value Source # stimes ∷ Integral b ⇒ b → Value → Value Source #
Generic Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.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.Data.Value Methods showsPrec ∷ Int → Value → ShowS Source # show ∷ Value → String Source # showList ∷ [Value] → ShowS Source #
Eq Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (==) ∷ Value → Value → Bool Source # (/=) ∷ Value → Value → Bool Source #
HasBlueprintDefinition Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Associated Types type Unroll Value ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (==) ∷ Value → Value → Bool Source #
FromData Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods fromBuiltinData ∷ BuiltinData → Maybe Value Source #
ToData Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods toBuiltinData ∷ Value → BuiltinData Source #
UnsafeFromData Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods unsafeFromBuiltinData ∷ BuiltinData → Value Source #
JoinSemiLattice Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (\/) ∷ Value → Value → Value Source #
MeetSemiLattice Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (/\) ∷ Value → Value → Value Source #
Group Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods inv ∷ Value → Value Source #
Monoid Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods mempty ∷ Value Source #
AdditiveGroup Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (-) ∷ Value → Value → Value Source #
AdditiveMonoid Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods zero ∷ Value Source #
AdditiveSemigroup Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (+) ∷ Value → Value → Value Source #
Semigroup Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (<>) ∷ Value → Value → Value Source #
Pretty Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods pretty ∷ Value → Doc ann Source # prettyList ∷ [Value] → Doc ann Source #
HasBlueprintSchema Value referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods lift ∷ Value → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Module Integer Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods scale ∷ Integer → Value → Value Source #
Typeable DefaultUni Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods typeRep ∷ Proxy Value → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value type Rep Value = D1 ('MetaData "Value" "PlutusLedgerApi.V1.Data.Value" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "Value" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map CurrencySymbol (Map TokenName Integer)))))
type Unroll Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value type Unroll Value = '[Value, CurrencySymbol, 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.

Constructors

CurrencySymbol
Fields unCurrencySymbol ∷ BuiltinByteString

Instances

Instances details

Data CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → CurrencySymbol → c CurrencySymbol Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c CurrencySymbol Source # toConstr ∷ CurrencySymbol → Constr Source # dataTypeOf ∷ CurrencySymbol → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c CurrencySymbol) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c CurrencySymbol) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → CurrencySymbol → CurrencySymbol Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → CurrencySymbol → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → CurrencySymbol → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → CurrencySymbol → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → CurrencySymbol → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → CurrencySymbol → m CurrencySymbol Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → CurrencySymbol → m CurrencySymbol Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → CurrencySymbol → m CurrencySymbol Source #
IsString CurrencySymbol Source #	from hex encoding
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods fromString ∷ String → CurrencySymbol Source #
Generic CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Associated Types type Rep CurrencySymbol ∷ Type → Type Source # Methods from ∷ CurrencySymbol → Rep CurrencySymbol x Source # to ∷ Rep CurrencySymbol x → CurrencySymbol Source #
Show CurrencySymbol Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods showsPrec ∷ Int → CurrencySymbol → ShowS Source # show ∷ CurrencySymbol → String Source # showList ∷ [CurrencySymbol] → ShowS Source #
NFData CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods rnf ∷ CurrencySymbol → () Source #
Eq CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (==) ∷ CurrencySymbol → CurrencySymbol → Bool Source # (/=) ∷ CurrencySymbol → CurrencySymbol → Bool Source #
Ord CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods compare ∷ CurrencySymbol → CurrencySymbol → Ordering Source # (<) ∷ CurrencySymbol → CurrencySymbol → Bool Source # (<=) ∷ CurrencySymbol → CurrencySymbol → Bool Source # (>) ∷ CurrencySymbol → CurrencySymbol → Bool Source # (>=) ∷ CurrencySymbol → CurrencySymbol → Bool Source # max ∷ CurrencySymbol → CurrencySymbol → CurrencySymbol Source # min ∷ CurrencySymbol → CurrencySymbol → CurrencySymbol Source #
HasBlueprintDefinition CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Associated Types type Unroll CurrencySymbol ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (==) ∷ CurrencySymbol → CurrencySymbol → Bool Source #
FromData CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods fromBuiltinData ∷ BuiltinData → Maybe CurrencySymbol Source #
ToData CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods toBuiltinData ∷ CurrencySymbol → BuiltinData Source #
UnsafeFromData CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods unsafeFromBuiltinData ∷ BuiltinData → CurrencySymbol Source #
Ord CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods compare ∷ CurrencySymbol → CurrencySymbol → Ordering Source # (<) ∷ CurrencySymbol → CurrencySymbol → Bool Source # (<=) ∷ CurrencySymbol → CurrencySymbol → Bool Source # (>) ∷ CurrencySymbol → CurrencySymbol → Bool Source # (>=) ∷ CurrencySymbol → CurrencySymbol → Bool Source # max ∷ CurrencySymbol → CurrencySymbol → CurrencySymbol Source # min ∷ CurrencySymbol → CurrencySymbol → CurrencySymbol Source #
Pretty CurrencySymbol Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods pretty ∷ CurrencySymbol → Doc ann Source # prettyList ∷ [CurrencySymbol] → Doc ann Source #
HasBlueprintSchema CurrencySymbol referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods lift ∷ CurrencySymbol → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods typeRep ∷ Proxy CurrencySymbol → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value type Rep CurrencySymbol = D1 ('MetaData "CurrencySymbol" "PlutusLedgerApi.V1.Data.Value" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "CurrencySymbol" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCurrencySymbol") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))
type Unroll CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value type Unroll CurrencySymbol = Insert CurrencySymbol (GUnroll (IfStuckRep (RepIsStuckError CurrencySymbol ∷ Type → Type) (Rep CurrencySymbol)))

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
Fields unTokenName ∷ BuiltinByteString

Instances

Instances details

Data TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → TokenName → c TokenName Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TokenName Source # toConstr ∷ TokenName → Constr Source # dataTypeOf ∷ TokenName → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TokenName) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TokenName) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → TokenName → TokenName Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TokenName → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TokenName → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → TokenName → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TokenName → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TokenName → m TokenName Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TokenName → m TokenName Source # gmapMo ∷ MonadPlus m ⇒ (∀ 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.Data.Value Methods fromString ∷ String → TokenName Source #
Generic TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Associated Types type Rep TokenName ∷ Type → Type Source # Methods from ∷ TokenName → Rep TokenName x Source # to ∷ Rep TokenName x → TokenName Source #
Show TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods showsPrec ∷ Int → TokenName → ShowS Source # show ∷ TokenName → String Source # showList ∷ [TokenName] → ShowS Source #
NFData TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods rnf ∷ TokenName → () Source #
Eq TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (==) ∷ TokenName → TokenName → Bool Source # (/=) ∷ TokenName → TokenName → Bool Source #
Ord TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods compare ∷ TokenName → TokenName → Ordering Source # (<) ∷ TokenName → TokenName → Bool Source # (<=) ∷ TokenName → TokenName → Bool Source # (>) ∷ TokenName → TokenName → Bool Source # (>=) ∷ TokenName → TokenName → Bool Source # max ∷ TokenName → TokenName → TokenName Source # min ∷ TokenName → TokenName → TokenName Source #
HasBlueprintDefinition TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Associated Types type Unroll TokenName ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (==) ∷ TokenName → TokenName → Bool Source #
FromData TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods fromBuiltinData ∷ BuiltinData → Maybe TokenName Source #
ToData TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods toBuiltinData ∷ TokenName → BuiltinData Source #
UnsafeFromData TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods unsafeFromBuiltinData ∷ BuiltinData → TokenName Source #
Ord TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods compare ∷ TokenName → TokenName → Ordering Source # (<) ∷ TokenName → TokenName → Bool Source # (<=) ∷ TokenName → TokenName → Bool Source # (>) ∷ TokenName → TokenName → Bool Source # (>=) ∷ TokenName → TokenName → Bool Source # max ∷ TokenName → TokenName → TokenName Source # min ∷ TokenName → TokenName → TokenName Source #
Pretty TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods pretty ∷ TokenName → Doc ann Source # prettyList ∷ [TokenName] → Doc ann Source #
HasBlueprintSchema TokenName referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods lift ∷ TokenName → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods typeRep ∷ Proxy TokenName → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value type Rep TokenName = D1 ('MetaData "TokenName" "PlutusLedgerApi.V1.Data.Value" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "TokenName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTokenName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))
type Unroll TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value type Unroll TokenName = Insert TokenName (GUnroll (IfStuckRep (RepIsStuckError TokenName ∷ Type → Type) (Rep TokenName)))

singleton ∷ CurrencySymbol → TokenName → Integer → Value Source #

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

unionWith ∷ (Integer → Integer → Integer) → Value → Value → Value Source #

Combine two Value maps with the argument function. Assumes the well-definedness of the two maps.

adaSymbol ∷ CurrencySymbol Source #

The CurrencySymbol of the Ada currency.

adaToken ∷ TokenName Source #

The TokenName of the Ada currency.

newtype Lovelace Source #

Constructors

Lovelace
Fields getLovelace ∷ Integer

Instances

Instances details

Enum Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods succ ∷ Lovelace → Lovelace Source # pred ∷ Lovelace → Lovelace Source # toEnum ∷ Int → Lovelace Source # fromEnum ∷ Lovelace → Int Source # enumFrom ∷ Lovelace → [Lovelace] Source # enumFromThen ∷ Lovelace → Lovelace → [Lovelace] Source # enumFromTo ∷ Lovelace → Lovelace → [Lovelace] Source # enumFromThenTo ∷ Lovelace → Lovelace → Lovelace → [Lovelace] Source #
Generic Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Associated Types type Rep Lovelace ∷ Type → Type Source # Methods from ∷ Lovelace → Rep Lovelace x Source # to ∷ Rep Lovelace x → Lovelace Source #
Num Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (+) ∷ Lovelace → Lovelace → Lovelace Source # (-) ∷ Lovelace → Lovelace → Lovelace Source # (*) ∷ Lovelace → Lovelace → Lovelace Source # negate ∷ Lovelace → Lovelace Source # abs ∷ Lovelace → Lovelace Source # signum ∷ Lovelace → Lovelace Source # fromInteger ∷ Integer → Lovelace Source #
Real Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods toRational ∷ Lovelace → Rational Source #
Show Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods showsPrec ∷ Int → Lovelace → ShowS Source # show ∷ Lovelace → String Source # showList ∷ [Lovelace] → ShowS Source #
Eq Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (==) ∷ Lovelace → Lovelace → Bool Source # (/=) ∷ Lovelace → Lovelace → Bool Source #
Ord Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods compare ∷ Lovelace → Lovelace → Ordering Source # (<) ∷ Lovelace → Lovelace → Bool Source # (<=) ∷ Lovelace → Lovelace → Bool Source # (>) ∷ Lovelace → Lovelace → Bool Source # (>=) ∷ Lovelace → Lovelace → Bool Source # max ∷ Lovelace → Lovelace → Lovelace Source # min ∷ Lovelace → Lovelace → Lovelace Source #
HasBlueprintDefinition Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Associated Types type Unroll Lovelace ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (==) ∷ Lovelace → Lovelace → Bool Source #
FromData Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods fromBuiltinData ∷ BuiltinData → Maybe Lovelace Source #
ToData Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods toBuiltinData ∷ Lovelace → BuiltinData Source #
UnsafeFromData Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods unsafeFromBuiltinData ∷ BuiltinData → Lovelace Source #
AdditiveGroup Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (-) ∷ Lovelace → Lovelace → Lovelace Source #
AdditiveMonoid Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods zero ∷ Lovelace Source #
AdditiveSemigroup Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods (+) ∷ Lovelace → Lovelace → Lovelace Source #
Ord Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods compare ∷ Lovelace → Lovelace → Ordering Source # (<) ∷ Lovelace → Lovelace → Bool Source # (<=) ∷ Lovelace → Lovelace → Bool Source # (>) ∷ Lovelace → Lovelace → Bool Source # (>=) ∷ Lovelace → Lovelace → Bool Source # max ∷ Lovelace → Lovelace → Lovelace Source # min ∷ Lovelace → Lovelace → Lovelace Source #
Show Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods showsPrec ∷ Integer → Lovelace → ShowS Source # show ∷ Lovelace → BuiltinString Source #
Pretty Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods pretty ∷ Lovelace → Doc ann Source # prettyList ∷ [Lovelace] → Doc ann Source #
Lift DefaultUni Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods lift ∷ Lovelace → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods typeRep ∷ Proxy Lovelace → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value type Rep Lovelace = D1 ('MetaData "Lovelace" "PlutusLedgerApi.V1.Data.Value" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "Lovelace" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLovelace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
type Unroll Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value type Unroll Lovelace = Insert Lovelace (GUnroll (IfStuckRep (RepIsStuckError Lovelace ∷ Type → Type) (Rep Lovelace)))

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
Fields getPOSIXTime ∷ Integer

Instances

Instances details

Enum POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods succ ∷ POSIXTime → POSIXTime Source # pred ∷ POSIXTime → POSIXTime Source # toEnum ∷ Int → POSIXTime Source # fromEnum ∷ POSIXTime → Int Source # enumFrom ∷ POSIXTime → [POSIXTime] Source # enumFromThen ∷ POSIXTime → POSIXTime → [POSIXTime] Source # enumFromTo ∷ POSIXTime → POSIXTime → [POSIXTime] Source # enumFromThenTo ∷ POSIXTime → POSIXTime → POSIXTime → [POSIXTime] Source #
Generic POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Associated Types type Rep POSIXTime ∷ Type → Type Source # Methods from ∷ POSIXTime → Rep POSIXTime x Source # to ∷ Rep POSIXTime x → POSIXTime Source #
Num POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (+) ∷ POSIXTime → POSIXTime → POSIXTime Source # (-) ∷ POSIXTime → POSIXTime → POSIXTime Source # (*) ∷ POSIXTime → POSIXTime → POSIXTime Source # negate ∷ POSIXTime → POSIXTime Source # abs ∷ POSIXTime → POSIXTime Source # signum ∷ POSIXTime → POSIXTime Source # fromInteger ∷ Integer → POSIXTime Source #
Integral POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods quot ∷ POSIXTime → POSIXTime → POSIXTime Source # rem ∷ POSIXTime → POSIXTime → POSIXTime Source # div ∷ POSIXTime → POSIXTime → POSIXTime Source # mod ∷ POSIXTime → POSIXTime → POSIXTime Source # quotRem ∷ POSIXTime → POSIXTime → (POSIXTime, POSIXTime) Source # divMod ∷ POSIXTime → POSIXTime → (POSIXTime, POSIXTime) Source # toInteger ∷ POSIXTime → Integer Source #
Real POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods toRational ∷ POSIXTime → Rational Source #
Show POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods showsPrec ∷ Int → POSIXTime → ShowS Source # show ∷ POSIXTime → String Source # showList ∷ [POSIXTime] → ShowS Source #
NFData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods rnf ∷ POSIXTime → () Source #
Eq POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (==) ∷ POSIXTime → POSIXTime → Bool Source # (/=) ∷ POSIXTime → POSIXTime → Bool Source #
Ord POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods compare ∷ POSIXTime → POSIXTime → Ordering Source # (<) ∷ POSIXTime → POSIXTime → Bool Source # (<=) ∷ POSIXTime → POSIXTime → Bool Source # (>) ∷ POSIXTime → POSIXTime → Bool Source # (>=) ∷ POSIXTime → POSIXTime → Bool Source # max ∷ POSIXTime → POSIXTime → POSIXTime Source # min ∷ POSIXTime → POSIXTime → POSIXTime Source #
HasBlueprintDefinition POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Associated Types type Unroll POSIXTime ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Enum POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods succ ∷ POSIXTime → POSIXTime Source # pred ∷ POSIXTime → POSIXTime Source # toEnum ∷ Integer → POSIXTime Source # fromEnum ∷ POSIXTime → Integer Source # enumFromTo ∷ POSIXTime → POSIXTime → [POSIXTime] Source # enumFromThenTo ∷ POSIXTime → POSIXTime → POSIXTime → [POSIXTime] Source #
Eq POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (==) ∷ POSIXTime → POSIXTime → Bool Source #
FromData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods fromBuiltinData ∷ BuiltinData → Maybe POSIXTime Source #
ToData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods toBuiltinData ∷ POSIXTime → BuiltinData Source #
UnsafeFromData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods unsafeFromBuiltinData ∷ BuiltinData → POSIXTime Source #
AdditiveGroup POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (-) ∷ POSIXTime → POSIXTime → POSIXTime Source #
AdditiveMonoid POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods zero ∷ POSIXTime Source #
AdditiveSemigroup POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (+) ∷ POSIXTime → POSIXTime → POSIXTime Source #
Ord POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods compare ∷ POSIXTime → POSIXTime → Ordering Source # (<) ∷ POSIXTime → POSIXTime → Bool Source # (<=) ∷ POSIXTime → POSIXTime → Bool Source # (>) ∷ POSIXTime → POSIXTime → Bool Source # (>=) ∷ POSIXTime → POSIXTime → Bool Source # max ∷ POSIXTime → POSIXTime → POSIXTime Source # min ∷ POSIXTime → POSIXTime → POSIXTime Source #
Pretty POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods pretty ∷ POSIXTime → Doc ann Source # prettyList ∷ [POSIXTime] → Doc ann Source #
HasBlueprintSchema POSIXTime referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods lift ∷ POSIXTime → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods typeRep ∷ Proxy POSIXTime → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time type Rep POSIXTime = D1 ('MetaData "POSIXTime" "PlutusLedgerApi.V1.Time" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "POSIXTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPOSIXTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
type Unroll POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time type Unroll POSIXTime = Insert POSIXTime (GUnroll (IfStuckRep (RepIsStuckError POSIXTime ∷ Type → Type) (Rep POSIXTime)))

type POSIXTimeRange = Interval POSIXTime Source #

An Interval of POSIXTimes.

Types for representing transactions

data Address Source #

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

Constructors

Address
Fields addressCredential ∷ Credential the payment credential addressStakingCredential ∷ Maybe StakingCredential the staking credential

Instances

Instances details

Generic Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Associated Types type Rep Address ∷ Type → Type Source # Methods from ∷ Address → Rep Address x Source # to ∷ Rep Address x → Address Source #
Show Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods showsPrec ∷ Int → Address → ShowS Source # show ∷ Address → String Source # showList ∷ [Address] → ShowS Source #
NFData Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods rnf ∷ Address → () Source #
Eq Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods (==) ∷ Address → Address → Bool Source # (/=) ∷ Address → Address → Bool Source #
Ord Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods compare ∷ Address → Address → Ordering Source # (<) ∷ Address → Address → Bool Source # (<=) ∷ Address → Address → Bool Source # (>) ∷ Address → Address → Bool Source # (>=) ∷ Address → Address → Bool Source # max ∷ Address → Address → Address Source # min ∷ Address → Address → Address Source #
HasBlueprintDefinition Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Associated Types type Unroll Address ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods (==) ∷ Address → Address → Bool Source #
FromData Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods fromBuiltinData ∷ BuiltinData → Maybe Address Source #
ToData Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods toBuiltinData ∷ Address → BuiltinData Source #
UnsafeFromData Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods unsafeFromBuiltinData ∷ BuiltinData → Address Source #
Pretty Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods pretty ∷ Address → Doc ann Source # prettyList ∷ [Address] → Doc ann Source #
(HasSchemaDefinition Credential referencedTypes, HasSchemaDefinition (Maybe StakingCredential) referencedTypes) ⇒ HasBlueprintSchema Address referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods lift ∷ Address → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods typeRep ∷ Proxy Address → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address type Rep Address = D1 ('MetaData "Address" "PlutusLedgerApi.V1.Address" "plutus-ledger-api-1.34.1.0-inplace" '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))))
type Unroll Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address type Unroll Address = Insert Address (GUnroll (IfStuckRep (RepIsStuckError Address ∷ Type → Type) (Rep Address)))

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.

Constructors

PubKeyHash
Fields getPubKeyHash ∷ BuiltinByteString

Instances

Instances details

IsString PubKeyHash Source #	from hex encoding
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods fromString ∷ String → PubKeyHash Source #
Generic PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Associated Types type Rep PubKeyHash ∷ Type → Type Source # Methods from ∷ PubKeyHash → Rep PubKeyHash x Source # to ∷ Rep PubKeyHash x → PubKeyHash Source #
Show PubKeyHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods showsPrec ∷ Int → PubKeyHash → ShowS Source # show ∷ PubKeyHash → String Source # showList ∷ [PubKeyHash] → ShowS Source #
NFData PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods rnf ∷ PubKeyHash → () Source #
Eq PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods (==) ∷ PubKeyHash → PubKeyHash → Bool Source # (/=) ∷ PubKeyHash → PubKeyHash → Bool Source #
Ord PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods compare ∷ PubKeyHash → PubKeyHash → Ordering Source # (<) ∷ PubKeyHash → PubKeyHash → Bool Source # (<=) ∷ PubKeyHash → PubKeyHash → Bool Source # (>) ∷ PubKeyHash → PubKeyHash → Bool Source # (>=) ∷ PubKeyHash → PubKeyHash → Bool Source # max ∷ PubKeyHash → PubKeyHash → PubKeyHash Source # min ∷ PubKeyHash → PubKeyHash → PubKeyHash Source #
HasBlueprintDefinition PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Associated Types type Unroll PubKeyHash ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods (==) ∷ PubKeyHash → PubKeyHash → Bool Source #
FromData PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods fromBuiltinData ∷ BuiltinData → Maybe PubKeyHash Source #
ToData PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods toBuiltinData ∷ PubKeyHash → BuiltinData Source #
UnsafeFromData PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods unsafeFromBuiltinData ∷ BuiltinData → PubKeyHash Source #
Ord PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods compare ∷ PubKeyHash → PubKeyHash → Ordering Source # (<) ∷ PubKeyHash → PubKeyHash → Bool Source # (<=) ∷ PubKeyHash → PubKeyHash → Bool Source # (>) ∷ PubKeyHash → PubKeyHash → Bool Source # (>=) ∷ PubKeyHash → PubKeyHash → Bool Source # max ∷ PubKeyHash → PubKeyHash → PubKeyHash Source # min ∷ PubKeyHash → PubKeyHash → PubKeyHash Source #
Show PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods showsPrec ∷ Integer → PubKeyHash → ShowS Source # show ∷ PubKeyHash → BuiltinString Source #
Pretty PubKeyHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods pretty ∷ PubKeyHash → Doc ann Source # prettyList ∷ [PubKeyHash] → Doc ann Source #
HasBlueprintSchema PubKeyHash referenedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods schema ∷ Schema referenedTypes Source #
Lift DefaultUni PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods lift ∷ PubKeyHash → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods typeRep ∷ Proxy PubKeyHash → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto type Rep PubKeyHash = D1 ('MetaData "PubKeyHash" "PlutusLedgerApi.V1.Crypto" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "PubKeyHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPubKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))
type Unroll PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto type Unroll PubKeyHash = '[PubKeyHash]

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
Fields getTxId ∷ BuiltinByteString

Instances

Instances details

IsString TxId Source #	from hex encoding
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods fromString ∷ String → TxId Source #
Generic TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.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.Data.Tx Methods showsPrec ∷ Int → TxId → ShowS Source # show ∷ TxId → String Source # showList ∷ [TxId] → ShowS Source #
NFData TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods rnf ∷ TxId → () Source #
Eq TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods (==) ∷ TxId → TxId → Bool Source # (/=) ∷ TxId → TxId → Bool Source #
Ord TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods compare ∷ TxId → TxId → Ordering Source # (<) ∷ TxId → TxId → Bool Source # (<=) ∷ TxId → TxId → Bool Source # (>) ∷ TxId → TxId → Bool Source # (>=) ∷ TxId → TxId → Bool Source # max ∷ TxId → TxId → TxId Source # min ∷ TxId → TxId → TxId Source #
Eq TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods (==) ∷ TxId → TxId → Bool Source #
FromData TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxId Source #
ToData TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods toBuiltinData ∷ TxId → BuiltinData Source #
UnsafeFromData TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxId Source #
Ord TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods compare ∷ TxId → TxId → Ordering Source # (<) ∷ TxId → TxId → Bool Source # (<=) ∷ TxId → TxId → Bool Source # (>) ∷ TxId → TxId → Bool Source # (>=) ∷ TxId → TxId → Bool Source # max ∷ TxId → TxId → TxId Source # min ∷ TxId → TxId → TxId Source #
Pretty TxId Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods pretty ∷ TxId → Doc ann Source # prettyList ∷ [TxId] → Doc ann Source #
Lift DefaultUni TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods lift ∷ TxId → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods typeRep ∷ Proxy TxId → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx type Rep TxId = D1 ('MetaData "TxId" "PlutusLedgerApi.V1.Data.Tx" "plutus-ledger-api-1.34.1.0-inplace" '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

txInfoInputs ∷ [TxInInfo]
Transaction inputs; cannot be an empty list
txInfoOutputs ∷ [TxOut]
Transaction outputs
txInfoFee ∷ Value
The fee paid by this transaction.
txInfoMint ∷ Value
The Value minted by this transaction.
txInfoDCert ∷ [DCert]
Digests of certificates included in this transaction
txInfoWdrl ∷ [(StakingCredential, Integer)]
Withdrawals
txInfoValidRange ∷ POSIXTimeRange
The valid range for the transaction.
txInfoSignatories ∷ [PubKeyHash]
Signatures provided with the transaction, attested that they all signed the tx
txInfoData ∷ [(DatumHash, Datum)]
The lookup table of datums attached to the transaction
txInfoId ∷ TxId
Hash of the pending transaction body (i.e. transaction excluding witnesses)

Instances

Instances details

Generic TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Associated Types type Rep TxInfo ∷ Type → Type Source # Methods from ∷ TxInfo → Rep TxInfo x Source # to ∷ Rep TxInfo x → TxInfo Source #
Show TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods showsPrec ∷ Int → TxInfo → ShowS Source # show ∷ TxInfo → String Source # showList ∷ [TxInfo] → ShowS Source #
Eq TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods (==) ∷ TxInfo → TxInfo → Bool Source # (/=) ∷ TxInfo → TxInfo → Bool Source #
Eq TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods (==) ∷ TxInfo → TxInfo → Bool Source #
FromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInfo Source #
ToData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods toBuiltinData ∷ TxInfo → BuiltinData Source #
UnsafeFromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInfo Source #
Pretty TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods pretty ∷ TxInfo → Doc ann Source # prettyList ∷ [TxInfo] → Doc ann Source #
Lift DefaultUni TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods lift ∷ TxInfo → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods typeRep ∷ Proxy TxInfo → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts type Rep TxInfo = D1 ('MetaData "TxInfo" "PlutusLedgerApi.V1.Data.Contexts" "plutus-ledger-api-1.34.1.0-inplace" 'False) (C1 ('MetaCons "TxInfo" 'PrefixI 'True) (((S1 ('MetaSel ('Just "txInfoInputs") '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 [(StakingCredential, Integer)]) :: S1 ('MetaSel ('Just "txInfoValidRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTimeRange)) :: (S1 ('MetaSel ('Just "txInfoSignatories") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PubKeyHash]) :: (S1 ('MetaSel ('Just "txInfoData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(DatumHash, Datum)]) :*: S1 ('MetaSel ('Just "txInfoId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId))))))

data TxOut Source #

A transaction output, consisting of a target address (Address), a value (Value), and optionally a datum hash (DatumHash).

Constructors

TxOut
Fields txOutAddress ∷ Address txOutValue ∷ Value txOutDatumHash ∷ Maybe DatumHash

Instances

Instances details

Generic TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.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.V1.Data.Tx Methods showsPrec ∷ Int → TxOut → ShowS Source # show ∷ TxOut → String Source # showList ∷ [TxOut] → ShowS Source #
Eq TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods (==) ∷ TxOut → TxOut → Bool Source # (/=) ∷ TxOut → TxOut → Bool Source #
Eq TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods (==) ∷ TxOut → TxOut → Bool Source #
FromData TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxOut Source #
ToData TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods toBuiltinData ∷ TxOut → BuiltinData Source #
UnsafeFromData TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxOut Source #
Pretty TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods pretty ∷ TxOut → Doc ann Source # prettyList ∷ [TxOut] → Doc ann Source #
Lift DefaultUni TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods lift ∷ TxOut → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods typeRep ∷ Proxy TxOut → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx type Rep TxOut = D1 ('MetaData "TxOut" "PlutusLedgerApi.V1.Data.Tx" "plutus-ledger-api-1.34.1.0-inplace" '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 "txOutDatumHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DatumHash)))))

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 txOutRefId ∷ TxId The transaction ID. txOutRefIdx ∷ Integer Index into the referenced transaction's outputs

Instances

Instances details

Generic TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Associated Types type Rep TxOutRef ∷ Type → Type Source # Methods from ∷ TxOutRef → Rep TxOutRef x Source # to ∷ Rep TxOutRef x → TxOutRef Source #
Show TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods showsPrec ∷ Int → TxOutRef → ShowS Source # show ∷ TxOutRef → String Source # showList ∷ [TxOutRef] → ShowS Source #
NFData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods rnf ∷ TxOutRef → () Source #
Eq TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods (==) ∷ TxOutRef → TxOutRef → Bool Source # (/=) ∷ TxOutRef → TxOutRef → Bool Source #
Ord TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods compare ∷ TxOutRef → TxOutRef → Ordering Source # (<) ∷ TxOutRef → TxOutRef → Bool Source # (<=) ∷ TxOutRef → TxOutRef → Bool Source # (>) ∷ TxOutRef → TxOutRef → Bool Source # (>=) ∷ TxOutRef → TxOutRef → Bool Source # max ∷ TxOutRef → TxOutRef → TxOutRef Source # min ∷ TxOutRef → TxOutRef → TxOutRef Source #
Eq TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods (==) ∷ TxOutRef → TxOutRef → Bool Source #
FromData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxOutRef Source #
ToData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods toBuiltinData ∷ TxOutRef → BuiltinData Source #
UnsafeFromData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxOutRef Source #
Pretty TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods pretty ∷ TxOutRef → Doc ann Source # prettyList ∷ [TxOutRef] → Doc ann Source #
Lift DefaultUni TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods lift ∷ TxOutRef → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods typeRep ∷ Proxy TxOutRef → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx type Rep TxOutRef = D1 ('MetaData "TxOutRef" "PlutusLedgerApi.V1.Data.Tx" "plutus-ledger-api-1.34.1.0-inplace" 'False) (C1 ('MetaCons "TxOutRef" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutRefId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Just "txOutRefIdx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

data TxInInfo Source #

An input of a pending transaction.

Constructors

TxInInfo
Fields txInInfoOutRef ∷ TxOutRef txInInfoResolved ∷ TxOut

Instances

Instances details

Generic TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Associated Types type Rep TxInInfo ∷ Type → Type Source # Methods from ∷ TxInInfo → Rep TxInInfo x Source # to ∷ Rep TxInInfo x → TxInInfo Source #
Show TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods showsPrec ∷ Int → TxInInfo → ShowS Source # show ∷ TxInInfo → String Source # showList ∷ [TxInInfo] → ShowS Source #
Eq TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods (==) ∷ TxInInfo → TxInInfo → Bool Source # (/=) ∷ TxInInfo → TxInInfo → Bool Source #
Eq TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods (==) ∷ TxInInfo → TxInInfo → Bool Source #
FromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInInfo Source #
ToData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods toBuiltinData ∷ TxInInfo → BuiltinData Source #
UnsafeFromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInInfo Source #
Pretty TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods pretty ∷ TxInInfo → Doc ann Source # prettyList ∷ [TxInInfo] → Doc ann Source #
Lift DefaultUni TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods lift ∷ TxInInfo → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods typeRep ∷ Proxy TxInInfo → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts type Rep TxInInfo = D1 ('MetaData "TxInInfo" "PlutusLedgerApi.V1.Data.Contexts" "plutus-ledger-api-1.34.1.0-inplace" 'False) (C1 ('MetaCons "TxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "txInInfoOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef) :*: S1 ('MetaSel ('Just "txInInfoResolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOut)))

Intervals

data Interval a Source #

An interval of as.

The interval may be either closed or open at either end, meaning that the endpoints may or may not be included in the interval.

The interval can also be unbounded on either side.

The Eq instance gives equality of the intervals, not structural equality. There is no Ord instance, but contains gives a partial order.

Note that some of the functions on Interval rely on Enum in order to handle non-inclusive endpoints. For this reason, it may not be safe to use Intervals with non-inclusive endpoints on types whose Enum instances have partial methods.

Constructors

Interval
Fields ivFrom ∷ LowerBound a ivTo ∷ UpperBound a

Instances

Instances details

Functor Interval Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fmap ∷ (a → b) → Interval a → Interval b Source #
(Typeable DefaultUni a, Lift DefaultUni (LowerBound a), Lift DefaultUni (UpperBound a)) ⇒ Lift DefaultUni (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods lift ∷ Interval a → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Generic (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Associated Types type Rep (Interval a) ∷ Type → Type Source # Methods from ∷ Interval a → Rep (Interval a) x Source # to ∷ Rep (Interval a) x → Interval a Source #
Show a ⇒ Show (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods showsPrec ∷ Int → Interval a → ShowS Source # show ∷ Interval a → String Source # showList ∷ [Interval a] → ShowS Source #
NFData a ⇒ NFData (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods rnf ∷ Interval a → () Source #
(Enum a, Ord a) ⇒ Eq (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods (==) ∷ Interval a → Interval a → Bool Source # (/=) ∷ Interval a → Interval a → Bool Source #
HasBlueprintDefinition a ⇒ HasBlueprintDefinition (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Associated Types type Unroll (Interval a) ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
(Enum a, Ord a) ⇒ Eq (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods (==) ∷ Interval a → Interval a → Bool Source #
FromData a ⇒ FromData (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fromBuiltinData ∷ BuiltinData → Maybe (Interval a) Source #
ToData a ⇒ ToData (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods toBuiltinData ∷ Interval a → BuiltinData Source #
UnsafeFromData a ⇒ UnsafeFromData (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods unsafeFromBuiltinData ∷ BuiltinData → Interval a Source #
(Enum a, Ord a) ⇒ BoundedJoinSemiLattice (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods bottom ∷ Interval a Source #
(Enum a, Ord a) ⇒ BoundedMeetSemiLattice (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods top ∷ Interval a Source #
(Enum a, Ord a) ⇒ JoinSemiLattice (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods (\/) ∷ Interval a → Interval a → Interval a Source #
(Enum a, Ord a) ⇒ MeetSemiLattice (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods (/\) ∷ Interval a → Interval a → Interval a Source #
Pretty a ⇒ Pretty (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ Interval a → Doc ann Source # prettyList ∷ [Interval a] → Doc ann Source #
(HasBlueprintDefinition a, HasSchemaDefinition (LowerBound a) referencedTypes, HasSchemaDefinition (UpperBound a) referencedTypes) ⇒ HasBlueprintSchema (Interval a) referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods schema ∷ Schema referencedTypes Source #
Typeable DefaultUni Interval Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods typeRep ∷ Proxy Interval → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval type Rep (Interval a) = D1 ('MetaData "Interval" "PlutusLedgerApi.V1.Interval" "plutus-ledger-api-1.34.1.0-inplace" 'False) (C1 ('MetaCons "Interval" 'PrefixI 'True) (S1 ('MetaSel ('Just "ivFrom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (LowerBound a)) :*: S1 ('MetaSel ('Just "ivTo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpperBound a))))
type Unroll (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval type Unroll (Interval a) = Nub (Interval a ': (Unrolled (LowerBound a) ++ Unrolled (UpperBound a)))

data Extended a Source #

A set extended with a positive and negative infinity.

Constructors

NegInf
Finite a
PosInf

Instances

Instances details

Functor Extended Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fmap ∷ (a → b) → Extended a → Extended b Source #
(Typeable DefaultUni a, Lift DefaultUni a) ⇒ Lift DefaultUni (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods lift ∷ Extended a → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Generic (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Associated Types type Rep (Extended a) ∷ Type → Type Source # Methods from ∷ Extended a → Rep (Extended a) x Source # to ∷ Rep (Extended a) x → Extended a Source #
Show a ⇒ Show (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods showsPrec ∷ Int → Extended a → ShowS Source # show ∷ Extended a → String Source # showList ∷ [Extended a] → ShowS Source #
NFData a ⇒ NFData (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods rnf ∷ Extended a → () Source #
Eq a ⇒ Eq (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods (==) ∷ Extended a → Extended a → Bool Source # (/=) ∷ Extended a → Extended a → Bool Source #
Ord a ⇒ Ord (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods compare ∷ Extended a → Extended a → Ordering Source # (<) ∷ Extended a → Extended a → Bool Source # (<=) ∷ Extended a → Extended a → Bool Source # (>) ∷ Extended a → Extended a → Bool Source # (>=) ∷ Extended a → Extended a → Bool Source # max ∷ Extended a → Extended a → Extended a Source # min ∷ Extended a → Extended a → Extended a Source #
HasBlueprintDefinition a ⇒ HasBlueprintDefinition (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Associated Types type Unroll (Extended a) ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq a ⇒ Eq (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods (==) ∷ Extended a → Extended a → Bool Source #
FromData a ⇒ FromData (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fromBuiltinData ∷ BuiltinData → Maybe (Extended a) Source #
ToData a ⇒ ToData (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods toBuiltinData ∷ Extended a → BuiltinData Source #
UnsafeFromData a ⇒ UnsafeFromData (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods unsafeFromBuiltinData ∷ BuiltinData → Extended a Source #
Ord a ⇒ Ord (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods compare ∷ Extended a → Extended a → Ordering Source # (<) ∷ Extended a → Extended a → Bool Source # (<=) ∷ Extended a → Extended a → Bool Source # (>) ∷ Extended a → Extended a → Bool Source # (>=) ∷ Extended a → Extended a → Bool Source # max ∷ Extended a → Extended a → Extended a Source # min ∷ Extended a → Extended a → Extended a Source #
Pretty a ⇒ Pretty (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ Extended a → Doc ann Source # prettyList ∷ [Extended a] → Doc ann Source #
(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes) ⇒ HasBlueprintSchema (Extended a) referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods schema ∷ Schema referencedTypes Source #
Typeable DefaultUni Extended Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods typeRep ∷ Proxy Extended → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval type Rep (Extended a) = D1 ('MetaData "Extended" "PlutusLedgerApi.V1.Interval" "plutus-ledger-api-1.34.1.0-inplace" 'False) (C1 ('MetaCons "NegInf" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Finite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "PosInf" 'PrefixI 'False) (U1 ∷ Type → Type)))
type Unroll (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval type Unroll (Extended a) = Extended a ': Unrolled a

type Closure = Bool Source #

Whether a bound is inclusive or not.

data UpperBound a Source #

The upper bound of an interval.

Constructors

UpperBound (Extended a) Closure

Instances

Instances details

Functor UpperBound Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fmap ∷ (a → b) → UpperBound a → UpperBound b Source #
(Typeable DefaultUni a, Lift DefaultUni (Extended a)) ⇒ Lift DefaultUni (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods lift ∷ UpperBound a → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Generic (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Associated Types type Rep (UpperBound a) ∷ Type → Type Source # Methods from ∷ UpperBound a → Rep (UpperBound a) x Source # to ∷ Rep (UpperBound a) x → UpperBound a Source #
Show a ⇒ Show (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods showsPrec ∷ Int → UpperBound a → ShowS Source # show ∷ UpperBound a → String Source # showList ∷ [UpperBound a] → ShowS Source #
NFData a ⇒ NFData (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods rnf ∷ UpperBound a → () Source #
(Enum a, Eq a) ⇒ Eq (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods (==) ∷ UpperBound a → UpperBound a → Bool Source # (/=) ∷ UpperBound a → UpperBound a → Bool Source #
(Enum a, Ord a) ⇒ Ord (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods compare ∷ UpperBound a → UpperBound a → Ordering Source # (<) ∷ UpperBound a → UpperBound a → Bool Source # (<=) ∷ UpperBound a → UpperBound a → Bool Source # (>) ∷ UpperBound a → UpperBound a → Bool Source # (>=) ∷ UpperBound a → UpperBound a → Bool Source # max ∷ UpperBound a → UpperBound a → UpperBound a Source # min ∷ UpperBound a → UpperBound a → UpperBound a Source #
HasBlueprintDefinition (Extended a) ⇒ HasBlueprintDefinition (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Associated Types type Unroll (UpperBound a) ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
(Enum a, Eq a) ⇒ Eq (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods (==) ∷ UpperBound a → UpperBound a → Bool Source #
FromData a ⇒ FromData (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fromBuiltinData ∷ BuiltinData → Maybe (UpperBound a) Source #
ToData a ⇒ ToData (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods toBuiltinData ∷ UpperBound a → BuiltinData Source #
UnsafeFromData a ⇒ UnsafeFromData (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods unsafeFromBuiltinData ∷ BuiltinData → UpperBound a Source #
(Enum a, Ord a) ⇒ Ord (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods compare ∷ UpperBound a → UpperBound a → Ordering Source # (<) ∷ UpperBound a → UpperBound a → Bool Source # (<=) ∷ UpperBound a → UpperBound a → Bool Source # (>) ∷ UpperBound a → UpperBound a → Bool Source # (>=) ∷ UpperBound a → UpperBound a → Bool Source # max ∷ UpperBound a → UpperBound a → UpperBound a Source # min ∷ UpperBound a → UpperBound a → UpperBound a Source #
Pretty a ⇒ Pretty (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ UpperBound a → Doc ann Source # prettyList ∷ [UpperBound a] → Doc ann Source #
(HasSchemaDefinition a referencedTypes, HasBlueprintDefinition a, HasSchemaDefinition (Extended a) referencedTypes, HasSchemaDefinition Closure referencedTypes) ⇒ HasBlueprintSchema (UpperBound a) referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods schema ∷ Schema referencedTypes Source #
Typeable DefaultUni UpperBound Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods typeRep ∷ Proxy UpperBound → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval type Rep (UpperBound a) = D1 ('MetaData "UpperBound" "PlutusLedgerApi.V1.Interval" "plutus-ledger-api-1.34.1.0-inplace" 'False) (C1 ('MetaCons "UpperBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Extended a)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Closure)))
type Unroll (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval type Unroll (UpperBound a) = UpperBound a ': (Unrolled Closure ++ Unrolled (Extended a))

data LowerBound a Source #

The lower bound of an interval.

Constructors

LowerBound (Extended a) Closure

Instances

Instances details

Functor LowerBound Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fmap ∷ (a → b) → LowerBound a → LowerBound b Source #
(Typeable DefaultUni a, Lift DefaultUni (Extended a)) ⇒ Lift DefaultUni (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods lift ∷ LowerBound a → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Generic (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Associated Types type Rep (LowerBound a) ∷ Type → Type Source # Methods from ∷ LowerBound a → Rep (LowerBound a) x Source # to ∷ Rep (LowerBound a) x → LowerBound a Source #
Show a ⇒ Show (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods showsPrec ∷ Int → LowerBound a → ShowS Source # show ∷ LowerBound a → String Source # showList ∷ [LowerBound a] → ShowS Source #
NFData a ⇒ NFData (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods rnf ∷ LowerBound a → () Source #
(Enum a, Eq a) ⇒ Eq (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods (==) ∷ LowerBound a → LowerBound a → Bool Source # (/=) ∷ LowerBound a → LowerBound a → Bool Source #
(Enum a, Ord a) ⇒ Ord (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods compare ∷ LowerBound a → LowerBound a → Ordering Source # (<) ∷ LowerBound a → LowerBound a → Bool Source # (<=) ∷ LowerBound a → LowerBound a → Bool Source # (>) ∷ LowerBound a → LowerBound a → Bool Source # (>=) ∷ LowerBound a → LowerBound a → Bool Source # max ∷ LowerBound a → LowerBound a → LowerBound a Source # min ∷ LowerBound a → LowerBound a → LowerBound a Source #
HasBlueprintDefinition (Extended a) ⇒ HasBlueprintDefinition (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Associated Types type Unroll (LowerBound a) ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
(Enum a, Eq a) ⇒ Eq (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods (==) ∷ LowerBound a → LowerBound a → Bool Source #
FromData a ⇒ FromData (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fromBuiltinData ∷ BuiltinData → Maybe (LowerBound a) Source #
ToData a ⇒ ToData (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods toBuiltinData ∷ LowerBound a → BuiltinData Source #
UnsafeFromData a ⇒ UnsafeFromData (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods unsafeFromBuiltinData ∷ BuiltinData → LowerBound a Source #
(Enum a, Ord a) ⇒ Ord (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods compare ∷ LowerBound a → LowerBound a → Ordering Source # (<) ∷ LowerBound a → LowerBound a → Bool Source # (<=) ∷ LowerBound a → LowerBound a → Bool Source # (>) ∷ LowerBound a → LowerBound a → Bool Source # (>=) ∷ LowerBound a → LowerBound a → Bool Source # max ∷ LowerBound a → LowerBound a → LowerBound a Source # min ∷ LowerBound a → LowerBound a → LowerBound a Source #
Pretty a ⇒ Pretty (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ LowerBound a → Doc ann Source # prettyList ∷ [LowerBound a] → Doc ann Source #
(HasSchemaDefinition a referencedTypes, HasBlueprintDefinition a, HasSchemaDefinition (Extended a) referencedTypes, HasSchemaDefinition Closure referencedTypes) ⇒ HasBlueprintSchema (LowerBound a) referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods schema ∷ Schema referencedTypes Source #
Typeable DefaultUni LowerBound Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods typeRep ∷ Proxy LowerBound → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval type Rep (LowerBound a) = D1 ('MetaData "LowerBound" "PlutusLedgerApi.V1.Interval" "plutus-ledger-api-1.34.1.0-inplace" 'False) (C1 ('MetaCons "LowerBound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Extended a)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Closure)))
type Unroll (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval type Unroll (LowerBound a) = LowerBound a ': (Unrolled Closure ++ Unrolled (Extended a))

always ∷ Interval a Source #

An Interval that covers every slot. In math. notation [-∞,+∞]

from ∷ a → Interval a Source #

from a is an Interval that includes all values that are greater than or equal to a. In math. notation: [a,+∞]

to ∷ a → Interval a Source #

to a is an Interval that includes all values that are smaller than or equal to a. In math. notation: [-∞,a]

lowerBound ∷ a → LowerBound a Source #

Construct a lower bound from a value.

The resulting bound includes all values that are equal or greater than the input value.

upperBound ∷ a → UpperBound a Source #

Construct an upper bound from a value.

The resulting bound includes all values that are equal or smaller than the input value.

strictLowerBound ∷ a → LowerBound a Source #

Construct a strict lower bound from a value.

The resulting bound includes all values that are (strictly) greater than the input value.

strictUpperBound ∷ a → UpperBound a Source #

Construct a strict upper bound from a value.

The resulting bound includes all values that are (strictly) smaller than the input value.

Newtypes and hash types

newtype ScriptHash Source #

Type representing the BLAKE2b-224 hash of a script. 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.

Constructors

ScriptHash
Fields getScriptHash ∷ BuiltinByteString

Instances

Instances details

IsString ScriptHash Source #	from hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromString ∷ String → ScriptHash Source #
Generic ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Associated Types type Rep ScriptHash ∷ Type → Type Source # Methods from ∷ ScriptHash → Rep ScriptHash x Source # to ∷ Rep ScriptHash x → ScriptHash Source #
Show ScriptHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods showsPrec ∷ Int → ScriptHash → ShowS Source # show ∷ ScriptHash → String Source # showList ∷ [ScriptHash] → ShowS Source #
NFData ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods rnf ∷ ScriptHash → () Source #
Eq ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods (==) ∷ ScriptHash → ScriptHash → Bool Source # (/=) ∷ ScriptHash → ScriptHash → Bool Source #
Ord ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods compare ∷ ScriptHash → ScriptHash → Ordering Source # (<) ∷ ScriptHash → ScriptHash → Bool Source # (<=) ∷ ScriptHash → ScriptHash → Bool Source # (>) ∷ ScriptHash → ScriptHash → Bool Source # (>=) ∷ ScriptHash → ScriptHash → Bool Source # max ∷ ScriptHash → ScriptHash → ScriptHash Source # min ∷ ScriptHash → ScriptHash → ScriptHash Source #
HasBlueprintDefinition ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Associated Types type Unroll ScriptHash ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods (==) ∷ ScriptHash → ScriptHash → Bool Source #
FromData ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptHash Source #
ToData ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods toBuiltinData ∷ ScriptHash → BuiltinData Source #
UnsafeFromData ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptHash Source #
Ord ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods compare ∷ ScriptHash → ScriptHash → Ordering Source # (<) ∷ ScriptHash → ScriptHash → Bool Source # (<=) ∷ ScriptHash → ScriptHash → Bool Source # (>) ∷ ScriptHash → ScriptHash → Bool Source # (>=) ∷ ScriptHash → ScriptHash → Bool Source # max ∷ ScriptHash → ScriptHash → ScriptHash Source # min ∷ ScriptHash → ScriptHash → ScriptHash Source #
Pretty ScriptHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ ScriptHash → Doc ann Source # prettyList ∷ [ScriptHash] → Doc ann Source #
HasBlueprintSchema ScriptHash referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods lift ∷ ScriptHash → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods typeRep ∷ Proxy ScriptHash → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts type Rep ScriptHash = D1 ('MetaData "ScriptHash" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getScriptHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))
type Unroll ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts type Unroll ScriptHash = Insert ScriptHash (GUnroll (IfStuckRep (RepIsStuckError ScriptHash ∷ Type → Type) (Rep ScriptHash)))

newtype Redeemer Source #

Redeemer is a wrapper around Data values that are used as redeemers in transaction inputs.

Constructors

Redeemer
Fields getRedeemer ∷ BuiltinData

Instances

Instances details

Generic Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Associated Types type Rep Redeemer ∷ Type → Type Source # Methods from ∷ Redeemer → Rep Redeemer x Source # to ∷ Rep Redeemer x → Redeemer Source #
Show Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods showsPrec ∷ Int → Redeemer → ShowS Source # show ∷ Redeemer → String Source # showList ∷ [Redeemer] → ShowS Source #
NFData Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods rnf ∷ Redeemer → () Source #
Eq Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods (==) ∷ Redeemer → Redeemer → Bool Source # (/=) ∷ Redeemer → Redeemer → Bool Source #
Ord Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods compare ∷ Redeemer → Redeemer → Ordering Source # (<) ∷ Redeemer → Redeemer → Bool Source # (<=) ∷ Redeemer → Redeemer → Bool Source # (>) ∷ Redeemer → Redeemer → Bool Source # (>=) ∷ Redeemer → Redeemer → Bool Source # max ∷ Redeemer → Redeemer → Redeemer Source # min ∷ Redeemer → Redeemer → Redeemer Source #
HasBlueprintDefinition Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Associated Types type Unroll Redeemer ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods (==) ∷ Redeemer → Redeemer → Bool Source #
FromData Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromBuiltinData ∷ BuiltinData → Maybe Redeemer Source #
ToData Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods toBuiltinData ∷ Redeemer → BuiltinData Source #
UnsafeFromData Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods unsafeFromBuiltinData ∷ BuiltinData → Redeemer Source #
Pretty Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ Redeemer → Doc ann Source # prettyList ∷ [Redeemer] → Doc ann Source #
Serialise Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods encode ∷ Redeemer → Encoding Source # decode ∷ Decoder s Redeemer Source # encodeList ∷ [Redeemer] → Encoding Source # decodeList ∷ Decoder s [Redeemer] Source #
HasBlueprintSchema Redeemer referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods lift ∷ Redeemer → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods typeRep ∷ Proxy Redeemer → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts type Rep Redeemer = D1 ('MetaData "Redeemer" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "Redeemer" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))
type Unroll Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts type Unroll Redeemer = Insert Redeemer (GUnroll (IfStuckRep (RepIsStuckError Redeemer ∷ Type → Type) (Rep Redeemer)))

newtype RedeemerHash Source #

Type representing the BLAKE2b-256 hash of a redeemer. 32 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.

Constructors

RedeemerHash BuiltinByteString

Instances

Instances details

IsString RedeemerHash Source #	from hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromString ∷ String → RedeemerHash Source #
Generic RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Associated Types type Rep RedeemerHash ∷ Type → Type Source # Methods from ∷ RedeemerHash → Rep RedeemerHash x Source # to ∷ Rep RedeemerHash x → RedeemerHash Source #
Show RedeemerHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods showsPrec ∷ Int → RedeemerHash → ShowS Source # show ∷ RedeemerHash → String Source # showList ∷ [RedeemerHash] → ShowS Source #
NFData RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods rnf ∷ RedeemerHash → () Source #
Eq RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods (==) ∷ RedeemerHash → RedeemerHash → Bool Source # (/=) ∷ RedeemerHash → RedeemerHash → Bool Source #
Ord RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods compare ∷ RedeemerHash → RedeemerHash → Ordering Source # (<) ∷ RedeemerHash → RedeemerHash → Bool Source # (<=) ∷ RedeemerHash → RedeemerHash → Bool Source # (>) ∷ RedeemerHash → RedeemerHash → Bool Source # (>=) ∷ RedeemerHash → RedeemerHash → Bool Source # max ∷ RedeemerHash → RedeemerHash → RedeemerHash Source # min ∷ RedeemerHash → RedeemerHash → RedeemerHash Source #
HasBlueprintDefinition RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Associated Types type Unroll RedeemerHash ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods (==) ∷ RedeemerHash → RedeemerHash → Bool Source #
FromData RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromBuiltinData ∷ BuiltinData → Maybe RedeemerHash Source #
ToData RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods toBuiltinData ∷ RedeemerHash → BuiltinData Source #
UnsafeFromData RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods unsafeFromBuiltinData ∷ BuiltinData → RedeemerHash Source #
Ord RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods compare ∷ RedeemerHash → RedeemerHash → Ordering Source # (<) ∷ RedeemerHash → RedeemerHash → Bool Source # (<=) ∷ RedeemerHash → RedeemerHash → Bool Source # (>) ∷ RedeemerHash → RedeemerHash → Bool Source # (>=) ∷ RedeemerHash → RedeemerHash → Bool Source # max ∷ RedeemerHash → RedeemerHash → RedeemerHash Source # min ∷ RedeemerHash → RedeemerHash → RedeemerHash Source #
Pretty RedeemerHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ RedeemerHash → Doc ann Source # prettyList ∷ [RedeemerHash] → Doc ann Source #
HasBlueprintSchema RedeemerHash referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods lift ∷ RedeemerHash → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods typeRep ∷ Proxy RedeemerHash → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts type Rep RedeemerHash = D1 ('MetaData "RedeemerHash" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "RedeemerHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))
type Unroll RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts type Unroll RedeemerHash = Insert RedeemerHash (GUnroll (IfStuckRep (RepIsStuckError RedeemerHash ∷ Type → Type) (Rep RedeemerHash)))

newtype Datum Source #

Datum is a wrapper around Data values which are used as data in transaction outputs.

Constructors

Datum
Fields getDatum ∷ BuiltinData

Instances

Instances details

Generic Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Associated Types type Rep Datum ∷ Type → Type Source # Methods from ∷ Datum → Rep Datum x Source # to ∷ Rep Datum x → Datum Source #
Show Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods showsPrec ∷ Int → Datum → ShowS Source # show ∷ Datum → String Source # showList ∷ [Datum] → ShowS Source #
NFData Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods rnf ∷ Datum → () Source #
Eq Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods (==) ∷ Datum → Datum → Bool Source # (/=) ∷ Datum → Datum → Bool Source #
Ord Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods compare ∷ Datum → Datum → Ordering Source # (<) ∷ Datum → Datum → Bool Source # (<=) ∷ Datum → Datum → Bool Source # (>) ∷ Datum → Datum → Bool Source # (>=) ∷ Datum → Datum → Bool Source # max ∷ Datum → Datum → Datum Source # min ∷ Datum → Datum → Datum Source #
HasBlueprintDefinition Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Associated Types type Unroll Datum ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods (==) ∷ Datum → Datum → Bool Source #
FromData Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromBuiltinData ∷ BuiltinData → Maybe Datum Source #
ToData Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods toBuiltinData ∷ Datum → BuiltinData Source #
UnsafeFromData Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods unsafeFromBuiltinData ∷ BuiltinData → Datum Source #
Pretty Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ Datum → Doc ann Source # prettyList ∷ [Datum] → Doc ann Source #
Serialise Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods encode ∷ Datum → Encoding Source # decode ∷ Decoder s Datum Source # encodeList ∷ [Datum] → Encoding Source # decodeList ∷ Decoder s [Datum] Source #
HasBlueprintSchema Datum referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods lift ∷ Datum → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods typeRep ∷ Proxy Datum → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts type Rep Datum = D1 ('MetaData "Datum" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "Datum" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))
type Unroll Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts type Unroll Datum = Insert Datum (GUnroll (IfStuckRep (RepIsStuckError Datum ∷ Type → Type) (Rep Datum)))

newtype DatumHash Source #

Type representing the BLAKE2b-256 hash of a datum. 32 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.

Constructors

DatumHash BuiltinByteString

Instances

Instances details

IsString DatumHash Source #	from hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromString ∷ String → DatumHash Source #
Generic DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Associated Types type Rep DatumHash ∷ Type → Type Source # Methods from ∷ DatumHash → Rep DatumHash x Source # to ∷ Rep DatumHash x → DatumHash Source #
Show DatumHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods showsPrec ∷ Int → DatumHash → ShowS Source # show ∷ DatumHash → String Source # showList ∷ [DatumHash] → ShowS Source #
NFData DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods rnf ∷ DatumHash → () Source #
Eq DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods (==) ∷ DatumHash → DatumHash → Bool Source # (/=) ∷ DatumHash → DatumHash → Bool Source #
Ord DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods compare ∷ DatumHash → DatumHash → Ordering Source # (<) ∷ DatumHash → DatumHash → Bool Source # (<=) ∷ DatumHash → DatumHash → Bool Source # (>) ∷ DatumHash → DatumHash → Bool Source # (>=) ∷ DatumHash → DatumHash → Bool Source # max ∷ DatumHash → DatumHash → DatumHash Source # min ∷ DatumHash → DatumHash → DatumHash Source #
HasBlueprintDefinition DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Associated Types type Unroll DatumHash ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods (==) ∷ DatumHash → DatumHash → Bool Source #
FromData DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromBuiltinData ∷ BuiltinData → Maybe DatumHash Source #
ToData DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods toBuiltinData ∷ DatumHash → BuiltinData Source #
UnsafeFromData DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods unsafeFromBuiltinData ∷ BuiltinData → DatumHash Source #
Ord DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods compare ∷ DatumHash → DatumHash → Ordering Source # (<) ∷ DatumHash → DatumHash → Bool Source # (<=) ∷ DatumHash → DatumHash → Bool Source # (>) ∷ DatumHash → DatumHash → Bool Source # (>=) ∷ DatumHash → DatumHash → Bool Source # max ∷ DatumHash → DatumHash → DatumHash Source # min ∷ DatumHash → DatumHash → DatumHash Source #
Pretty DatumHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ DatumHash → Doc ann Source # prettyList ∷ [DatumHash] → Doc ann Source #
HasBlueprintSchema DatumHash referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods lift ∷ DatumHash → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods typeRep ∷ Proxy DatumHash → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts type Rep DatumHash = D1 ('MetaData "DatumHash" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.34.1.0-inplace" 'True) (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))
type Unroll DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts type Unroll DatumHash = Insert DatumHash (GUnroll (IfStuckRep (RepIsStuckError DatumHash ∷ Type → Type) (Rep DatumHash)))

Data

data Data Source #

A generic "data" type.

The main constructor Constr represents a datatype value in sum-of-products form: Constr i args represents a use of the ith constructor along with its arguments.

The other constructors are various primitives.

Constructors

Constr Integer [Data]
Map [(Data, Data)]
List [Data]
I Integer
B ByteString

Instances

Instances details

Data Data
Instance details Defined in PlutusCore.Data Methods gfoldl ∷ (∀ d b. Data0 d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Data → c Data Source # gunfold ∷ (∀ b r. Data0 b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Data Source # toConstr ∷ Data → Constr Source # dataTypeOf ∷ Data → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data0 d ⇒ c (t d)) → Maybe (c Data) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data0 d, Data0 e) ⇒ c (t d e)) → Maybe (c Data) Source # gmapT ∷ (∀ b. Data0 b ⇒ b → b) → Data → Data Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data0 d ⇒ d → r') → Data → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data0 d ⇒ d → r') → Data → r Source # gmapQ ∷ (∀ d. Data0 d ⇒ d → u) → Data → [u] Source # gmapQi ∷ Int → (∀ d. Data0 d ⇒ d → u) → Data → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data0 d ⇒ d → m d) → Data → m Data Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data0 d ⇒ d → m d) → Data → m Data Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data0 d ⇒ d → m d) → Data → m Data Source #
Generic Data
Instance details Defined in PlutusCore.Data Associated Types type Rep Data ∷ Type → Type Source # Methods from ∷ Data → Rep Data x Source # to ∷ Rep Data x → Data Source #
Read Data
Instance details Defined in PlutusCore.Data Methods readsPrec ∷ Int → ReadS Data Source # readList ∷ ReadS [Data] Source # readPrec ∷ ReadPrec Data Source # readListPrec ∷ ReadPrec [Data] Source #
Show Data
Instance details Defined in PlutusCore.Data Methods showsPrec ∷ Int → Data → ShowS Source # show ∷ Data → String Source # showList ∷ [Data] → ShowS Source #
NFData Data
Instance details Defined in PlutusCore.Data Methods rnf ∷ Data → () Source #
Eq Data
Instance details Defined in PlutusCore.Data Methods (==) ∷ Data → Data → Bool Source # (/=) ∷ Data → Data → Bool Source #
Ord Data
Instance details Defined in PlutusCore.Data Methods compare ∷ Data → Data → Ordering Source # (<) ∷ Data → Data → Bool Source # (<=) ∷ Data → Data → Bool Source # (>) ∷ Data → Data → Bool Source # (>=) ∷ Data → Data → Bool Source # max ∷ Data → Data → Data Source # min ∷ Data → Data → Data Source #
Hashable Data
Instance details Defined in PlutusCore.Data Methods hashWithSalt ∷ Int → Data → Int Source # hash ∷ Data → Int Source #
NoThunks Data
Instance details Defined in PlutusCore.Data Methods noThunks ∷ Context → Data → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Data → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Data → String Source #
HasToBuiltin Data
Instance details Defined in PlutusTx.Builtins.HasBuiltin Associated Types type ToBuiltin Data Source # Methods toBuiltin ∷ Data → ToBuiltin Data Source #
Pretty Data
Instance details Defined in PlutusCore.Data Methods pretty ∷ Data → Doc ann Source # prettyList ∷ [Data] → Doc ann Source #
Serialise Data
Instance details Defined in PlutusCore.Data Methods encode ∷ Data → Encoding Source # decode ∷ Decoder s Data Source # encodeList ∷ [Data] → Encoding Source # decodeList ∷ Decoder s [Data] Source #
PrettyBy ConstConfig Data
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy ∷ ConstConfig → Data → Doc ann Source # prettyListBy ∷ ConstConfig → [Data] → Doc ann Source #
KnownBuiltinTypeIn DefaultUni term Data ⇒ MakeKnownIn DefaultUni term Data
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown ∷ Data → BuiltinResult term Source #
KnownBuiltinTypeIn DefaultUni term Data ⇒ ReadKnownIn DefaultUni term Data
Instance details Defined in PlutusCore.Default.Universe Methods readKnown ∷ term → ReadKnownM Data Source #
Contains DefaultUni Data
Instance details Defined in PlutusCore.Default.Universe Methods knownUni ∷ DefaultUni (Esc Data) Source #
KnownBuiltinTypeAst tyname DefaultUni Data ⇒ KnownTypeAst tyname DefaultUni Data
Instance details Defined in PlutusCore.Default.Universe Associated Types type IsBuiltin DefaultUni Data ∷ Bool Source # type ToHoles DefaultUni Data ∷ [Hole] Source # type ToBinds DefaultUni acc Data ∷ [Some TyNameRep] Source # Methods typeAst ∷ Type tyname DefaultUni () Source #
type Rep Data
Instance details Defined in PlutusCore.Data type Rep Data = D1 ('MetaData "Data" "PlutusCore.Data" "plutus-core-1.34.1.0-inplace" 'False) ((C1 ('MetaCons "Constr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Data])) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Data, Data)]))) :+: (C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Data])) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))))
type ToBuiltin Data
Instance details Defined in PlutusTx.Builtins.HasBuiltin type ToBuiltin Data = BuiltinData
type IsBuiltin DefaultUni Data
Instance details Defined in PlutusCore.Default.Universe type IsBuiltin DefaultUni Data = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Data)
type ToHoles DefaultUni Data
Instance details Defined in PlutusCore.Default.Universe type ToHoles DefaultUni Data = ToHoles DefaultUni (ElaborateBuiltin DefaultUni Data)
type ToBinds DefaultUni acc Data
Instance details Defined in PlutusCore.Default.Universe type ToBinds DefaultUni acc Data = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Data)

data BuiltinData Source #

A type corresponding to the Plutus Core builtin equivalent of Data.

The point of this type is to be an opaque equivalent of Data, so as to ensure that it is only used in ways that the compiler can handle.

As such, you should use this type in your on-chain code, and in any data structures that you want to be representable on-chain.

For off-chain usage, there are conversion functions builtinDataToData and dataToBuiltinData, but note that these will not work on-chain.

Constructors

BuiltinData ~Data

Instances

Instances details

Data BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BuiltinData → c BuiltinData Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BuiltinData Source # toConstr ∷ BuiltinData → Constr Source # dataTypeOf ∷ BuiltinData → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BuiltinData) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BuiltinData) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → BuiltinData → BuiltinData Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinData → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BuiltinData → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → BuiltinData → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BuiltinData → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinData → m BuiltinData Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinData → m BuiltinData Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BuiltinData → m BuiltinData Source #
Generic BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal Associated Types type Rep BuiltinData ∷ Type → Type Source # Methods from ∷ BuiltinData → Rep BuiltinData x Source # to ∷ Rep BuiltinData x → BuiltinData Source #
Show BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal Methods showsPrec ∷ Int → BuiltinData → ShowS Source # show ∷ BuiltinData → String Source # showList ∷ [BuiltinData] → ShowS Source #
NFData BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal Methods rnf ∷ BuiltinData → () Source #
Eq BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal Methods (==) ∷ BuiltinData → BuiltinData → Bool Source # (/=) ∷ BuiltinData → BuiltinData → Bool Source #
Ord BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal Methods compare ∷ BuiltinData → BuiltinData → Ordering Source # (<) ∷ BuiltinData → BuiltinData → Bool Source # (<=) ∷ BuiltinData → BuiltinData → Bool Source # (>) ∷ BuiltinData → BuiltinData → Bool Source # (>=) ∷ BuiltinData → BuiltinData → Bool Source # max ∷ BuiltinData → BuiltinData → BuiltinData Source # min ∷ BuiltinData → BuiltinData → BuiltinData Source #
HasBlueprintDefinition BuiltinData
Instance details Defined in PlutusTx.Blueprint.Definition.Unroll Associated Types type Unroll BuiltinData ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
HasFromBuiltin BuiltinData
Instance details Defined in PlutusTx.Builtins.HasBuiltin Associated Types type FromBuiltin BuiltinData Source # Methods fromBuiltin ∷ BuiltinData → FromBuiltin BuiltinData Source #
MkNil BuiltinData
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods mkNil ∷ BuiltinList BuiltinData Source #
Eq BuiltinData
Instance details Defined in PlutusTx.Eq Methods (==) ∷ BuiltinData → BuiltinData → Bool Source #
FromData BuiltinData
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData ∷ BuiltinData → Maybe BuiltinData Source #
ToData BuiltinData
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData ∷ BuiltinData → BuiltinData Source #
UnsafeFromData BuiltinData
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData ∷ BuiltinData → BuiltinData Source #
Pretty BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinData → Doc ann Source # prettyList ∷ [BuiltinData] → Doc ann Source #
HasBlueprintSchema BuiltinData referencedTypes
Instance details Defined in PlutusTx.Blueprint.Class Methods schema ∷ Schema referencedTypes Source #
HasFromOpaque BuiltinData BuiltinData
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinData → BuiltinData Source #
HasToOpaque BuiltinData BuiltinData
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ BuiltinData → BuiltinData Source #
HasTermLevel uni Data ⇒ Lift uni BuiltinData
Instance details Defined in PlutusTx.Lift.Class Methods lift ∷ BuiltinData → RTCompile uni fun (Term TyName Name uni fun ()) Source #
HasTypeLevel uni Data ⇒ Typeable uni BuiltinData
Instance details Defined in PlutusTx.Lift.Class Methods typeRep ∷ Proxy BuiltinData → RTCompile uni fun (Type TyName uni ()) Source #
MkNil (BuiltinPair BuiltinData BuiltinData)
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods mkNil ∷ BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #
HasToOpaque (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData)
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ (BuiltinData, BuiltinData) → BuiltinPair BuiltinData BuiltinData Source #
type Rep BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal type Rep BuiltinData = D1 ('MetaData "BuiltinData" "PlutusTx.Builtins.Internal" "plutus-tx-1.34.1.0-inplace" 'False) (C1 ('MetaCons "BuiltinData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceLazy 'DecidedLazy) (Rec0 Data)))
type Unroll BuiltinData
Instance details Defined in PlutusTx.Blueprint.Definition.Unroll type Unroll BuiltinData = '[BuiltinData]
type FromBuiltin BuiltinData
Instance details Defined in PlutusTx.Builtins.HasBuiltin type FromBuiltin BuiltinData = Data

class ToData a where Source #

A typeclass for types that can be converted to and from BuiltinData.

Methods

toBuiltinData ∷ a → BuiltinData Source #

Convert a value to BuiltinData.

Instances

Instances details

ToData Void
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData ∷ Void → BuiltinData Source #
ToData Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods toBuiltinData ∷ Address → BuiltinData Source #
ToData LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods toBuiltinData ∷ LedgerBytes → BuiltinData Source #
ToData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods toBuiltinData ∷ ScriptContext → BuiltinData Source #
ToData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods toBuiltinData ∷ ScriptPurpose → BuiltinData Source #
ToData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods toBuiltinData ∷ TxInInfo → BuiltinData Source #
ToData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods toBuiltinData ∷ TxInfo → BuiltinData Source #
ToData Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods toBuiltinData ∷ Credential → BuiltinData Source #
ToData StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods toBuiltinData ∷ StakingCredential → BuiltinData Source #
ToData PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods toBuiltinData ∷ PubKeyHash → BuiltinData Source #
ToData DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods toBuiltinData ∷ DCert → BuiltinData Source #
ToData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods toBuiltinData ∷ ScriptContext → BuiltinData Source #
ToData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods toBuiltinData ∷ ScriptPurpose → BuiltinData Source #
ToData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods toBuiltinData ∷ TxInInfo → BuiltinData Source #
ToData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods toBuiltinData ∷ TxInfo → BuiltinData Source #
ToData TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods toBuiltinData ∷ TxId → BuiltinData Source #
ToData TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods toBuiltinData ∷ TxOut → BuiltinData Source #
ToData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods toBuiltinData ∷ TxOutRef → BuiltinData Source #
ToData AssetClass Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods toBuiltinData ∷ AssetClass → BuiltinData Source #
ToData CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods toBuiltinData ∷ CurrencySymbol → BuiltinData Source #
ToData Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods toBuiltinData ∷ Lovelace → BuiltinData Source #
ToData TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods toBuiltinData ∷ TokenName → BuiltinData Source #
ToData Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods toBuiltinData ∷ Value → BuiltinData Source #
ToData Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods toBuiltinData ∷ Datum → BuiltinData Source #
ToData DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods toBuiltinData ∷ DatumHash → BuiltinData Source #
ToData Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods toBuiltinData ∷ Redeemer → BuiltinData Source #
ToData RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods toBuiltinData ∷ RedeemerHash → BuiltinData Source #
ToData ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods toBuiltinData ∷ ScriptHash → BuiltinData Source #
ToData DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods toBuiltinData ∷ DiffMilliSeconds → BuiltinData Source #
ToData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods toBuiltinData ∷ POSIXTime → BuiltinData Source #
ToData RedeemerPtr Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods toBuiltinData ∷ RedeemerPtr → BuiltinData Source #
ToData ScriptTag Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods toBuiltinData ∷ ScriptTag → BuiltinData Source #
ToData TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods toBuiltinData ∷ TxId → BuiltinData Source #
ToData TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods toBuiltinData ∷ TxOut → BuiltinData Source #
ToData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods toBuiltinData ∷ TxOutRef → BuiltinData Source #
ToData AssetClass Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods toBuiltinData ∷ AssetClass → BuiltinData Source #
ToData CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods toBuiltinData ∷ CurrencySymbol → BuiltinData Source #
ToData Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods toBuiltinData ∷ Lovelace → BuiltinData Source #
ToData TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods toBuiltinData ∷ TokenName → BuiltinData Source #
ToData Value Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods toBuiltinData ∷ Value → BuiltinData Source #
ToData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods toBuiltinData ∷ ScriptContext → BuiltinData Source #
ToData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods toBuiltinData ∷ TxInInfo → BuiltinData Source #
ToData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods toBuiltinData ∷ TxInfo → BuiltinData Source #
ToData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods toBuiltinData ∷ ScriptContext → BuiltinData Source #
ToData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods toBuiltinData ∷ TxInInfo → BuiltinData Source #
ToData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods toBuiltinData ∷ TxInfo → BuiltinData Source #
ToData OutputDatum Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Tx Methods toBuiltinData ∷ OutputDatum → BuiltinData Source #
ToData TxOut Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Tx Methods toBuiltinData ∷ TxOut → BuiltinData Source #
ToData OutputDatum Source #
Instance details Defined in PlutusLedgerApi.V2.Tx Methods toBuiltinData ∷ OutputDatum → BuiltinData Source #
ToData TxOut Source #
Instance details Defined in PlutusLedgerApi.V2.Tx Methods toBuiltinData ∷ TxOut → BuiltinData Source #
ToData ChangedParameters Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ ChangedParameters → BuiltinData Source #
ToData ColdCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ ColdCommitteeCredential → BuiltinData Source #
ToData Committee Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ Committee → BuiltinData Source #
ToData Constitution Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ Constitution → BuiltinData Source #
ToData DRep Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ DRep → BuiltinData Source #
ToData DRepCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ DRepCredential → BuiltinData Source #
ToData Delegatee Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ Delegatee → BuiltinData Source #
ToData GovernanceAction Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ GovernanceAction → BuiltinData Source #
ToData GovernanceActionId Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ GovernanceActionId → BuiltinData Source #
ToData HotCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ HotCommitteeCredential → BuiltinData Source #
ToData ProposalProcedure Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ ProposalProcedure → BuiltinData Source #
ToData ProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ ProtocolVersion → BuiltinData Source #
ToData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ ScriptContext → BuiltinData Source #
ToData ScriptInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ ScriptInfo → BuiltinData Source #
ToData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ ScriptPurpose → BuiltinData Source #
ToData TxCert Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ TxCert → BuiltinData Source #
ToData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ TxInInfo → BuiltinData Source #
ToData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ TxInfo → BuiltinData Source #
ToData Vote Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ Vote → BuiltinData Source #
ToData Voter Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods toBuiltinData ∷ Voter → BuiltinData Source #
ToData ChangedParameters Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ ChangedParameters → BuiltinData Source #
ToData ColdCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ ColdCommitteeCredential → BuiltinData Source #
ToData Committee Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ Committee → BuiltinData Source #
ToData Constitution Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ Constitution → BuiltinData Source #
ToData DRep Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ DRep → BuiltinData Source #
ToData DRepCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ DRepCredential → BuiltinData Source #
ToData Delegatee Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ Delegatee → BuiltinData Source #
ToData GovernanceAction Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ GovernanceAction → BuiltinData Source #
ToData GovernanceActionId Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ GovernanceActionId → BuiltinData Source #
ToData HotCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ HotCommitteeCredential → BuiltinData Source #
ToData ProposalProcedure Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ ProposalProcedure → BuiltinData Source #
ToData ProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ ProtocolVersion → BuiltinData Source #
ToData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ ScriptContext → BuiltinData Source #
ToData ScriptInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ ScriptInfo → BuiltinData Source #
ToData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ ScriptPurpose → BuiltinData Source #
ToData TxCert Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ TxCert → BuiltinData Source #
ToData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ TxInInfo → BuiltinData Source #
ToData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ TxInfo → BuiltinData Source #
ToData Vote Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ Vote → BuiltinData Source #
ToData Voter Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods toBuiltinData ∷ Voter → BuiltinData Source #
ToData TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods toBuiltinData ∷ TxId → BuiltinData Source #
ToData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods toBuiltinData ∷ TxOutRef → BuiltinData Source #
ToData BuiltinBLS12_381_G1_Element	For the BLS12-381 G1 and G2 types we use the `compress` functions to convert to a ByteString and then encode that as Data as usual. We have to be more careful going the other way because we decode a Data object to (possibly) get a BuiltinByteString and then uncompress the underlying ByteString to get a group element. However uncompression can fail so we have to check what happens: we don't use bls12_381_G?_uncompress because that invokes `error` if something goes wrong (but we do use it for unsafeFromData).
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData ∷ BuiltinBLS12_381_G1_Element → BuiltinData Source #
ToData BuiltinBLS12_381_G2_Element
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData ∷ BuiltinBLS12_381_G2_Element → BuiltinData Source #
(TypeError ('Text "toBuiltinData is not supported for BuiltinBLS12_381_MlResult") ∷ Constraint) ⇒ ToData BuiltinBLS12_381_MlResult	We do not provide instances of any of these classes for BuiltinBLS12_381_MlResult since there is no serialisation format: we expect that values of that type will only occur as the result of on-chain computations.
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData ∷ BuiltinBLS12_381_MlResult → BuiltinData Source #
ToData BuiltinByteString
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData ∷ BuiltinByteString → BuiltinData Source #
ToData BuiltinData
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData ∷ BuiltinData → BuiltinData Source #
ToData Rational
Instance details Defined in PlutusTx.Ratio Methods toBuiltinData ∷ Rational → BuiltinData Source #
ToData Integer
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData ∷ Integer → BuiltinData Source #
(TypeError ('Text "Int is not supported, use Integer instead") ∷ Constraint) ⇒ ToData Int
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData ∷ Int → BuiltinData Source #
ToData a ⇒ ToData (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods toBuiltinData ∷ Extended a → BuiltinData Source #
ToData a ⇒ ToData (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods toBuiltinData ∷ Interval a → BuiltinData Source #
ToData a ⇒ ToData (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods toBuiltinData ∷ LowerBound a → BuiltinData Source #
ToData a ⇒ ToData (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods toBuiltinData ∷ UpperBound a → BuiltinData Source #
ToData a ⇒ ToData [a]
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData ∷ [a] → BuiltinData Source #
(ToData k, ToData v) ⇒ ToData (Map k v)	Hand-written instances to use the underlying `Map` type in `Data`, and to be reasonably efficient.
Instance details Defined in PlutusTx.AssocMap Methods toBuiltinData ∷ Map k v → BuiltinData Source #
ToData (Map k a)
Instance details Defined in PlutusTx.Data.AssocMap Methods toBuiltinData ∷ Map k a → BuiltinData Source #

class FromData a where Source #

Methods

fromBuiltinData ∷ BuiltinData → Maybe a Source #

Convert a value from BuiltinData, returning Nothing if this fails.

Instances

Instances details

FromData Void
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData ∷ BuiltinData → Maybe Void Source #
FromData Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods fromBuiltinData ∷ BuiltinData → Maybe Address Source #
FromData LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods fromBuiltinData ∷ BuiltinData → Maybe LedgerBytes Source #
FromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptContext Source #
FromData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptPurpose Source #
FromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInInfo Source #
FromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInfo Source #
FromData Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods fromBuiltinData ∷ BuiltinData → Maybe Credential Source #
FromData StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods fromBuiltinData ∷ BuiltinData → Maybe StakingCredential Source #
FromData PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods fromBuiltinData ∷ BuiltinData → Maybe PubKeyHash Source #
FromData DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods fromBuiltinData ∷ BuiltinData → Maybe DCert Source #
FromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptContext Source #
FromData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptPurpose Source #
FromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInInfo Source #
FromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInfo Source #
FromData TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxId Source #
FromData TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxOut Source #
FromData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxOutRef Source #
FromData AssetClass Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods fromBuiltinData ∷ BuiltinData → Maybe AssetClass Source #
FromData CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods fromBuiltinData ∷ BuiltinData → Maybe CurrencySymbol Source #
FromData Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods fromBuiltinData ∷ BuiltinData → Maybe Lovelace Source #
FromData TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods fromBuiltinData ∷ BuiltinData → Maybe TokenName Source #
FromData Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods fromBuiltinData ∷ BuiltinData → Maybe Value Source #
FromData Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromBuiltinData ∷ BuiltinData → Maybe Datum Source #
FromData DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromBuiltinData ∷ BuiltinData → Maybe DatumHash Source #
FromData Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromBuiltinData ∷ BuiltinData → Maybe Redeemer Source #
FromData RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromBuiltinData ∷ BuiltinData → Maybe RedeemerHash Source #
FromData ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptHash Source #
FromData DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods fromBuiltinData ∷ BuiltinData → Maybe DiffMilliSeconds Source #
FromData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods fromBuiltinData ∷ BuiltinData → Maybe POSIXTime Source #
FromData RedeemerPtr Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe RedeemerPtr Source #
FromData ScriptTag Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptTag Source #
FromData TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxId Source #
FromData TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxOut Source #
FromData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxOutRef Source #
FromData AssetClass Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods fromBuiltinData ∷ BuiltinData → Maybe AssetClass Source #
FromData CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods fromBuiltinData ∷ BuiltinData → Maybe CurrencySymbol Source #
FromData Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods fromBuiltinData ∷ BuiltinData → Maybe Lovelace Source #
FromData TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods fromBuiltinData ∷ BuiltinData → Maybe TokenName Source #
FromData Value Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods fromBuiltinData ∷ BuiltinData → Maybe Value Source #
FromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptContext Source #
FromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInInfo Source #
FromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInfo Source #
FromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptContext Source #
FromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInInfo Source #
FromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInfo Source #
FromData OutputDatum Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe OutputDatum Source #
FromData TxOut Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxOut Source #
FromData OutputDatum Source #
Instance details Defined in PlutusLedgerApi.V2.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe OutputDatum Source #
FromData TxOut Source #
Instance details Defined in PlutusLedgerApi.V2.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxOut Source #
FromData ChangedParameters Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ChangedParameters Source #
FromData ColdCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ColdCommitteeCredential Source #
FromData Committee Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe Committee Source #
FromData Constitution Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe Constitution Source #
FromData DRep Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe DRep Source #
FromData DRepCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe DRepCredential Source #
FromData Delegatee Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe Delegatee Source #
FromData GovernanceAction Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe GovernanceAction Source #
FromData GovernanceActionId Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe GovernanceActionId Source #
FromData HotCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe HotCommitteeCredential Source #
FromData ProposalProcedure Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ProposalProcedure Source #
FromData ProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ProtocolVersion Source #
FromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptContext Source #
FromData ScriptInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptInfo Source #
FromData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptPurpose Source #
FromData TxCert Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxCert Source #
FromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInInfo Source #
FromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInfo Source #
FromData Vote Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe Vote Source #
FromData Voter Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe Voter Source #
FromData ChangedParameters Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ChangedParameters Source #
FromData ColdCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ColdCommitteeCredential Source #
FromData Committee Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe Committee Source #
FromData Constitution Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe Constitution Source #
FromData DRep Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe DRep Source #
FromData DRepCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe DRepCredential Source #
FromData Delegatee Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe Delegatee Source #
FromData GovernanceAction Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe GovernanceAction Source #
FromData GovernanceActionId Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe GovernanceActionId Source #
FromData HotCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe HotCommitteeCredential Source #
FromData ProposalProcedure Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ProposalProcedure Source #
FromData ProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ProtocolVersion Source #
FromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptContext Source #
FromData ScriptInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptInfo Source #
FromData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe ScriptPurpose Source #
FromData TxCert Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxCert Source #
FromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInInfo Source #
FromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe TxInfo Source #
FromData Vote Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe Vote Source #
FromData Voter Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods fromBuiltinData ∷ BuiltinData → Maybe Voter Source #
FromData TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxId Source #
FromData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods fromBuiltinData ∷ BuiltinData → Maybe TxOutRef Source #
FromData BuiltinBLS12_381_G1_Element
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData ∷ BuiltinData → Maybe BuiltinBLS12_381_G1_Element Source #
FromData BuiltinBLS12_381_G2_Element
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData ∷ BuiltinData → Maybe BuiltinBLS12_381_G2_Element Source #
(TypeError ('Text "fromBuiltinData is not supported for BuiltinBLS12_381_MlResult") ∷ Constraint) ⇒ FromData BuiltinBLS12_381_MlResult
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData ∷ BuiltinData → Maybe BuiltinBLS12_381_MlResult Source #
FromData BuiltinByteString
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData ∷ BuiltinData → Maybe BuiltinByteString Source #
FromData BuiltinData
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData ∷ BuiltinData → Maybe BuiltinData Source #
FromData Rational
Instance details Defined in PlutusTx.Ratio Methods fromBuiltinData ∷ BuiltinData → Maybe Rational Source #
FromData Integer
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData ∷ BuiltinData → Maybe Integer Source #
(TypeError ('Text "Int is not supported, use Integer instead") ∷ Constraint) ⇒ FromData Int
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData ∷ BuiltinData → Maybe Int Source #
FromData a ⇒ FromData (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fromBuiltinData ∷ BuiltinData → Maybe (Extended a) Source #
FromData a ⇒ FromData (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fromBuiltinData ∷ BuiltinData → Maybe (Interval a) Source #
FromData a ⇒ FromData (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fromBuiltinData ∷ BuiltinData → Maybe (LowerBound a) Source #
FromData a ⇒ FromData (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods fromBuiltinData ∷ BuiltinData → Maybe (UpperBound a) Source #
FromData a ⇒ FromData [a]
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData ∷ BuiltinData → Maybe [a] Source #
(FromData k, FromData v) ⇒ FromData (Map k v)	A hand-written transformation from `Data` to `Map`. Compared to `unsafeFromBuiltinData`, it is safe to call when it is unknown if the `Data` is built with `Data`s `Map` constructor. Note that it is, however, unsafe in the sense that it assumes that any map encoded in the `Data` is well-formed, i.e. `fromBuiltinData` does not perform any deduplication of keys or of key-value pairs!
Instance details Defined in PlutusTx.AssocMap Methods fromBuiltinData ∷ BuiltinData → Maybe (Map k v) Source #
FromData (Map k a)
Instance details Defined in PlutusTx.Data.AssocMap Methods fromBuiltinData ∷ BuiltinData → Maybe (Map k a) Source #

class UnsafeFromData a where Source #

Methods

unsafeFromBuiltinData ∷ BuiltinData → a Source #

Convert a value from BuiltinData, calling error if this fails. This is typically much faster than fromBuiltinData.

When implementing this function, make sure to call unsafeFromBuiltinData rather than fromBuiltinData when converting substructures!

This is a simple type without any validation, use with caution.

Instances

Instances details

UnsafeFromData Void
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData ∷ BuiltinData → Void Source #
UnsafeFromData Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods unsafeFromBuiltinData ∷ BuiltinData → Address Source #
UnsafeFromData LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods unsafeFromBuiltinData ∷ BuiltinData → LedgerBytes Source #
UnsafeFromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptContext Source #
UnsafeFromData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptPurpose Source #
UnsafeFromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInInfo Source #
UnsafeFromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInfo Source #
UnsafeFromData Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods unsafeFromBuiltinData ∷ BuiltinData → Credential Source #
UnsafeFromData StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods unsafeFromBuiltinData ∷ BuiltinData → StakingCredential Source #
UnsafeFromData PubKeyHash Source #
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods unsafeFromBuiltinData ∷ BuiltinData → PubKeyHash Source #
UnsafeFromData DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods unsafeFromBuiltinData ∷ BuiltinData → DCert Source #
UnsafeFromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptContext Source #
UnsafeFromData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptPurpose Source #
UnsafeFromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInInfo Source #
UnsafeFromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInfo Source #
UnsafeFromData TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxId Source #
UnsafeFromData TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxOut Source #
UnsafeFromData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxOutRef Source #
UnsafeFromData AssetClass Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods unsafeFromBuiltinData ∷ BuiltinData → AssetClass Source #
UnsafeFromData CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods unsafeFromBuiltinData ∷ BuiltinData → CurrencySymbol Source #
UnsafeFromData Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods unsafeFromBuiltinData ∷ BuiltinData → Lovelace Source #
UnsafeFromData TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods unsafeFromBuiltinData ∷ BuiltinData → TokenName Source #
UnsafeFromData Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods unsafeFromBuiltinData ∷ BuiltinData → Value Source #
UnsafeFromData Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods unsafeFromBuiltinData ∷ BuiltinData → Datum Source #
UnsafeFromData DatumHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods unsafeFromBuiltinData ∷ BuiltinData → DatumHash Source #
UnsafeFromData Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods unsafeFromBuiltinData ∷ BuiltinData → Redeemer Source #
UnsafeFromData RedeemerHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods unsafeFromBuiltinData ∷ BuiltinData → RedeemerHash Source #
UnsafeFromData ScriptHash Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptHash Source #
UnsafeFromData DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods unsafeFromBuiltinData ∷ BuiltinData → DiffMilliSeconds Source #
UnsafeFromData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods unsafeFromBuiltinData ∷ BuiltinData → POSIXTime Source #
UnsafeFromData RedeemerPtr Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → RedeemerPtr Source #
UnsafeFromData ScriptTag Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptTag Source #
UnsafeFromData TxId Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxId Source #
UnsafeFromData TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxOut Source #
UnsafeFromData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxOutRef Source #
UnsafeFromData AssetClass Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods unsafeFromBuiltinData ∷ BuiltinData → AssetClass Source #
UnsafeFromData CurrencySymbol Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods unsafeFromBuiltinData ∷ BuiltinData → CurrencySymbol Source #
UnsafeFromData Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods unsafeFromBuiltinData ∷ BuiltinData → Lovelace Source #
UnsafeFromData TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods unsafeFromBuiltinData ∷ BuiltinData → TokenName Source #
UnsafeFromData Value Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods unsafeFromBuiltinData ∷ BuiltinData → Value Source #
UnsafeFromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptContext Source #
UnsafeFromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInInfo Source #
UnsafeFromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInfo Source #
UnsafeFromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptContext Source #
UnsafeFromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInInfo Source #
UnsafeFromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInfo Source #
UnsafeFromData OutputDatum Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → OutputDatum Source #
UnsafeFromData TxOut Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxOut Source #
UnsafeFromData OutputDatum Source #
Instance details Defined in PlutusLedgerApi.V2.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → OutputDatum Source #
UnsafeFromData TxOut Source #
Instance details Defined in PlutusLedgerApi.V2.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxOut Source #
UnsafeFromData ChangedParameters Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ChangedParameters Source #
UnsafeFromData ColdCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ColdCommitteeCredential Source #
UnsafeFromData Committee Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → Committee Source #
UnsafeFromData Constitution Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → Constitution Source #
UnsafeFromData DRep Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → DRep Source #
UnsafeFromData DRepCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → DRepCredential Source #
UnsafeFromData Delegatee Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → Delegatee Source #
UnsafeFromData GovernanceAction Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → GovernanceAction Source #
UnsafeFromData GovernanceActionId Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → GovernanceActionId Source #
UnsafeFromData HotCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → HotCommitteeCredential Source #
UnsafeFromData ProposalProcedure Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ProposalProcedure Source #
UnsafeFromData ProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ProtocolVersion Source #
UnsafeFromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptContext Source #
UnsafeFromData ScriptInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptInfo Source #
UnsafeFromData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptPurpose Source #
UnsafeFromData TxCert Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxCert Source #
UnsafeFromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInInfo Source #
UnsafeFromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInfo Source #
UnsafeFromData Vote Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → Vote Source #
UnsafeFromData Voter Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → Voter Source #
UnsafeFromData ChangedParameters Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ChangedParameters Source #
UnsafeFromData ColdCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ColdCommitteeCredential Source #
UnsafeFromData Committee Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → Committee Source #
UnsafeFromData Constitution Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → Constitution Source #
UnsafeFromData DRep Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → DRep Source #
UnsafeFromData DRepCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → DRepCredential Source #
UnsafeFromData Delegatee Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → Delegatee Source #
UnsafeFromData GovernanceAction Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → GovernanceAction Source #
UnsafeFromData GovernanceActionId Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → GovernanceActionId Source #
UnsafeFromData HotCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → HotCommitteeCredential Source #
UnsafeFromData ProposalProcedure Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ProposalProcedure Source #
UnsafeFromData ProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ProtocolVersion Source #
UnsafeFromData ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptContext Source #
UnsafeFromData ScriptInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptInfo Source #
UnsafeFromData ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → ScriptPurpose Source #
UnsafeFromData TxCert Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxCert Source #
UnsafeFromData TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInInfo Source #
UnsafeFromData TxInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → TxInfo Source #
UnsafeFromData Vote Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → Vote Source #
UnsafeFromData Voter Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods unsafeFromBuiltinData ∷ BuiltinData → Voter Source #
UnsafeFromData TxId Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxId Source #
UnsafeFromData TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods unsafeFromBuiltinData ∷ BuiltinData → TxOutRef Source #
UnsafeFromData BuiltinBLS12_381_G1_Element
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData ∷ BuiltinData → BuiltinBLS12_381_G1_Element Source #
UnsafeFromData BuiltinBLS12_381_G2_Element
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData ∷ BuiltinData → BuiltinBLS12_381_G2_Element Source #
(TypeError ('Text "unsafeFromBuiltinData is not supported for BuiltinBLS12_381_MlResult") ∷ Constraint) ⇒ UnsafeFromData BuiltinBLS12_381_MlResult
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData ∷ BuiltinData → BuiltinBLS12_381_MlResult Source #
UnsafeFromData BuiltinByteString
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData ∷ BuiltinData → BuiltinByteString Source #
UnsafeFromData BuiltinData
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData ∷ BuiltinData → BuiltinData Source #
UnsafeFromData Rational
Instance details Defined in PlutusTx.Ratio Methods unsafeFromBuiltinData ∷ BuiltinData → Rational Source #
UnsafeFromData Integer
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData ∷ BuiltinData → Integer Source #
(TypeError ('Text "Int is not supported, use Integer instead") ∷ Constraint) ⇒ UnsafeFromData Int
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData ∷ BuiltinData → Int Source #
UnsafeFromData a ⇒ UnsafeFromData (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods unsafeFromBuiltinData ∷ BuiltinData → Extended a Source #
UnsafeFromData a ⇒ UnsafeFromData (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods unsafeFromBuiltinData ∷ BuiltinData → Interval a Source #
UnsafeFromData a ⇒ UnsafeFromData (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods unsafeFromBuiltinData ∷ BuiltinData → LowerBound a Source #
UnsafeFromData a ⇒ UnsafeFromData (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods unsafeFromBuiltinData ∷ BuiltinData → UpperBound a Source #
UnsafeFromData a ⇒ UnsafeFromData [a]
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData ∷ BuiltinData → [a] Source #
(UnsafeFromData k, UnsafeFromData v) ⇒ UnsafeFromData (Map k v)	A hand-written transformation from `Data` to `Map`. It is unsafe because the caller must provide the guarantee that the `Data` is constructed using the `Data`s `Map` constructor. Note that it assumes, like the `fromBuiltinData` transformation, that the map encoded in the `Data` is well-formed, i.e. `unsafeFromBuiltinData` does not perform any deduplication of keys or of key-value pairs!
Instance details Defined in PlutusTx.AssocMap Methods unsafeFromBuiltinData ∷ BuiltinData → Map k v Source #
UnsafeFromData (Map k a)
Instance details Defined in PlutusTx.Data.AssocMap Methods unsafeFromBuiltinData ∷ BuiltinData → Map k a Source #

toData ∷ ToData a ⇒ a → Data Source #

Convert a value to Data.

fromData ∷ FromData a ⇒ Data → Maybe a Source #

Convert a value from Data, returning Nothing if this fails.

dataToBuiltinData ∷ Data → BuiltinData Source #

Convert a Data into a BuiltinData. Only works off-chain.

builtinDataToData ∷ BuiltinData → Data Source #

Convert a BuiltinData into a Data. Only works off-chain.

Errors

data EvaluationError Source #

Errors that can be thrown when evaluating a Plutus script.

Constructors

CekError !(CekEvaluationException NamedDeBruijn DefaultUni DefaultFun)	An error from the evaluator itself
DeBruijnError !FreeVariableError	An error in the pre-evaluation step of converting from de-Bruijn indices
CodecError !ScriptDecodeError	A deserialisation error TODO: make this error more informative when we have more information about what went wrong
CostModelParameterMismatch	An error indicating that the cost model parameters didn't match what we expected
InvalidReturnValue	The script evaluated to a value that is not a valid return value.

Instances

Instances details

Show EvaluationError Source #
Instance details Defined in PlutusLedgerApi.Common.Eval Methods showsPrec ∷ Int → EvaluationError → ShowS Source # show ∷ EvaluationError → String Source # showList ∷ [EvaluationError] → ShowS Source #
Eq EvaluationError Source #
Instance details Defined in PlutusLedgerApi.Common.Eval Methods (==) ∷ EvaluationError → EvaluationError → Bool Source # (/=) ∷ EvaluationError → EvaluationError → Bool Source #
AsScriptDecodeError EvaluationError Source #
Instance details Defined in PlutusLedgerApi.Common.Eval Methods _ScriptDecodeError ∷ Prism' EvaluationError ScriptDecodeError Source # _CBORDeserialiseError ∷ Prism' EvaluationError DeserialiseFailureInfo Source # _RemainderError ∷ Prism' EvaluationError ByteString Source # _LedgerLanguageNotAvailableError ∷ Prism' EvaluationError (PlutusLedgerLanguage, MajorProtocolVersion, MajorProtocolVersion) Source # _PlutusCoreLanguageNotAvailableError ∷ Prism' EvaluationError (Version, PlutusLedgerLanguage, MajorProtocolVersion) Source #
Pretty EvaluationError Source #
Instance details Defined in PlutusLedgerApi.Common.Eval Methods pretty ∷ EvaluationError → Doc ann Source # prettyList ∷ [EvaluationError] → Doc ann Source #

data ScriptDecodeError Source #

An error that occurred during script deserialization.

Constructors

CBORDeserialiseError !DeserialiseFailureInfo	an error from the underlying CBOR/serialise library
RemainderError !ByteString	Script was successfully parsed, but more (runaway) bytes encountered after script's position
LedgerLanguageNotAvailableError	the plutus version of the given script is not enabled yet
Fields sdeAffectedLang ∷ !PlutusLedgerLanguage the script's ledger language sdeIntroPv ∷ !MajorProtocolVersion the major protocol version that will first introduce/enable the ledger language sdeThisPv ∷ !MajorProtocolVersion the current protocol version
PlutusCoreLanguageNotAvailableError
Fields sdeAffectedVersion ∷ !Version the Plutus Core language of the script under execution. sdeThisLang ∷ !PlutusLedgerLanguage the Plutus ledger language of the script under execution. sdeThisPv ∷ !MajorProtocolVersion the current protocol version

Instances

Instances details

Exception ScriptDecodeError Source #
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods toException ∷ ScriptDecodeError → SomeException Source # fromException ∷ SomeException → Maybe ScriptDecodeError Source # displayException ∷ ScriptDecodeError → String Source #
Show ScriptDecodeError Source #
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods showsPrec ∷ Int → ScriptDecodeError → ShowS Source # show ∷ ScriptDecodeError → String Source # showList ∷ [ScriptDecodeError] → ShowS Source #
Eq ScriptDecodeError Source #
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods (==) ∷ ScriptDecodeError → ScriptDecodeError → Bool Source # (/=) ∷ ScriptDecodeError → ScriptDecodeError → Bool Source #
AsScriptDecodeError ScriptDecodeError Source #
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods _ScriptDecodeError ∷ Prism' ScriptDecodeError ScriptDecodeError Source # _CBORDeserialiseError ∷ Prism' ScriptDecodeError DeserialiseFailureInfo Source # _RemainderError ∷ Prism' ScriptDecodeError ByteString Source # _LedgerLanguageNotAvailableError ∷ Prism' ScriptDecodeError (PlutusLedgerLanguage, MajorProtocolVersion, MajorProtocolVersion) Source # _PlutusCoreLanguageNotAvailableError ∷ Prism' ScriptDecodeError (Version, PlutusLedgerLanguage, MajorProtocolVersion) Source #
Pretty ScriptDecodeError Source #
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods pretty ∷ ScriptDecodeError → Doc ann Source # prettyList ∷ [ScriptDecodeError] → Doc ann Source #