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

PlutusLedgerApi.Data.V2

Description

The interface to Plutus V2 for the ledger.

Synopsis

Scripts

type SerialisedScript = ShortByteString Source #

Scripts to the ledger are serialised bytestrings.

data ScriptForEvaluation Source #

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

Instances

Instances details
Generic ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Associated Types

type Rep ScriptForEvaluation :: Type -> Type Source #

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)

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

showTypeOf :: Proxy ScriptForEvaluation -> String

type Rep ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

type Rep ScriptForEvaluation = D1 ('MetaData "ScriptForEvaluation" "PlutusLedgerApi.Common.SerialisedScript" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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 :: forall a. CompiledCode a -> SerialisedScript Source #

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

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

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

deserialiseScript Source #

Arguments

:: forall m. MonadError ScriptDecodeError m 
=> MajorProtocolVersion

which major protocol version the script was submitted in.

-> SerialisedScript

the script to deserialise.

-> m ScriptForEvaluation 

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

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

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

Running scripts

evaluateScriptRestricting Source #

Arguments

:: MajorProtocolVersion

Which major protocol version to run the operation in

-> VerboseMode

Whether to produce log output

-> EvaluationContext

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

-> ExBudget

The resource budget which must not be exceeded during evaluation

-> ScriptForEvaluation

The script to evaluate

-> [Data]

The arguments to the script

-> (LogOutput, Either EvaluationError ExBudget) 

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

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

evaluateScriptCounting Source #

Arguments

:: MajorProtocolVersion

Which major protocol version to run the operation in

-> VerboseMode

Whether to produce log output

-> EvaluationContext

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

-> ScriptForEvaluation

The script to evaluate

-> [Data]

The arguments to the script

-> (LogOutput, Either EvaluationError ExBudget) 

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

Protocol version

newtype MajorProtocolVersion Source #

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

Constructors

MajorProtocolVersion 

Fields

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

prettyList :: [MajorProtocolVersion] -> Doc ann

Serialise MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Methods

encode :: MajorProtocolVersion -> Encoding

decode :: Decoder s MajorProtocolVersion

encodeList :: [MajorProtocolVersion] -> Encoding

decodeList :: Decoder s [MajorProtocolVersion]

type Rep MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

type Rep MajorProtocolVersion = D1 ('MetaData "MajorProtocolVersion" "PlutusLedgerApi.Common.ProtocolVersions" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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 #

Constructors

ExBudget 

Fields

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)

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

showTypeOf :: Proxy ExBudget -> String

Pretty ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

pretty :: ExBudget -> Doc ann

prettyList :: [ExBudget] -> Doc ann

Serialise ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

encode :: ExBudget -> Encoding

decode :: Decoder s ExBudget

encodeList :: [ExBudget] -> Encoding

decodeList :: Decoder s [ExBudget]

PrettyBy config ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

prettyBy :: config -> ExBudget -> Doc ann

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

Lift ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

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

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

type Rep ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

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

newtype ExCPU #

Constructors

ExCPU CostingInteger 

Instances

Instances details
FromJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON :: Value -> Parser ExCPU

parseJSONList :: Value -> Parser [ExCPU]

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)

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

showTypeOf :: Proxy ExCPU -> String

Pretty ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExCPU -> Doc ann

prettyList :: [ExCPU] -> Doc ann

Serialise ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

encode :: ExCPU -> Encoding

decode :: Decoder s ExCPU

encodeList :: [ExCPU] -> Encoding

decodeList :: Decoder s [ExCPU]

PrettyBy config ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy :: config -> ExCPU -> Doc ann

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

Lift ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

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

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

type Rep ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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

newtype ExMemory #

Constructors

ExMemory CostingInteger 

Instances

Instances details
FromJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON :: Value -> Parser ExMemory

parseJSONList :: Value -> Parser [ExMemory]

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)

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

showTypeOf :: Proxy ExMemory -> String

Pretty ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExMemory -> Doc ann

prettyList :: [ExMemory] -> Doc ann

Serialise ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

encode :: ExMemory -> Encoding

decode :: Decoder s ExMemory

encodeList :: [ExMemory] -> Encoding

decodeList :: Decoder s [ExMemory]

PrettyBy config ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy :: config -> ExMemory -> Doc ann

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

Lift ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

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

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

type Rep ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

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

data SatInt #

Instances

Instances details
FromJSON SatInt 
Instance details

Defined in Data.SatInt

Methods

parseJSON :: Value -> Parser SatInt

parseJSONList :: Value -> Parser [SatInt]

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 
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)

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

showTypeOf :: Proxy SatInt -> String

Prim SatInt 
Instance details

Defined in Data.SatInt

Methods

sizeOfType# :: Proxy SatInt -> Int#

sizeOf# :: SatInt -> Int#

alignmentOfType# :: Proxy SatInt -> Int#

alignment# :: SatInt -> Int#

indexByteArray# :: ByteArray# -> Int# -> SatInt

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, SatInt #)

writeByteArray# :: MutableByteArray# s -> Int# -> SatInt -> State# s -> State# s

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> SatInt -> State# s -> State# s

indexOffAddr# :: Addr# -> Int# -> SatInt

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, SatInt #)

writeOffAddr# :: Addr# -> Int# -> SatInt -> State# s -> State# s

setOffAddr# :: Addr# -> Int# -> Int# -> SatInt -> State# s -> State# s

Serialise SatInt 
Instance details

Defined in Data.SatInt

Methods

encode :: SatInt -> Encoding

decode :: Decoder s SatInt

encodeList :: [SatInt] -> Encoding

decodeList :: Decoder s [SatInt]

Lift SatInt 
Instance details

Defined in Data.SatInt

Methods

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

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

type Rep SatInt 
Instance details

Defined in Data.SatInt

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

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

Cost model

data EvaluationContext Source #

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

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

  1. 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
  2. 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)

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

showTypeOf :: Proxy EvaluationContext -> String

type Rep EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

type Rep EvaluationContext = D1 ('MetaData "EvaluationContext" "PlutusLedgerApi.Common.Eval" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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 
SerialiseData'cpu'arguments'intercept 
SerialiseData'cpu'arguments'slope 
SerialiseData'memory'arguments'intercept 
SerialiseData'memory'arguments'slope 
Sha2_256'cpu'arguments'intercept 
Sha2_256'cpu'arguments'slope 
Sha2_256'memory'arguments 
Sha3_256'cpu'arguments'intercept 
Sha3_256'cpu'arguments'slope 
Sha3_256'memory'arguments 
SliceByteString'cpu'arguments'intercept 
SliceByteString'cpu'arguments'slope 
SliceByteString'memory'arguments'intercept 
SliceByteString'memory'arguments'slope 
SndPair'cpu'arguments 
SndPair'memory'arguments 
SubtractInteger'cpu'arguments'intercept 
SubtractInteger'cpu'arguments'slope 
SubtractInteger'memory'arguments'intercept 
SubtractInteger'memory'arguments'slope 
TailList'cpu'arguments 
TailList'memory'arguments 
Trace'cpu'arguments 
Trace'memory'arguments 
UnBData'cpu'arguments 
UnBData'memory'arguments 
UnConstrData'cpu'arguments 
UnConstrData'memory'arguments 
UnIData'cpu'arguments 
UnIData'memory'arguments 
UnListData'cpu'arguments 
UnListData'memory'arguments 
UnMapData'cpu'arguments 
UnMapData'memory'arguments 
VerifyEcdsaSecp256k1Signature'cpu'arguments 
VerifyEcdsaSecp256k1Signature'memory'arguments 
VerifyEd25519Signature'cpu'arguments'intercept 
VerifyEd25519Signature'cpu'arguments'slope 
VerifyEd25519Signature'memory'arguments 
VerifySchnorrSecp256k1Signature'cpu'arguments'intercept 
VerifySchnorrSecp256k1Signature'cpu'arguments'slope 
VerifySchnorrSecp256k1Signature'memory'arguments 
IntegerToByteString'cpu'arguments'c0 
IntegerToByteString'cpu'arguments'c1 
IntegerToByteString'cpu'arguments'c2 
IntegerToByteString'memory'arguments'intercept 
IntegerToByteString'memory'arguments'slope 
ByteStringToInteger'cpu'arguments'c0 
ByteStringToInteger'cpu'arguments'c1 
ByteStringToInteger'cpu'arguments'c2 
ByteStringToInteger'memory'arguments'intercept 
ByteStringToInteger'memory'arguments'slope 

Instances

Instances details
Bounded ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.ParamName

Methods

minBound :: ParamName Source #

maxBound :: ParamName Source #

Enum ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.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.V2.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.V2.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.V2.ParamName

Methods

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

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

Ord ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.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.V2.ParamName

Methods

showParamName :: ParamName -> Text Source #

readParamName :: Text -> Maybe ParamName Source #

type Rep ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V2.ParamName

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

data CostModelApplyError #

Constructors

CMUnknownParamError !Text 
CMInternalReadError 
CMInternalWriteError !String 

Instances

Instances details
Data CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

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

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

toConstr :: CostModelApplyError -> Constr Source #

dataTypeOf :: CostModelApplyError -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Exception CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

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)

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

showTypeOf :: Proxy CostModelApplyError -> String

Pretty CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Methods

pretty :: CostModelApplyError -> Doc ann

prettyList :: [CostModelApplyError] -> Doc ann

type Rep CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

type Rep CostModelApplyError = D1 ('MetaData "CostModelApplyError" "PlutusCore.Evaluation.Machine.CostModelInterface" "plutus-core-1.36.0.0-7ehJj5tIPqoJIiiivXkX9N" '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 #

assertWellFormedCostModelParams :: MonadError CostModelApplyError m => CostModelParams -> m () Source #

Context types

data ScriptContext Source #

The context that the currently-executing script can access.

Constructors

ScriptContext 

Fields

Instances

Instances details
Generic ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.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.V2.Data.Contexts

Methods

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

show :: ScriptContext -> String Source #

showList :: [ScriptContext] -> ShowS Source #

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptContext #

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

toBuiltinData :: ScriptContext -> BuiltinData #

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptContext #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

pretty :: ScriptContext -> Doc ann

prettyList :: [ScriptContext] -> Doc ann

Lift DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

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

Typeable DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

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

type Rep ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "PlutusLedgerApi.V2.Data.Contexts" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

FromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptPurpose #

ToData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

toBuiltinData :: ScriptPurpose -> BuiltinData #

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptPurpose #

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann

prettyList :: [ScriptPurpose] -> Doc ann

Lift DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

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

Typeable DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

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

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.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

Builtins

data BuiltinByteString #

Instances

Instances details
Data BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

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

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

toConstr :: BuiltinByteString -> Constr Source #

dataTypeOf :: BuiltinByteString -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Monoid BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

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

hash :: BuiltinByteString -> Int

ByteArray BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

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

ByteArrayAccess BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

length :: BuiltinByteString -> Int

withByteArray :: BuiltinByteString -> (Ptr p -> IO a) -> IO a

copyByteArrayToPtr :: BuiltinByteString -> Ptr p -> IO ()

HasBlueprintDefinition BuiltinByteString 
Instance details

Defined in PlutusTx.Blueprint.Definition.Unroll

Associated Types

type Unroll BuiltinByteString :: [Type]

Methods

definitionId :: DefinitionId

HasFromBuiltin BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinByteString

Methods

fromBuiltin :: BuiltinByteString -> FromBuiltin BuiltinByteString #

Eq BuiltinByteString 
Instance details

Defined in PlutusTx.Eq

Methods

(==) :: BuiltinByteString -> BuiltinByteString -> Bool

FromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe BuiltinByteString #

ToData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: BuiltinByteString -> BuiltinData #

UnsafeFromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> BuiltinByteString #

Monoid BuiltinByteString 
Instance details

Defined in PlutusTx.Monoid

Methods

mempty :: BuiltinByteString

Ord BuiltinByteString 
Instance details

Defined in PlutusTx.Ord

Methods

compare :: BuiltinByteString -> BuiltinByteString -> Ordering

(<) :: BuiltinByteString -> BuiltinByteString -> Bool

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

(>) :: BuiltinByteString -> BuiltinByteString -> Bool

(>=) :: BuiltinByteString -> BuiltinByteString -> Bool

max :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString

min :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString

Semigroup BuiltinByteString 
Instance details

Defined in PlutusTx.Semigroup

Methods

(<>) :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString

Pretty BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty :: BuiltinByteString -> Doc ann

prettyList :: [BuiltinByteString] -> Doc ann

Serialise BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

encode :: BuiltinByteString -> Encoding

decode :: Decoder s BuiltinByteString

encodeList :: [BuiltinByteString] -> Encoding

decodeList :: Decoder s [BuiltinByteString]

HasBlueprintSchema BuiltinByteString referencedTypes 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema :: Schema referencedTypes

HasFromOpaque BuiltinByteString BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque :: BuiltinByteString -> BuiltinByteString #

HasToOpaque BuiltinByteString BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque :: BuiltinByteString -> BuiltinByteString #

HasTermLevel uni ByteString => Lift uni BuiltinByteString 
Instance details

Defined in PlutusTx.Lift.Class

Methods

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

HasTypeLevel uni ByteString => Typeable uni BuiltinByteString 
Instance details

Defined in PlutusTx.Lift.Class

Methods

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

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 #

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

toOpaque :: HasToOpaque a arep => a -> arep #

fromOpaque :: HasFromOpaque arep a => arep -> a #

Bytes

newtype LedgerBytes Source #

Constructors

LedgerBytes 

Fields

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]

Methods

definitionId :: DefinitionId

Eq LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

(==) :: LedgerBytes -> LedgerBytes -> Bool

FromData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

fromBuiltinData :: BuiltinData -> Maybe LedgerBytes #

ToData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

toBuiltinData :: LedgerBytes -> BuiltinData #

UnsafeFromData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

unsafeFromBuiltinData :: BuiltinData -> LedgerBytes #

Ord LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

compare :: LedgerBytes -> LedgerBytes -> Ordering

(<) :: LedgerBytes -> LedgerBytes -> Bool

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

(>) :: LedgerBytes -> LedgerBytes -> Bool

(>=) :: LedgerBytes -> LedgerBytes -> Bool

max :: LedgerBytes -> LedgerBytes -> LedgerBytes

min :: LedgerBytes -> LedgerBytes -> LedgerBytes

Pretty LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

pretty :: LedgerBytes -> Doc ann

prettyList :: [LedgerBytes] -> Doc ann

HasBlueprintSchema LedgerBytes referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

schema :: Schema referencedTypes

Lift DefaultUni LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

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

Typeable DefaultUni LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

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

type Rep LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

type Rep LedgerBytes = D1 ('MetaData "LedgerBytes" "PlutusLedgerApi.V1.Bytes" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

DCertPoolRegister

A digest of the PoolParams

Fields

DCertPoolRetire PubKeyHash Integer

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

DCertGenesis

A really terse Digest

DCertMir

Another really terse Digest

Instances

Instances details
Generic DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Associated Types

type Rep DCert :: Type -> Type Source #

Methods

from :: DCert -> Rep DCert x Source #

to :: Rep DCert x -> DCert Source #

Show DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

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]

Methods

definitionId :: DefinitionId

Eq DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

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

FromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

fromBuiltinData :: BuiltinData -> Maybe DCert #

ToData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

toBuiltinData :: DCert -> BuiltinData #

UnsafeFromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

unsafeFromBuiltinData :: BuiltinData -> DCert #

Pretty DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

pretty :: DCert -> Doc ann

prettyList :: [DCert] -> Doc ann

(HasSchemaDefinition StakingCredential referencedTypes, HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition Integer referencedTypes) => HasBlueprintSchema DCert referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

schema :: Schema referencedTypes

Lift DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

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

Typeable DefaultUni DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

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

type Rep DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

type Rep DCert = D1 ('MetaData "DCert" "PlutusLedgerApi.V1.DCert" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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]

Methods

definitionId :: DefinitionId

Eq StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

(==) :: StakingCredential -> StakingCredential -> Bool

FromData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

fromBuiltinData :: BuiltinData -> Maybe StakingCredential #

ToData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

toBuiltinData :: StakingCredential -> BuiltinData #

UnsafeFromData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

unsafeFromBuiltinData :: BuiltinData -> StakingCredential #

Pretty StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

pretty :: StakingCredential -> Doc ann

prettyList :: [StakingCredential] -> Doc ann

(HasSchemaDefinition Credential referencedTypes, HasSchemaDefinition Integer referencedTypes) => HasBlueprintSchema StakingCredential referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

schema :: Schema referencedTypes

Lift DefaultUni StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

Typeable DefaultUni StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

type Rep StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

type Rep StakingCredential = D1 ('MetaData "StakingCredential" "PlutusLedgerApi.V1.Credential" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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]

Methods

definitionId :: DefinitionId

Eq Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

FromData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

fromBuiltinData :: BuiltinData -> Maybe Credential #

ToData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

toBuiltinData :: Credential -> BuiltinData #

UnsafeFromData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

unsafeFromBuiltinData :: BuiltinData -> Credential #

Pretty Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

pretty :: Credential -> Doc ann

prettyList :: [Credential] -> Doc ann

(HasSchemaDefinition PubKeyHash referencedTypes, HasSchemaDefinition ScriptHash referencedTypes) => HasBlueprintSchema Credential referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

schema :: Schema referencedTypes

Lift DefaultUni Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

Typeable DefaultUni Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

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

type Rep Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

type Rep Credential = D1 ('MetaData "Credential" "PlutusLedgerApi.V1.Credential" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

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]

Methods

definitionId :: DefinitionId

Eq Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

FromData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe Value #

ToData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

toBuiltinData :: Value -> BuiltinData #

UnsafeFromData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> Value #

JoinSemiLattice Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

MeetSemiLattice Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

Group Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

inv :: Value -> Value

Monoid Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

mempty :: Value

AdditiveGroup Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

AdditiveMonoid Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

zero :: Value

AdditiveSemigroup Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

Semigroup Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

Pretty Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

pretty :: Value -> Doc ann

prettyList :: [Value] -> Doc ann

HasBlueprintSchema Value referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

schema :: Schema referencedTypes

Lift DefaultUni Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

Module Integer Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

scale :: Integer -> Value -> Value #

Typeable DefaultUni Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

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.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

Instances

Instances details
Data CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

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

toConstr :: CurrencySymbol -> Constr Source #

dataTypeOf :: CurrencySymbol -> DataType Source #

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

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

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

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

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

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

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

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

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

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

IsString CurrencySymbol Source #

from hex encoding

Instance details

Defined in PlutusLedgerApi.V1.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]

Methods

definitionId :: DefinitionId

Eq CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

(==) :: CurrencySymbol -> CurrencySymbol -> Bool

FromData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe CurrencySymbol #

ToData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

toBuiltinData :: CurrencySymbol -> BuiltinData #

UnsafeFromData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> CurrencySymbol #

Ord CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

compare :: CurrencySymbol -> CurrencySymbol -> Ordering

(<) :: CurrencySymbol -> CurrencySymbol -> Bool

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

(>) :: CurrencySymbol -> CurrencySymbol -> Bool

(>=) :: CurrencySymbol -> CurrencySymbol -> Bool

max :: CurrencySymbol -> CurrencySymbol -> CurrencySymbol

min :: CurrencySymbol -> CurrencySymbol -> CurrencySymbol

Pretty CurrencySymbol Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

pretty :: CurrencySymbol -> Doc ann

prettyList :: [CurrencySymbol] -> Doc ann

HasBlueprintSchema CurrencySymbol referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

schema :: Schema referencedTypes

Lift DefaultUni CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

Typeable DefaultUni CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

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.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

Instances

Instances details
Data TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

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

toConstr :: TokenName -> Constr Source #

dataTypeOf :: TokenName -> DataType Source #

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

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

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

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

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

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

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

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

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

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

IsString TokenName Source #

UTF-8 encoding. Doesn't verify length.

Instance details

Defined in PlutusLedgerApi.V1.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]

Methods

definitionId :: DefinitionId

Eq TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

FromData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe TokenName #

ToData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

toBuiltinData :: TokenName -> BuiltinData #

UnsafeFromData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> TokenName #

Ord TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

compare :: TokenName -> TokenName -> Ordering

(<) :: TokenName -> TokenName -> Bool

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

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

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

max :: TokenName -> TokenName -> TokenName

min :: TokenName -> TokenName -> TokenName

Pretty TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

pretty :: TokenName -> Doc ann

prettyList :: [TokenName] -> Doc ann

HasBlueprintSchema TokenName referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

schema :: Schema referencedTypes

Lift DefaultUni TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

Typeable DefaultUni TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

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.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

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]

Methods

definitionId :: DefinitionId

Eq Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

FromData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe Lovelace #

ToData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

toBuiltinData :: Lovelace -> BuiltinData #

UnsafeFromData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> Lovelace #

AdditiveGroup Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

AdditiveMonoid Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

zero :: Lovelace

AdditiveSemigroup Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

Ord Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

compare :: Lovelace -> Lovelace -> Ordering

(<) :: Lovelace -> Lovelace -> Bool

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

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

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

max :: Lovelace -> Lovelace -> Lovelace

min :: Lovelace -> Lovelace -> Lovelace

Show Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

showsPrec :: Integer -> Lovelace -> ShowS

show :: Lovelace -> BuiltinString

Pretty Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

pretty :: Lovelace -> Doc ann

prettyList :: [Lovelace] -> Doc ann

Lift DefaultUni Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

Typeable DefaultUni Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

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

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.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

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]

Methods

definitionId :: DefinitionId

Enum POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

succ :: POSIXTime -> POSIXTime

pred :: POSIXTime -> POSIXTime

toEnum :: Integer -> POSIXTime

fromEnum :: POSIXTime -> Integer

enumFromTo :: POSIXTime -> POSIXTime -> [POSIXTime]

enumFromThenTo :: POSIXTime -> POSIXTime -> POSIXTime -> [POSIXTime]

Eq POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

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

FromData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

fromBuiltinData :: BuiltinData -> Maybe POSIXTime #

ToData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

toBuiltinData :: POSIXTime -> BuiltinData #

UnsafeFromData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

unsafeFromBuiltinData :: BuiltinData -> POSIXTime #

AdditiveGroup POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

(-) :: POSIXTime -> POSIXTime -> POSIXTime

AdditiveMonoid POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

zero :: POSIXTime

AdditiveSemigroup POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

(+) :: POSIXTime -> POSIXTime -> POSIXTime

Ord POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

compare :: POSIXTime -> POSIXTime -> Ordering

(<) :: POSIXTime -> POSIXTime -> Bool

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

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

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

max :: POSIXTime -> POSIXTime -> POSIXTime

min :: POSIXTime -> POSIXTime -> POSIXTime

Pretty POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

pretty :: POSIXTime -> Doc ann

prettyList :: [POSIXTime] -> Doc ann

HasBlueprintSchema POSIXTime referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

schema :: Schema referencedTypes

Lift DefaultUni POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

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

Typeable DefaultUni POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

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

type Rep POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

type Rep POSIXTime = D1 ('MetaData "POSIXTime" "PlutusLedgerApi.V1.Time" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

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]

Methods

definitionId :: DefinitionId

Eq Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

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

FromData Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

fromBuiltinData :: BuiltinData -> Maybe Address #

ToData Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

toBuiltinData :: Address -> BuiltinData #

UnsafeFromData Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

unsafeFromBuiltinData :: BuiltinData -> Address #

Pretty Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

pretty :: Address -> Doc ann

prettyList :: [Address] -> Doc ann

(HasSchemaDefinition Credential referencedTypes, HasSchemaDefinition (Maybe StakingCredential) referencedTypes) => HasBlueprintSchema Address referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

schema :: Schema referencedTypes

Lift DefaultUni Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

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

Typeable DefaultUni Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

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

type Rep Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

type Rep Address = D1 ('MetaData "Address" "PlutusLedgerApi.V1.Address" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

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]

Methods

definitionId :: DefinitionId

Eq PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

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

FromData PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

fromBuiltinData :: BuiltinData -> Maybe PubKeyHash #

ToData PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

toBuiltinData :: PubKeyHash -> BuiltinData #

UnsafeFromData PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

unsafeFromBuiltinData :: BuiltinData -> PubKeyHash #

Ord PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

compare :: PubKeyHash -> PubKeyHash -> Ordering

(<) :: PubKeyHash -> PubKeyHash -> Bool

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

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

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

max :: PubKeyHash -> PubKeyHash -> PubKeyHash

min :: PubKeyHash -> PubKeyHash -> PubKeyHash

Show PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

showsPrec :: Integer -> PubKeyHash -> ShowS

show :: PubKeyHash -> BuiltinString

Pretty PubKeyHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

pretty :: PubKeyHash -> Doc ann

prettyList :: [PubKeyHash] -> Doc ann

HasBlueprintSchema PubKeyHash referenedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

schema :: Schema referenedTypes

Lift DefaultUni PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

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

Typeable DefaultUni PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

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

type Rep PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

type Rep PubKeyHash = D1 ('MetaData "PubKeyHash" "PlutusLedgerApi.V1.Crypto" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

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

FromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxId #

ToData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

toBuiltinData :: TxId -> BuiltinData #

UnsafeFromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxId #

Ord TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

compare :: TxId -> TxId -> Ordering

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

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

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

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

max :: TxId -> TxId -> TxId

min :: TxId -> TxId -> TxId

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

pretty :: TxId -> Doc ann

prettyList :: [TxId] -> Doc ann

Lift DefaultUni TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

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

Typeable DefaultUni TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

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

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.36.0.0-5YP34Z4WNIC2QzLmhyGjha" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

data TxInfo Source #

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

Constructors

TxInfo 

Fields

Instances

Instances details
Generic TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.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.V2.Data.Contexts

Methods

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

show :: TxInfo -> String Source #

showList :: [TxInfo] -> ShowS Source #

FromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInfo #

ToData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

toBuiltinData :: TxInfo -> BuiltinData #

UnsafeFromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInfo #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

pretty :: TxInfo -> Doc ann

prettyList :: [TxInfo] -> Doc ann

Lift DefaultUni TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

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

Typeable DefaultUni TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

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

type Rep TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

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

data TxOut Source #

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

Constructors

TxOut 

Fields

Instances

Instances details
Generic TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.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.V2.Data.Tx

Methods

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

show :: TxOut -> String Source #

showList :: [TxOut] -> ShowS Source #

Eq TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

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

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

Eq TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

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

FromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOut #

ToData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

toBuiltinData :: TxOut -> BuiltinData #

UnsafeFromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOut #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

pretty :: TxOut -> Doc ann

prettyList :: [TxOut] -> Doc ann

Lift DefaultUni TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

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

Typeable DefaultUni TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

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

type Rep TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

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

data TxOutRef Source #

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

Constructors

TxOutRef 

Fields

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

FromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOutRef #

ToData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

toBuiltinData :: TxOutRef -> BuiltinData #

UnsafeFromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOutRef #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

pretty :: TxOutRef -> Doc ann

prettyList :: [TxOutRef] -> Doc ann

Lift DefaultUni TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

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

Typeable DefaultUni TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

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

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.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

Instances

Instances details
Generic TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.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.V2.Data.Contexts

Methods

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

show :: TxInInfo -> String Source #

showList :: [TxInInfo] -> ShowS Source #

Eq TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

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

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

Eq TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

(==) :: TxInInfo -> TxInInfo -> Bool

FromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInInfo #

ToData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

toBuiltinData :: TxInInfo -> BuiltinData #

UnsafeFromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInInfo #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

pretty :: TxInInfo -> Doc ann

prettyList :: [TxInInfo] -> Doc ann

Lift DefaultUni TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

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

Typeable DefaultUni TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

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

type Rep TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

type Rep TxInInfo = D1 ('MetaData "TxInInfo" "PlutusLedgerApi.V2.Data.Contexts" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" 'False) (C1 ('MetaCons "TxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "txInInfoOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef) :*: S1 ('MetaSel ('Just "txInInfoResolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOut)))

data OutputDatum Source #

The datum attached to an output: either nothing; a datum hash; or the datum itself (an "inline datum").

Constructors

NoOutputDatum 
OutputDatumHash DatumHash 
OutputDatum Datum 

Instances

Instances details
Generic OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Associated Types

type Rep OutputDatum :: Type -> Type Source #

Methods

from :: OutputDatum -> Rep OutputDatum x Source #

to :: Rep OutputDatum x -> OutputDatum Source #

Show OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

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

show :: OutputDatum -> String Source #

showList :: [OutputDatum] -> ShowS Source #

NFData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

rnf :: OutputDatum -> () Source #

Eq OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

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

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

Eq OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

(==) :: OutputDatum -> OutputDatum -> Bool

FromData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe OutputDatum #

ToData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

toBuiltinData :: OutputDatum -> BuiltinData #

UnsafeFromData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> OutputDatum #

Pretty OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

pretty :: OutputDatum -> Doc ann

prettyList :: [OutputDatum] -> Doc ann

Lift DefaultUni OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

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

Typeable DefaultUni OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

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

type Rep OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

type Rep OutputDatum = D1 ('MetaData "OutputDatum" "PlutusLedgerApi.V2.Data.Tx" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" 'False) (C1 ('MetaCons "NoOutputDatum" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OutputDatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DatumHash)) :+: C1 ('MetaCons "OutputDatum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Datum))))

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

Instances

Instances details
Functor Interval Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

fmap :: (a -> b) -> Interval a -> Interval b

(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 ())

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]

Methods

definitionId :: DefinitionId

(Enum a, Ord a) => Eq (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

(==) :: Interval a -> Interval a -> Bool

FromData a => FromData (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

fromBuiltinData :: BuiltinData -> Maybe (Interval a) #

ToData a => ToData (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

toBuiltinData :: Interval a -> BuiltinData #

UnsafeFromData a => UnsafeFromData (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

unsafeFromBuiltinData :: BuiltinData -> Interval a #

(Enum a, Ord a) => BoundedJoinSemiLattice (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

bottom :: Interval a

(Enum a, Ord a) => BoundedMeetSemiLattice (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

top :: Interval a

(Enum a, Ord a) => JoinSemiLattice (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

(\/) :: Interval a -> Interval a -> Interval a

(Enum a, Ord a) => MeetSemiLattice (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

(/\) :: Interval a -> Interval a -> Interval a

Pretty a => Pretty (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

pretty :: Interval a -> Doc ann

prettyList :: [Interval a] -> Doc ann

(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

Typeable DefaultUni Interval Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

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

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.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

(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 ())

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]

Methods

definitionId :: DefinitionId

Eq a => Eq (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

(==) :: Extended a -> Extended a -> Bool

FromData a => FromData (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

fromBuiltinData :: BuiltinData -> Maybe (Extended a) #

ToData a => ToData (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

toBuiltinData :: Extended a -> BuiltinData #

UnsafeFromData a => UnsafeFromData (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

unsafeFromBuiltinData :: BuiltinData -> Extended a #

Ord a => Ord (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

compare :: Extended a -> Extended a -> Ordering

(<) :: Extended a -> Extended a -> Bool

(<=) :: Extended a -> Extended a -> Bool

(>) :: Extended a -> Extended a -> Bool

(>=) :: Extended a -> Extended a -> Bool

max :: Extended a -> Extended a -> Extended a

min :: Extended a -> Extended a -> Extended a

Pretty a => Pretty (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

pretty :: Extended a -> Doc ann

prettyList :: [Extended a] -> Doc ann

(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes) => HasBlueprintSchema (Extended a) referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

schema :: Schema referencedTypes

Typeable DefaultUni Extended Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

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

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.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

(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 ())

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]

Methods

definitionId :: DefinitionId

(Enum a, Eq a) => Eq (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

(==) :: UpperBound a -> UpperBound a -> Bool

FromData a => FromData (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

fromBuiltinData :: BuiltinData -> Maybe (UpperBound a) #

ToData a => ToData (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

toBuiltinData :: UpperBound a -> BuiltinData #

UnsafeFromData a => UnsafeFromData (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

unsafeFromBuiltinData :: BuiltinData -> UpperBound a #

(Enum a, Ord a) => Ord (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

compare :: UpperBound a -> UpperBound a -> Ordering

(<) :: UpperBound a -> UpperBound a -> Bool

(<=) :: UpperBound a -> UpperBound a -> Bool

(>) :: UpperBound a -> UpperBound a -> Bool

(>=) :: UpperBound a -> UpperBound a -> Bool

max :: UpperBound a -> UpperBound a -> UpperBound a

min :: UpperBound a -> UpperBound a -> UpperBound a

Pretty a => Pretty (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

pretty :: UpperBound a -> Doc ann

prettyList :: [UpperBound a] -> Doc ann

(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

Typeable DefaultUni UpperBound Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

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

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.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

(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 ())

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]

Methods

definitionId :: DefinitionId

(Enum a, Eq a) => Eq (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

(==) :: LowerBound a -> LowerBound a -> Bool

FromData a => FromData (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

fromBuiltinData :: BuiltinData -> Maybe (LowerBound a) #

ToData a => ToData (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

toBuiltinData :: LowerBound a -> BuiltinData #

UnsafeFromData a => UnsafeFromData (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

unsafeFromBuiltinData :: BuiltinData -> LowerBound a #

(Enum a, Ord a) => Ord (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

compare :: LowerBound a -> LowerBound a -> Ordering

(<) :: LowerBound a -> LowerBound a -> Bool

(<=) :: LowerBound a -> LowerBound a -> Bool

(>) :: LowerBound a -> LowerBound a -> Bool

(>=) :: LowerBound a -> LowerBound a -> Bool

max :: LowerBound a -> LowerBound a -> LowerBound a

min :: LowerBound a -> LowerBound a -> LowerBound a

Pretty a => Pretty (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

pretty :: LowerBound a -> Doc ann

prettyList :: [LowerBound a] -> Doc ann

(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

Typeable DefaultUni LowerBound Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

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

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.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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.

Association maps

data Map k a #

Instances

Instances details
Lift DefaultUni (Map k a) 
Instance details

Defined in PlutusTx.Data.AssocMap

Methods

lift :: Map k a -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Show (Map k a) 
Instance details

Defined in PlutusTx.Data.AssocMap

Methods

showsPrec :: Int -> Map k a -> ShowS Source #

show :: Map k a -> String Source #

showList :: [Map k a] -> ShowS Source #

FromData (Map k a) 
Instance details

Defined in PlutusTx.Data.AssocMap

Methods

fromBuiltinData :: BuiltinData -> Maybe (Map k a) #

ToData (Map k a) 
Instance details

Defined in PlutusTx.Data.AssocMap

Methods

toBuiltinData :: Map k a -> BuiltinData #

UnsafeFromData (Map k a) 
Instance details

Defined in PlutusTx.Data.AssocMap

Methods

unsafeFromBuiltinData :: BuiltinData -> Map k a #

(Pretty k, Pretty a, UnsafeFromData k, UnsafeFromData a) => Pretty (Map k a) 
Instance details

Defined in PlutusTx.Data.AssocMap

Methods

pretty :: Map k a -> Doc ann

prettyList :: [Map k a] -> Doc ann

Typeable DefaultUni Map 
Instance details

Defined in PlutusTx.Data.AssocMap

Methods

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

unsafeFromList :: (ToData k, ToData a) => [(k, a)] -> Map k a #

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

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]

Methods

definitionId :: DefinitionId

Eq ScriptHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

(==) :: ScriptHash -> ScriptHash -> Bool

FromData ScriptHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptHash #

ToData ScriptHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: ScriptHash -> BuiltinData #

UnsafeFromData ScriptHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptHash #

Ord ScriptHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

compare :: ScriptHash -> ScriptHash -> Ordering

(<) :: ScriptHash -> ScriptHash -> Bool

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

(>) :: ScriptHash -> ScriptHash -> Bool

(>=) :: ScriptHash -> ScriptHash -> Bool

max :: ScriptHash -> ScriptHash -> ScriptHash

min :: ScriptHash -> ScriptHash -> ScriptHash

Pretty ScriptHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: ScriptHash -> Doc ann

prettyList :: [ScriptHash] -> Doc ann

HasBlueprintSchema ScriptHash referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

schema :: Schema referencedTypes

Lift DefaultUni ScriptHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

Typeable DefaultUni ScriptHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

type Rep ScriptHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

type Rep ScriptHash = D1 ('MetaData "ScriptHash" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

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]

Methods

definitionId :: DefinitionId

Eq Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

(==) :: Redeemer -> Redeemer -> Bool

FromData Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe Redeemer #

ToData Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: Redeemer -> BuiltinData #

UnsafeFromData Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> Redeemer #

Pretty Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: Redeemer -> Doc ann

prettyList :: [Redeemer] -> Doc ann

Serialise Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

encode :: Redeemer -> Encoding

decode :: Decoder s Redeemer

encodeList :: [Redeemer] -> Encoding

decodeList :: Decoder s [Redeemer]

HasBlueprintSchema Redeemer referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

schema :: Schema referencedTypes

Lift DefaultUni Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

Typeable DefaultUni Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

type Rep Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

type Rep Redeemer = D1 ('MetaData "Redeemer" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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]

Methods

definitionId :: DefinitionId

Eq RedeemerHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

(==) :: RedeemerHash -> RedeemerHash -> Bool

FromData RedeemerHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe RedeemerHash #

ToData RedeemerHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: RedeemerHash -> BuiltinData #

UnsafeFromData RedeemerHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> RedeemerHash #

Ord RedeemerHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

compare :: RedeemerHash -> RedeemerHash -> Ordering

(<) :: RedeemerHash -> RedeemerHash -> Bool

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

(>) :: RedeemerHash -> RedeemerHash -> Bool

(>=) :: RedeemerHash -> RedeemerHash -> Bool

max :: RedeemerHash -> RedeemerHash -> RedeemerHash

min :: RedeemerHash -> RedeemerHash -> RedeemerHash

Pretty RedeemerHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: RedeemerHash -> Doc ann

prettyList :: [RedeemerHash] -> Doc ann

HasBlueprintSchema RedeemerHash referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

schema :: Schema referencedTypes

Lift DefaultUni RedeemerHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

Typeable DefaultUni RedeemerHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

type Rep RedeemerHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

type Rep RedeemerHash = D1 ('MetaData "RedeemerHash" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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

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]

Methods

definitionId :: DefinitionId

Eq Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

(==) :: Datum -> Datum -> Bool

FromData Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe Datum #

ToData Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: Datum -> BuiltinData #

UnsafeFromData Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> Datum #

Pretty Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: Datum -> Doc ann

prettyList :: [Datum] -> Doc ann

Serialise Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

encode :: Datum -> Encoding

decode :: Decoder s Datum

encodeList :: [Datum] -> Encoding

decodeList :: Decoder s [Datum]

HasBlueprintSchema Datum referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

schema :: Schema referencedTypes

Lift DefaultUni Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

Typeable DefaultUni Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

type Rep Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

type Rep Datum = D1 ('MetaData "Datum" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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]

Methods

definitionId :: DefinitionId

Eq DatumHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

(==) :: DatumHash -> DatumHash -> Bool

FromData DatumHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe DatumHash #

ToData DatumHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: DatumHash -> BuiltinData #

UnsafeFromData DatumHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> DatumHash #

Ord DatumHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

compare :: DatumHash -> DatumHash -> Ordering

(<) :: DatumHash -> DatumHash -> Bool

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

(>) :: DatumHash -> DatumHash -> Bool

(>=) :: DatumHash -> DatumHash -> Bool

max :: DatumHash -> DatumHash -> DatumHash

min :: DatumHash -> DatumHash -> DatumHash

Pretty DatumHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: DatumHash -> Doc ann

prettyList :: [DatumHash] -> Doc ann

HasBlueprintSchema DatumHash referencedTypes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

schema :: Schema referencedTypes

Lift DefaultUni DatumHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

Typeable DefaultUni DatumHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

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

type Rep DatumHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

type Rep DatumHash = D1 ('MetaData "DatumHash" "PlutusLedgerApi.V1.Scripts" "plutus-ledger-api-1.36.0.0-5YP34Z4WNIC2QzLmhyGjha" '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 #

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 :: (forall d b. Data0 d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Data -> c Data Source #

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

toConstr :: Data -> Constr Source #

dataTypeOf :: Data -> DataType Source #

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

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

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

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

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

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

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

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

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

gmapMo :: MonadPlus m => (forall 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

hash :: Data -> Int

NoThunks Data 
Instance details

Defined in PlutusCore.Data

Methods

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

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

showTypeOf :: Proxy Data -> String

HasToBuiltin Data 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Data

Methods

toBuiltin :: Data -> ToBuiltin Data #

Pretty Data 
Instance details

Defined in PlutusCore.Data

Methods

pretty :: Data -> Doc ann

prettyList :: [Data] -> Doc ann

Serialise Data 
Instance details

Defined in PlutusCore.Data

Methods

encode :: Data -> Encoding

decode :: Decoder s Data

encodeList :: [Data] -> Encoding

decodeList :: Decoder s [Data]

PrettyBy ConstConfig Data 
Instance details

Defined in PlutusCore.Pretty.PrettyConst

Methods

prettyBy :: ConstConfig -> Data -> Doc ann

prettyListBy :: ConstConfig -> [Data] -> Doc ann

KnownBuiltinTypeIn DefaultUni term Data => MakeKnownIn DefaultUni term Data 
Instance details

Defined in PlutusCore.Default.Universe

Methods

makeKnown :: Data -> BuiltinResult term

KnownBuiltinTypeIn DefaultUni term Data => ReadKnownIn DefaultUni term Data 
Instance details

Defined in PlutusCore.Default.Universe

Methods

readKnown :: term -> ReadKnownM Data

Contains DefaultUni Data 
Instance details

Defined in PlutusCore.Default.Universe

Methods

knownUni :: DefaultUni (Esc Data)

KnownBuiltinTypeAst tyname DefaultUni Data => KnownTypeAst tyname DefaultUni Data 
Instance details

Defined in PlutusCore.Default.Universe

Associated Types

type IsBuiltin DefaultUni Data :: Bool

type ToHoles DefaultUni Data :: [Hole]

type ToBinds DefaultUni acc Data :: [Some TyNameRep]

Methods

typeAst :: Type tyname DefaultUni ()

type Rep Data 
Instance details

Defined in PlutusCore.Data

type Rep Data = D1 ('MetaData "Data" "PlutusCore.Data" "plutus-core-1.36.0.0-7ehJj5tIPqoJIiiivXkX9N" '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 #

Constructors

BuiltinData ~Data 

Instances

Instances details
Data BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

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

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

toConstr :: BuiltinData -> Constr Source #

dataTypeOf :: BuiltinData -> DataType Source #

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

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

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

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

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

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

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

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

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

gmapMo :: MonadPlus m => (forall 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]

Methods

definitionId :: DefinitionId

HasFromBuiltin BuiltinData 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinData

Methods

fromBuiltin :: BuiltinData -> FromBuiltin BuiltinData #

MkNil BuiltinData 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

mkNil :: BuiltinList BuiltinData

Eq BuiltinData 
Instance details

Defined in PlutusTx.Eq

Methods

(==) :: BuiltinData -> BuiltinData -> Bool

FromData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe BuiltinData #

ToData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: BuiltinData -> BuiltinData #

UnsafeFromData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> BuiltinData #

Pretty BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty :: BuiltinData -> Doc ann

prettyList :: [BuiltinData] -> Doc ann

HasBlueprintSchema BuiltinData referencedTypes 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema :: Schema referencedTypes

HasFromOpaque BuiltinData BuiltinData 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque :: BuiltinData -> BuiltinData #

HasToOpaque BuiltinData BuiltinData 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque :: BuiltinData -> BuiltinData #

HasTermLevel uni Data => Lift uni BuiltinData 
Instance details

Defined in PlutusTx.Lift.Class

Methods

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

HasTypeLevel uni Data => Typeable uni BuiltinData 
Instance details

Defined in PlutusTx.Lift.Class

Methods

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

MkNil (BuiltinPair BuiltinData BuiltinData) 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

mkNil :: BuiltinList (BuiltinPair BuiltinData BuiltinData)

HasToOpaque (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData) 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque :: (BuiltinData, BuiltinData) -> BuiltinPair BuiltinData BuiltinData #

type Rep BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Internal

type Rep BuiltinData = D1 ('MetaData "BuiltinData" "PlutusTx.Builtins.Internal" "plutus-tx-1.36.0.0-8y1X6QaF1WM5mIhDTsyzym" '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 #

Methods

toBuiltinData :: a -> BuiltinData #

Instances

Instances details
ToData Void 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: Void -> BuiltinData #

ToData Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

toBuiltinData :: Address -> BuiltinData #

ToData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

toBuiltinData :: LedgerBytes -> BuiltinData #

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

toBuiltinData :: ScriptContext -> BuiltinData #

ToData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

toBuiltinData :: ScriptPurpose -> BuiltinData #

ToData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

toBuiltinData :: TxInInfo -> BuiltinData #

ToData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

toBuiltinData :: TxInfo -> BuiltinData #

ToData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

toBuiltinData :: Credential -> BuiltinData #

ToData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

toBuiltinData :: StakingCredential -> BuiltinData #

ToData PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

toBuiltinData :: PubKeyHash -> BuiltinData #

ToData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

toBuiltinData :: DCert -> BuiltinData #

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

toBuiltinData :: ScriptContext -> BuiltinData #

ToData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

toBuiltinData :: ScriptPurpose -> BuiltinData #

ToData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

toBuiltinData :: TxInInfo -> BuiltinData #

ToData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

toBuiltinData :: TxInfo -> BuiltinData #

ToData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

toBuiltinData :: TxId -> BuiltinData #

ToData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

toBuiltinData :: TxOut -> BuiltinData #

ToData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

toBuiltinData :: TxOutRef -> BuiltinData #

ToData AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

toBuiltinData :: AssetClass -> BuiltinData #

ToData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

toBuiltinData :: CurrencySymbol -> BuiltinData #

ToData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

toBuiltinData :: Lovelace -> BuiltinData #

ToData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

toBuiltinData :: TokenName -> BuiltinData #

ToData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

toBuiltinData :: Value -> BuiltinData #

ToData Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: Datum -> BuiltinData #

ToData DatumHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: DatumHash -> BuiltinData #

ToData Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: Redeemer -> BuiltinData #

ToData RedeemerHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: RedeemerHash -> BuiltinData #

ToData ScriptHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

toBuiltinData :: ScriptHash -> BuiltinData #

ToData DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

toBuiltinData :: DiffMilliSeconds -> BuiltinData #

ToData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

toBuiltinData :: POSIXTime -> BuiltinData #

ToData RedeemerPtr Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

toBuiltinData :: RedeemerPtr -> BuiltinData #

ToData ScriptTag Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

toBuiltinData :: ScriptTag -> BuiltinData #

ToData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

toBuiltinData :: TxId -> BuiltinData #

ToData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

toBuiltinData :: TxOut -> BuiltinData #

ToData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

toBuiltinData :: TxOutRef -> BuiltinData #

ToData AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

toBuiltinData :: AssetClass -> BuiltinData #

ToData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

toBuiltinData :: CurrencySymbol -> BuiltinData #

ToData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

toBuiltinData :: Lovelace -> BuiltinData #

ToData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

toBuiltinData :: TokenName -> BuiltinData #

ToData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

toBuiltinData :: Value -> BuiltinData #

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

toBuiltinData :: ScriptContext -> BuiltinData #

ToData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

toBuiltinData :: TxInInfo -> BuiltinData #

ToData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

toBuiltinData :: TxInfo -> BuiltinData #

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

toBuiltinData :: ScriptContext -> BuiltinData #

ToData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

toBuiltinData :: TxInInfo -> BuiltinData #

ToData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

toBuiltinData :: TxInfo -> BuiltinData #

ToData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

toBuiltinData :: OutputDatum -> BuiltinData #

ToData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

toBuiltinData :: TxOut -> BuiltinData #

ToData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

toBuiltinData :: OutputDatum -> BuiltinData #

ToData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

toBuiltinData :: TxOut -> BuiltinData #

ToData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ChangedParameters -> BuiltinData #

ToData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ColdCommitteeCredential -> BuiltinData #

ToData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: Committee -> BuiltinData #

ToData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: Constitution -> BuiltinData #

ToData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: DRep -> BuiltinData #

ToData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: DRepCredential -> BuiltinData #

ToData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: Delegatee -> BuiltinData #

ToData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: GovernanceAction -> BuiltinData #

ToData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: GovernanceActionId -> BuiltinData #

ToData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: HotCommitteeCredential -> BuiltinData #

ToData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ProposalProcedure -> BuiltinData #

ToData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ProtocolVersion -> BuiltinData #

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ScriptContext -> BuiltinData #

ToData ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ScriptInfo -> BuiltinData #

ToData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: ScriptPurpose -> BuiltinData #

ToData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: TxCert -> BuiltinData #

ToData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: TxInInfo -> BuiltinData #

ToData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: TxInfo -> BuiltinData #

ToData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: Vote -> BuiltinData #

ToData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

toBuiltinData :: Voter -> BuiltinData #

ToData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ChangedParameters -> BuiltinData #

ToData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ColdCommitteeCredential -> BuiltinData #

ToData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: Committee -> BuiltinData #

ToData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: Constitution -> BuiltinData #

ToData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: DRep -> BuiltinData #

ToData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: DRepCredential -> BuiltinData #

ToData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: Delegatee -> BuiltinData #

ToData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: GovernanceAction -> BuiltinData #

ToData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: GovernanceActionId -> BuiltinData #

ToData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: HotCommitteeCredential -> BuiltinData #

ToData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ProposalProcedure -> BuiltinData #

ToData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ProtocolVersion -> BuiltinData #

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ScriptContext -> BuiltinData #

ToData ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ScriptInfo -> BuiltinData #

ToData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: ScriptPurpose -> BuiltinData #

ToData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: TxCert -> BuiltinData #

ToData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: TxInInfo -> BuiltinData #

ToData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: TxInfo -> BuiltinData #

ToData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: Vote -> BuiltinData #

ToData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

toBuiltinData :: Voter -> BuiltinData #

ToData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

toBuiltinData :: TxId -> BuiltinData #

ToData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

toBuiltinData :: TxOutRef -> BuiltinData #

ToData BuiltinBLS12_381_G1_Element 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: BuiltinBLS12_381_G1_Element -> BuiltinData #

ToData BuiltinBLS12_381_G2_Element 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: BuiltinBLS12_381_G2_Element -> BuiltinData #

(TypeError ('Text "toBuiltinData is not supported for BuiltinBLS12_381_MlResult") :: Constraint) => ToData BuiltinBLS12_381_MlResult 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: BuiltinBLS12_381_MlResult -> BuiltinData #

ToData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: BuiltinByteString -> BuiltinData #

ToData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: BuiltinData -> BuiltinData #

ToData Rational 
Instance details

Defined in PlutusTx.Ratio

Methods

toBuiltinData :: Rational -> BuiltinData #

ToData Integer 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: Integer -> BuiltinData #

(TypeError ('Text "Int is not supported, use Integer instead") :: Constraint) => ToData Int 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: Int -> BuiltinData #

ToData a => ToData (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

toBuiltinData :: Extended a -> BuiltinData #

ToData a => ToData (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

toBuiltinData :: Interval a -> BuiltinData #

ToData a => ToData (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

toBuiltinData :: LowerBound a -> BuiltinData #

ToData a => ToData (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

toBuiltinData :: UpperBound a -> BuiltinData #

ToData a => ToData [a] 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData :: [a] -> BuiltinData #

(ToData k, ToData v) => ToData (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

toBuiltinData :: Map k v -> BuiltinData #

ToData (Map k a) 
Instance details

Defined in PlutusTx.Data.AssocMap

Methods

toBuiltinData :: Map k a -> BuiltinData #

class FromData a where #

Methods

fromBuiltinData :: BuiltinData -> Maybe a #

Instances

Instances details
FromData Void 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe Void #

FromData Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

fromBuiltinData :: BuiltinData -> Maybe Address #

FromData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

fromBuiltinData :: BuiltinData -> Maybe LedgerBytes #

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptContext #

FromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptPurpose #

FromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInInfo #

FromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInfo #

FromData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

fromBuiltinData :: BuiltinData -> Maybe Credential #

FromData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

fromBuiltinData :: BuiltinData -> Maybe StakingCredential #

FromData PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

fromBuiltinData :: BuiltinData -> Maybe PubKeyHash #

FromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

fromBuiltinData :: BuiltinData -> Maybe DCert #

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptContext #

FromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptPurpose #

FromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInInfo #

FromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInfo #

FromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxId #

FromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOut #

FromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOutRef #

FromData AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe AssetClass #

FromData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe CurrencySymbol #

FromData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe Lovelace #

FromData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe TokenName #

FromData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe Value #

FromData Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe Datum #

FromData DatumHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe DatumHash #

FromData Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe Redeemer #

FromData RedeemerHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe RedeemerHash #

FromData ScriptHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptHash #

FromData DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

fromBuiltinData :: BuiltinData -> Maybe DiffMilliSeconds #

FromData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

fromBuiltinData :: BuiltinData -> Maybe POSIXTime #

FromData RedeemerPtr Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe RedeemerPtr #

FromData ScriptTag Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptTag #

FromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxId #

FromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOut #

FromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOutRef #

FromData AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe AssetClass #

FromData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe CurrencySymbol #

FromData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe Lovelace #

FromData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe TokenName #

FromData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

fromBuiltinData :: BuiltinData -> Maybe Value #

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptContext #

FromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInInfo #

FromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInfo #

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptContext #

FromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInInfo #

FromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInfo #

FromData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe OutputDatum #

FromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOut #

FromData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe OutputDatum #

FromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOut #

FromData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ChangedParameters #

FromData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ColdCommitteeCredential #

FromData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Committee #

FromData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Constitution #

FromData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe DRep #

FromData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe DRepCredential #

FromData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Delegatee #

FromData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe GovernanceAction #

FromData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe GovernanceActionId #

FromData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe HotCommitteeCredential #

FromData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ProposalProcedure #

FromData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ProtocolVersion #

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptContext #

FromData ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptInfo #

FromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptPurpose #

FromData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxCert #

FromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInInfo #

FromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInfo #

FromData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Vote #

FromData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Voter #

FromData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ChangedParameters #

FromData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ColdCommitteeCredential #

FromData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Committee #

FromData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Constitution #

FromData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe DRep #

FromData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe DRepCredential #

FromData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Delegatee #

FromData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe GovernanceAction #

FromData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe GovernanceActionId #

FromData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe HotCommitteeCredential #

FromData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ProposalProcedure #

FromData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ProtocolVersion #

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptContext #

FromData ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptInfo #

FromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe ScriptPurpose #

FromData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxCert #

FromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInInfo #

FromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe TxInfo #

FromData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Vote #

FromData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

fromBuiltinData :: BuiltinData -> Maybe Voter #

FromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxId #

FromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

fromBuiltinData :: BuiltinData -> Maybe TxOutRef #

FromData BuiltinBLS12_381_G1_Element 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe BuiltinBLS12_381_G1_Element #

FromData BuiltinBLS12_381_G2_Element 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe BuiltinBLS12_381_G2_Element #

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

FromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe BuiltinByteString #

FromData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe BuiltinData #

FromData Rational 
Instance details

Defined in PlutusTx.Ratio

Methods

fromBuiltinData :: BuiltinData -> Maybe Rational #

FromData Integer 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe Integer #

(TypeError ('Text "Int is not supported, use Integer instead") :: Constraint) => FromData Int 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe Int #

FromData a => FromData (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

fromBuiltinData :: BuiltinData -> Maybe (Extended a) #

FromData a => FromData (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

fromBuiltinData :: BuiltinData -> Maybe (Interval a) #

FromData a => FromData (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

fromBuiltinData :: BuiltinData -> Maybe (LowerBound a) #

FromData a => FromData (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

fromBuiltinData :: BuiltinData -> Maybe (UpperBound a) #

FromData a => FromData [a] 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData :: BuiltinData -> Maybe [a] #

(FromData k, FromData v) => FromData (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

fromBuiltinData :: BuiltinData -> Maybe (Map k v) #

FromData (Map k a) 
Instance details

Defined in PlutusTx.Data.AssocMap

Methods

fromBuiltinData :: BuiltinData -> Maybe (Map k a) #

class UnsafeFromData a where #

Methods

unsafeFromBuiltinData :: BuiltinData -> a #

Instances

Instances details
UnsafeFromData Void 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> Void #

UnsafeFromData Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

unsafeFromBuiltinData :: BuiltinData -> Address #

UnsafeFromData LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

unsafeFromBuiltinData :: BuiltinData -> LedgerBytes #

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptContext #

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptPurpose #

UnsafeFromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInInfo #

UnsafeFromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInfo #

UnsafeFromData Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

unsafeFromBuiltinData :: BuiltinData -> Credential #

UnsafeFromData StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

unsafeFromBuiltinData :: BuiltinData -> StakingCredential #

UnsafeFromData PubKeyHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

unsafeFromBuiltinData :: BuiltinData -> PubKeyHash #

UnsafeFromData DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

unsafeFromBuiltinData :: BuiltinData -> DCert #

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptContext #

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptPurpose #

UnsafeFromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInInfo #

UnsafeFromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInfo #

UnsafeFromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxId #

UnsafeFromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOut #

UnsafeFromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOutRef #

UnsafeFromData AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> AssetClass #

UnsafeFromData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> CurrencySymbol #

UnsafeFromData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> Lovelace #

UnsafeFromData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> TokenName #

UnsafeFromData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> Value #

UnsafeFromData Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> Datum #

UnsafeFromData DatumHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> DatumHash #

UnsafeFromData Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> Redeemer #

UnsafeFromData RedeemerHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> RedeemerHash #

UnsafeFromData ScriptHash Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptHash #

UnsafeFromData DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

unsafeFromBuiltinData :: BuiltinData -> DiffMilliSeconds #

UnsafeFromData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

unsafeFromBuiltinData :: BuiltinData -> POSIXTime #

UnsafeFromData RedeemerPtr Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> RedeemerPtr #

UnsafeFromData ScriptTag Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptTag #

UnsafeFromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxId #

UnsafeFromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOut #

UnsafeFromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOutRef #

UnsafeFromData AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> AssetClass #

UnsafeFromData CurrencySymbol Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> CurrencySymbol #

UnsafeFromData Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> Lovelace #

UnsafeFromData TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> TokenName #

UnsafeFromData Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

unsafeFromBuiltinData :: BuiltinData -> Value #

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptContext #

UnsafeFromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInInfo #

UnsafeFromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInfo #

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptContext #

UnsafeFromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInInfo #

UnsafeFromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInfo #

UnsafeFromData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> OutputDatum #

UnsafeFromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOut #

UnsafeFromData OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> OutputDatum #

UnsafeFromData TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOut #

UnsafeFromData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ChangedParameters #

UnsafeFromData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ColdCommitteeCredential #

UnsafeFromData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Committee #

UnsafeFromData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Constitution #

UnsafeFromData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> DRep #

UnsafeFromData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> DRepCredential #

UnsafeFromData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Delegatee #

UnsafeFromData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> GovernanceAction #

UnsafeFromData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> GovernanceActionId #

UnsafeFromData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> HotCommitteeCredential #

UnsafeFromData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ProposalProcedure #

UnsafeFromData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ProtocolVersion #

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptContext #

UnsafeFromData ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptInfo #

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptPurpose #

UnsafeFromData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxCert #

UnsafeFromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInInfo #

UnsafeFromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInfo #

UnsafeFromData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Vote #

UnsafeFromData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Voter #

UnsafeFromData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ChangedParameters #

UnsafeFromData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ColdCommitteeCredential #

UnsafeFromData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Committee #

UnsafeFromData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Constitution #

UnsafeFromData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> DRep #

UnsafeFromData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> DRepCredential #

UnsafeFromData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Delegatee #

UnsafeFromData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> GovernanceAction #

UnsafeFromData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> GovernanceActionId #

UnsafeFromData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> HotCommitteeCredential #

UnsafeFromData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ProposalProcedure #

UnsafeFromData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ProtocolVersion #

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptContext #

UnsafeFromData ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptInfo #

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> ScriptPurpose #

UnsafeFromData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxCert #

UnsafeFromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInInfo #

UnsafeFromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> TxInfo #

UnsafeFromData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Vote #

UnsafeFromData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

unsafeFromBuiltinData :: BuiltinData -> Voter #

UnsafeFromData TxId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxId #

UnsafeFromData TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

unsafeFromBuiltinData :: BuiltinData -> TxOutRef #

UnsafeFromData BuiltinBLS12_381_G1_Element 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> BuiltinBLS12_381_G1_Element #

UnsafeFromData BuiltinBLS12_381_G2_Element 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> BuiltinBLS12_381_G2_Element #

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

UnsafeFromData BuiltinByteString 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> BuiltinByteString #

UnsafeFromData BuiltinData 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> BuiltinData #

UnsafeFromData Rational 
Instance details

Defined in PlutusTx.Ratio

Methods

unsafeFromBuiltinData :: BuiltinData -> Rational #

UnsafeFromData Integer 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> Integer #

(TypeError ('Text "Int is not supported, use Integer instead") :: Constraint) => UnsafeFromData Int 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> Int #

UnsafeFromData a => UnsafeFromData (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

unsafeFromBuiltinData :: BuiltinData -> Extended a #

UnsafeFromData a => UnsafeFromData (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

unsafeFromBuiltinData :: BuiltinData -> Interval a #

UnsafeFromData a => UnsafeFromData (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

unsafeFromBuiltinData :: BuiltinData -> LowerBound a #

UnsafeFromData a => UnsafeFromData (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

unsafeFromBuiltinData :: BuiltinData -> UpperBound a #

UnsafeFromData a => UnsafeFromData [a] 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData :: BuiltinData -> [a] #

(UnsafeFromData k, UnsafeFromData v) => UnsafeFromData (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

unsafeFromBuiltinData :: BuiltinData -> Map k v #

UnsafeFromData (Map k a) 
Instance details

Defined in PlutusTx.Data.AssocMap

Methods

unsafeFromBuiltinData :: BuiltinData -> Map k a #

toData :: ToData a => a -> Data #

fromData :: FromData a => Data -> Maybe a #

unsafeFromData :: UnsafeFromData a => Data -> a #

dataToBuiltinData :: Data -> BuiltinData #

builtinDataToData :: BuiltinData -> Data #

Errors

class Monad m => MonadError e (m :: Type -> Type) | m -> e Source #

The strategy of combining computations that can throw exceptions by bypassing bound functions from the point an exception is thrown to the point that it is handled.

Is parameterized over the type of error information and the monad type constructor. It is common to use Either String as the monad type constructor for an error monad in which error descriptions take the form of strings. In that case and many other common cases the resulting monad is already defined as an instance of the MonadError class. You can also define your own error type and/or use a monad type constructor other than Either String or Either IOError. In these cases you will have to explicitly define instances of the MonadError class. (If you are using the deprecated Control.Monad.Error or Control.Monad.Trans.Error, you may also have to define an Error instance.)

Minimal complete definition

throwError, catchError

Instances

Instances details
MonadError IOException IO 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: IOException -> IO a Source #

catchError :: IO a -> (IOException -> IO a) -> IO a Source #

MonadError BuiltinError BuiltinResult 
Instance details

Defined in PlutusCore.Builtin.Result

Methods

throwError :: BuiltinError -> BuiltinResult a Source #

catchError :: BuiltinResult a -> (BuiltinError -> BuiltinResult a) -> BuiltinResult a Source #

MonadError () EvaluationResult 
Instance details

Defined in PlutusCore.Evaluation.Result

Methods

throwError :: () -> EvaluationResult a Source #

catchError :: EvaluationResult a -> (() -> EvaluationResult a) -> EvaluationResult a Source #

MonadError () Maybe

Since: mtl-2.2.2

Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: () -> Maybe a Source #

catchError :: Maybe a -> (() -> Maybe a) -> Maybe a Source #

MonadError e (Either e) 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> Either e a Source #

catchError :: Either e a -> (e -> Either e a) -> Either e a Source #

MonadError e m => MonadError e (Free m) 
Instance details

Defined in Control.Monad.Free

Methods

throwError :: e -> Free m a Source #

catchError :: Free m a -> (e -> Free m a) -> Free m a Source #

MonadError e m => MonadError e (GenT m) 
Instance details

Defined in Hedgehog.Internal.Gen

Methods

throwError :: e -> GenT m a Source #

catchError :: GenT m a -> (e -> GenT m a) -> GenT m a Source #

MonadError e m => MonadError e (PropertyT m) 
Instance details

Defined in Hedgehog.Internal.Property

Methods

throwError :: e -> PropertyT m a Source #

catchError :: PropertyT m a -> (e -> PropertyT m a) -> PropertyT m a Source #

MonadError e m => MonadError e (TestT m) 
Instance details

Defined in Hedgehog.Internal.Property

Methods

throwError :: e -> TestT m a Source #

catchError :: TestT m a -> (e -> TestT m a) -> TestT m a Source #

MonadError e m => MonadError e (TreeT m) 
Instance details

Defined in Hedgehog.Internal.Tree

Methods

throwError :: e -> TreeT m a Source #

catchError :: TreeT m a -> (e -> TreeT m a) -> TreeT m a Source #

MonadError e m => MonadError e (ListT m) 
Instance details

Defined in ListT

Methods

throwError :: e -> ListT m a Source #

catchError :: ListT m a -> (e -> ListT m a) -> ListT m a Source #

MonadError e m => MonadError e (QuoteT m) 
Instance details

Defined in PlutusCore.Quote

Methods

throwError :: e -> QuoteT m a Source #

catchError :: QuoteT m a -> (e -> QuoteT m a) -> QuoteT m a Source #

MonadError e m => MonadError e (ResourceT m) 
Instance details

Defined in Control.Monad.Trans.Resource.Internal

Methods

throwError :: e -> ResourceT m a Source #

catchError :: ResourceT m a -> (e -> ResourceT m a) -> ResourceT m a Source #

MonadError e m => MonadError e (MaybeT m) 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> MaybeT m a Source #

catchError :: MaybeT m a -> (e -> MaybeT m a) -> MaybeT m a Source #

(Functor f, MonadError e m) => MonadError e (FreeT f m) 
Instance details

Defined in Control.Monad.Trans.Free

Methods

throwError :: e -> FreeT f m a Source #

catchError :: FreeT f m a -> (e -> FreeT f m a) -> FreeT f m a Source #

(Monoid w, MonadError e m) => MonadError e (AccumT w m)

Since: mtl-2.3

Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> AccumT w m a Source #

catchError :: AccumT w m a -> (e -> AccumT w m a) -> AccumT w m a Source #

Monad m => MonadError e (ExceptT e m)

Since: mtl-2.2

Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> ExceptT e m a Source #

catchError :: ExceptT e m a -> (e -> ExceptT e m a) -> ExceptT e m a Source #

MonadError e m => MonadError e (IdentityT m) 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> IdentityT m a Source #

catchError :: IdentityT m a -> (e -> IdentityT m a) -> IdentityT m a Source #

MonadError e m => MonadError e (ReaderT r m) 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> ReaderT r m a Source #

catchError :: ReaderT r m a -> (e -> ReaderT r m a) -> ReaderT r m a Source #

MonadError e m => MonadError e (StateT s m) 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> StateT s m a Source #

catchError :: StateT s m a -> (e -> StateT s m a) -> StateT s m a Source #

MonadError e m => MonadError e (StateT s m) 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> StateT s m a Source #

catchError :: StateT s m a -> (e -> StateT s m a) -> StateT s m a Source #

(Monoid w, MonadError e m) => MonadError e (WriterT w m)

Since: mtl-2.3

Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> WriterT w m a Source #

catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a Source #

(Monoid w, MonadError e m) => MonadError e (WriterT w m) 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> WriterT w m a Source #

catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a Source #

(Monoid w, MonadError e m) => MonadError e (WriterT w m) 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> WriterT w m a Source #

catchError :: WriterT w m a -> (e -> WriterT w m a) -> WriterT w m a Source #

(Monoid w, MonadError e m) => MonadError e (RWST r w s m)

Since: mtl-2.3

Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> RWST r w s m a Source #

catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a Source #

(Monoid w, MonadError e m) => MonadError e (RWST r w s m) 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> RWST r w s m a Source #

catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a Source #

(Monoid w, MonadError e m) => MonadError e (RWST r w s m) 
Instance details

Defined in Control.Monad.Error.Class

Methods

throwError :: e -> RWST r w s m a Source #

catchError :: RWST r w s m a -> (e -> RWST r w s m a) -> RWST r w s m a Source #

MonadError e m => MonadError e (DefT key uni fun ann m) 
Instance details

Defined in PlutusIR.Compiler.Definitions

Methods

throwError :: e -> DefT key uni fun ann m a Source #

catchError :: DefT key uni fun ann m a -> (e -> DefT key uni fun ann m a) -> DefT key uni fun ann m a Source #

ThrowableBuiltins uni fun => MonadError (CekEvaluationException NamedDeBruijn uni fun) (CekM uni fun s) 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Methods

throwError :: CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a Source #

catchError :: CekM uni fun s a -> (CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a) -> CekM uni fun s a Source #

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 #

Pretty EvaluationError Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Methods

pretty :: EvaluationError -> Doc ann

prettyList :: [EvaluationError] -> Doc ann

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

PlutusCoreLanguageNotAvailableError 

Fields

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 #

Pretty ScriptDecodeError Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Methods

pretty :: ScriptDecodeError -> Doc ann

prettyList :: [ScriptDecodeError] -> Doc ann