Cardano.Ledger.Plutus · cardano-ledger-core-1.21.0.0

Eq CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Ord CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Show CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Generic CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NFData CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToJSON CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NoThunks CostModelDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
type Rep CostModel = D1 ('MetaData "CostModel" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "CostModel" 'PrefixI 'True) (S1 ('MetaSel ('Just "cmLanguage") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Language) :*: (S1 ('MetaSel ('Just "cmValues") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Int64]) :*: S1 ('MetaSel ('Just "cmEvalCtx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EvaluationContext))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels

datadata CostModels

#

Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Ord CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Show CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Generic CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NFData CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
FromJSON CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToJSON CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NoThunks CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
DecCBOR CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
EncCBOR CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToPlutusData CostModelsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
type Rep CostModels = D1 ('MetaData "CostModels" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "CostModels" 'PrefixI 'True) (S1 ('MetaSel ('Just "_costModelsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language CostModel)) :*: S1 ('MetaSel ('Just "_costModelsUnknown") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word8 [Int64]))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels

newtypenewtype CostModelsUpdate

#

Constructors

CostModelsUpdate
- unCostModelsUpdate :: CostModels

Instances8Eq, Ord, Show, NFData, ToJSON, NoThunks, …

Eq CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Ord CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
Show CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NFData CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
ToJSON CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
NoThunks CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
DecCBOR CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels
EncCBOR CostModelsUpdateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.CostModels

newtypenewtype BinaryData era

#

Instances11Eq, Ord, Show, Generic, MemPack, NoThunks, …

Eq (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Ord (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
MemPack (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NoThunks (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
EncCBOR (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (BinaryData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (BinaryData era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (BinaryData era) = D1 ('MetaData "BinaryData" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "BinaryData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

newtypenewtype Data era

#

Constructors

MkData (MemoBytes (PlutusData era))

Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NFData (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => FromJSON (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
ToJSON (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => NoThunks (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => ToCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (Annotator (Data era))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => DecCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => EncCBOR (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
SafeToHash (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Memoized (Data era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
HashAnnotated (Data era) EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (Data era) = D1 ('MetaData "Data" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "MkData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (PlutusData era)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type RawType (Data era) = PlutusData eraDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

patternpattern Data :: Era era => Data -> Data era

#

datadata Datum era

#

Constructors

Instances10Eq, Ord, Show, Generic, ToJSON, MemPack, …

Eq (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Ord (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => ToJSON (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => MemPack (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NoThunks (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => DecCBOR (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Era era => EncCBOR (Datum era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (Datum era) = D1 ('MetaData "Datum" "Cardano.Ledger.Plutus.Data" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "NoDatum" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)) :+: C1 ('MetaCons "Datum" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (BinaryData era)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

newtypenewtype PlutusData era

#

Constructors

PlutusData Data

Instances13Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Show (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Generic (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NFData (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
FromJSON (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
ToJSON (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Serialise (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
NoThunks (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => DecCBOR (Annotator (PlutusData era))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
Typeable era => DecCBOR (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
EncCBOR (PlutusData era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type Rep (PlutusData era) = Rep DataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data
type MemoHashIndex (PlutusData era) = EraIndependentDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Data

datadata PlutusDebugInfo

#

Constructors

DebugBadHex String
DebugCannotDecode String
DebugSuccess [Text] ExBudget
DebugFailure [Text] EvaluationError PlutusWithContext (Maybe ExBudget)
DebugTimedOut Int

Instances2Show, NFData

Show PlutusDebugInfoDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
NFData PlutusDebugInfoDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate

datadata PlutusDebugOverrides

#

Constructors

PlutusDebugOverrides
- pdoScript :: !Maybe ByteString
- pdoProtocolVersion :: !Maybe Version
- pdoLanguage :: !Maybe Language
- pdoCostModelValues :: !Maybe [Int64]
- pdoExUnitsMem :: !Maybe Natural
- pdoExUnitsSteps :: !Maybe Natural
- pdoExUnitsEnforced :: !Bool

Instances1Show

Show PlutusDebugOverridesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate

datadata PlutusWithContext where

#

Constructors

PlutusWithContext :: PlutusLanguage l => !Version -> !PlutusRunnable l -> !PlutusArgs l -> !ExUnits -> !CostModel -> PlutusWithContext
- pwcProtocolVersion :: !Version
- pwcScript :: !PlutusRunnable l
- pwcArgs :: !PlutusArgs l
- pwcExUnits :: !ExUnits
- pwcCostModel :: !CostModel

Instances5Eq, Show, NFData, FromCBOR, ToCBOR

Eq PlutusWithContextDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
Show PlutusWithContextDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
NFData PlutusWithContextDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
FromCBOR PlutusWithContextDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
ToCBOR PlutusWithContextDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate

datadata ScriptFailure

#

Constructors

ScriptFailure
- scriptFailureMessage :: Text
- scriptFailurePlutus :: PlutusWithContext

Instances3Show, Generic, Rep

Show ScriptFailureDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
Generic ScriptFailureDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
type Rep ScriptFailure = D1 ('MetaData "ScriptFailure" "Cardano.Ledger.Plutus.Evaluate" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "ScriptFailure" 'PrefixI 'True) (S1 ('MetaSel ('Just "scriptFailureMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "scriptFailurePlutus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlutusWithContext)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate

datadata ScriptResult

#

Constructors

Passes [PlutusWithContext]
Fails [PlutusWithContext] (NonEmpty ScriptFailure)

Instances4Generic, Semigroup, Monoid, Rep

Generic ScriptResultDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
Semigroup ScriptResultDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
Monoid ScriptResultDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate
type Rep ScriptResult = D1 ('MetaData "ScriptResult" "Cardano.Ledger.Plutus.Evaluate" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "Passes" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PlutusWithContext])) :+: C1 ('MetaCons "Fails" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PlutusWithContext]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty ScriptFailure))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Evaluate

newtypenewtype ExUnits

#

Constructors

WrapExUnits
- unWrapExUnits :: ExUnits' Natural

Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …

Eq ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Show ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Generic ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Semigroup ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Monoid ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
NFData ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
FromJSON ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
ToJSON ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
NoThunks ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
DecCBOR ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
EncCBOR ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
ToPlutusData ExUnitsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
type Rep ExUnits = D1 ('MetaData "ExUnits" "Cardano.Ledger.Plutus.ExUnits" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "WrapExUnits" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWrapExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ExUnits' Natural))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits

patternpattern ExUnits :: Natural -> Natural -> ExUnits

#

valueexUnitsMem :: ExUnits -> Natural

#

valueexUnitsSteps :: ExUnits -> Natural

#

datadata ExUnits' a

#

Constructors

ExUnits'
- exUnitsMem' :: !a
- exUnitsSteps' :: !a

Instances13Functor, Eq, Show, Generic, Semigroup, Monoid, …

Functor ExUnits'Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Eq a => Eq (ExUnits' a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Show a => Show (ExUnits' a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Generic (ExUnits' a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Measure a => Semigroup (ExUnits' a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Measure a => Monoid (ExUnits' a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
NFData a => NFData (ExUnits' a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
FromJSON a => FromJSON (ExUnits' a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
ToJSON a => ToJSON (ExUnits' a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
NoThunks a => NoThunks (ExUnits' a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
BoundedMeasure a => BoundedMeasure (ExUnits' a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Measure a => Measure (ExUnits' a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
type Rep (ExUnits' a) = D1 ('MetaData "ExUnits'" "Cardano.Ledger.Plutus.ExUnits" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "ExUnits'" 'PrefixI 'True) (S1 ('MetaSel ('Just "exUnitsMem'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "exUnitsSteps'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits

datadata Prices

#

Constructors

Prices
- prMem :: !NonNegativeInterval
- prSteps :: !NonNegativeInterval

Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq PricesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Ord PricesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Show PricesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
Generic PricesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
NFData PricesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
FromJSON PricesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
ToJSON PricesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
NoThunks PricesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
DecCBOR PricesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
EncCBOR PricesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits
ToPlutusData PricesDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
type Rep Prices = D1 ('MetaData "Prices" "Cardano.Ledger.Plutus.ExUnits" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "Prices" 'PrefixI 'True) (S1 ('MetaSel ('Just "prMem") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonNegativeInterval) :*: S1 ('MetaSel ('Just "prSteps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonNegativeInterval)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ExUnits

datadata Language

#

PlutusV1 PlutusV2 PlutusV3 PlutusV4

Instances20Bounded, Enum, Eq, Ord, Read, Show, …

Bounded LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Enum LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Eq LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Ord LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Read LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Ix LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Generic LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NFData LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Random LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Uniform LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
UniformRange LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
FromJSON LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
FromJSONKey LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
ToJSON LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
ToJSONKey LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NoThunks LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
DecCBOR LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
EncCBOR LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
type Rep Language = D1 ('MetaData "Language" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) ((C1 ('MetaCons "PlutusV1" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PlutusV2" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "PlutusV3" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PlutusV4" 'PrefixI 'False) U1))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language

datadata LegacyPlutusArgs (l :: Language)

#

Constructors

LegacyPlutusArgs2 !Data !(PlutusScriptContext l)
LegacyPlutusArgs3 !Data !Data !(PlutusScriptContext l)

Instances6Eq, Show, NFData, Pretty, DecCBOR, EncCBOR

Eq (PlutusScriptContext l) => Eq (LegacyPlutusArgs l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show (PlutusScriptContext l) => Show (LegacyPlutusArgs l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NFData (PlutusScriptContext l) => NFData (LegacyPlutusArgs l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Pretty (PlutusScriptContext l) => Pretty (LegacyPlutusArgs l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
(PlutusLanguage l, FromData (PlutusScriptContext l)) => DecCBOR (LegacyPlutusArgs l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
ToData (PlutusScriptContext l) => EncCBOR (LegacyPlutusArgs l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language

newtypenewtype Plutus (l :: Language)

#

Constructors

Plutus
- plutusBinary :: PlutusBinary

Instances11Eq, Ord, Show, Generic, NFData, MemPack, …

Eq (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Ord (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Generic (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NFData (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
MemPack (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NoThunks (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
PlutusLanguage l => DecCBOR (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
PlutusLanguage l => EncCBOR (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
SafeToHash (Plutus l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
type Rep (Plutus l) = D1 ('MetaData "Plutus" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "Plutus" 'PrefixI 'True) (S1 ('MetaSel ('Just "plutusBinary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlutusBinary)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language

familydata family PlutusArgs (l :: Language)

#

Instances28Eq, Show, NFData, Pretty, DecCBOR, EncCBOR, …

Eq (PlutusArgs 'PlutusV1)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Eq (PlutusArgs 'PlutusV2)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Eq (PlutusArgs 'PlutusV3)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Eq (PlutusArgs 'PlutusV4)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show (PlutusArgs 'PlutusV1)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show (PlutusArgs 'PlutusV2)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show (PlutusArgs 'PlutusV3)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show (PlutusArgs 'PlutusV4)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NFData (PlutusArgs 'PlutusV1)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NFData (PlutusArgs 'PlutusV2)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NFData (PlutusArgs 'PlutusV3)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NFData (PlutusArgs 'PlutusV4)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Pretty (PlutusArgs 'PlutusV1)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Pretty (PlutusArgs 'PlutusV2)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Pretty (PlutusArgs 'PlutusV3)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Pretty (PlutusArgs 'PlutusV4)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
DecCBOR (PlutusArgs 'PlutusV1)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
DecCBOR (PlutusArgs 'PlutusV2)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
DecCBOR (PlutusArgs 'PlutusV3)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
DecCBOR (PlutusArgs 'PlutusV4)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
EncCBOR (PlutusArgs 'PlutusV1)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
EncCBOR (PlutusArgs 'PlutusV2)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
EncCBOR (PlutusArgs 'PlutusV3)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
EncCBOR (PlutusArgs 'PlutusV4)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
data PlutusArgs 'PlutusV1
- PlutusV1ArgsunPlutusV1Args :: LegacyPlutusArgs 'PlutusV1
Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
data PlutusArgs 'PlutusV2
- PlutusV2ArgsunPlutusV2Args :: LegacyPlutusArgs 'PlutusV2
Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
data PlutusArgs 'PlutusV3
- PlutusV3ArgsunPlutusV3Args :: ScriptContext
Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
data PlutusArgs 'PlutusV4
- PlutusV4ArgsunPlutusV4Args :: ScriptContext
Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language

constructorPlutusV1Args

#

Fields

unPlutusV1Args :: LegacyPlutusArgs 'PlutusV1

constructorPlutusV2Args

#

Fields

unPlutusV2Args :: LegacyPlutusArgs 'PlutusV2

constructorPlutusV3Args

#

Fields

unPlutusV3Args :: ScriptContext

constructorPlutusV4Args

#

Fields

unPlutusV4Args :: ScriptContext

valueunPlutusV1Args :: PlutusArgs 'PlutusV1 -> LegacyPlutusArgs 'PlutusV1

#

valueunPlutusV2Args :: PlutusArgs 'PlutusV2 -> LegacyPlutusArgs 'PlutusV2

#

valueunPlutusV3Args :: PlutusArgs 'PlutusV3 -> ScriptContext

#

valueunPlutusV4Args :: PlutusArgs 'PlutusV4 -> ScriptContext

#

newtypenewtype PlutusBinary

#

Constructors

PlutusBinary
- unPlutusBinary :: ShortByteString

Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Ord PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Generic PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NFData PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
FromJSON PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
ToJSON PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
MemPack PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NoThunks PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
ToCBOR PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
DecCBOR PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
EncCBOR PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
SafeToHash PlutusBinaryDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
DecCBOR (Annotator PlutusBinary)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
type Rep PlutusBinary = D1 ('MetaData "PlutusBinary" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "PlutusBinary" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPlutusBinary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language

class

class (Typeable l, NFData (PlutusArgs l), EncCBOR (PlutusArgs l), DecCBOR (PlutusArgs l), Pretty (PlutusArgs l), Show (PlutusArgs l), Eq (PlutusArgs l)) => PlutusLanguage (l :: Language) where

#

Associated types

data family PlutusArgs (l :: Language)

Methods

isLanguage :: SLanguage l
plutusLanguageTag :: Plutus l -> Word8
decodePlutusRunnable :: Version -> Plutus l -> PlutusRunnable l
evaluatePlutusRunnable :: Version -> VerboseMode -> EvaluationContext -> ExBudget -> ScriptForEvaluation -> PlutusArgs l -> (LogOutput, Either EvaluationError ExBudget)
evaluatePlutusRunnableBudget :: Version -> VerboseMode -> EvaluationContext -> ScriptForEvaluation -> PlutusArgs l -> (LogOutput, Either EvaluationError ExBudget)
mkTermToEvaluate :: Version -> ScriptForEvaluation -> PlutusArgs l -> Either EvaluationError (Term NamedDeBruijn DefaultUni DefaultFun ())

Instances4PlutusLanguage

PlutusLanguage 'PlutusV1Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
PlutusLanguage 'PlutusV2Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
PlutusLanguage 'PlutusV3Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
PlutusLanguage 'PlutusV4Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language

datadata PlutusRunnable (l :: Language)

#

Constructors

PlutusRunnable
- plutusRunnableBinary :: !Plutus l
- plutusRunnableScriptHash :: ScriptHash
- plutusRunnableResult :: Either ScriptDecodeError ScriptForEvaluation

Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …

Eq (PlutusRunnable l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show (PlutusRunnable l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Generic (PlutusRunnable l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
NFData (PlutusRunnable l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Typeable l => NoThunks (PlutusRunnable l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
PlutusLanguage l => DecCBOR (PlutusRunnable l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
PlutusLanguage l => EncCBOR (PlutusRunnable l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
type Rep (PlutusRunnable l) = D1 ('MetaData "PlutusRunnable" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "PlutusRunnable" 'PrefixI 'True) (S1 ('MetaSel ('Just "plutusRunnableBinary") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (Plutus l)) :*: (S1 ('MetaSel ('Just "plutusRunnableScriptHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptHash) :*: S1 ('MetaSel ('Just "plutusRunnableResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either ScriptDecodeError ScriptForEvaluation)))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language

familytype family PlutusScriptContext (l :: Language) where

#

Equations

PlutusScriptContext 'PlutusV1 = ScriptContext
PlutusScriptContext 'PlutusV2 = ScriptContext
PlutusScriptContext 'PlutusV3 = ScriptContext

datadata SLanguage (l :: Language) where

#

Constructors

Instances4Eq, Show, DecCBOR, EncCBOR

Eq (SLanguage l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
Show (SLanguage l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
PlutusLanguage l => DecCBOR (SLanguage l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
PlutusLanguage l => EncCBOR (SLanguage l)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language

datadata TxOutSource

#

Constructors

TxOutFromInput !TxIn
TxOutFromOutput !TxIx

Instances9Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
Show TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
Generic TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
NFData TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
ToJSON TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
NoThunks TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
DecCBOR TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
EncCBOR TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
type Rep TxOutSource = D1 ('MetaData "TxOutSource" "Cardano.Ledger.Plutus.TxInfo" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "TxOutFromInput" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIn)) :+: C1 ('MetaCons "TxOutFromOutput" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 TxIx)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo