Modulecardano-ledger-core-1.21.0.0

Cardano.Ledger.Plutus.Language

6 types
1 class
21 values

Packagecardano-ledger-core-1.21.0.0
Exports34
LicenceApache-2.0

valueasSLanguage :: SLanguage l -> proxy l -> proxy l

valueasSameLanguage :: PlutusLanguage l => proxy l -> proxyAs l -> proxy l

valuedecodeWithPlutus

:: forall si (l :: Language). PlutusLanguage l => Plutus l -> Decoder si a
-> Decoder so a

valueguardPlutus :: Language -> Decoder s ()

valuehashPlutusScript :: PlutusLanguage l => Plutus l -> ScriptHash

valueisValidPlutus :: PlutusLanguage l => Version -> Plutus l -> Bool

valueisValidPlutusRunnable :: PlutusRunnable l -> Bool

valuelanguageFromText :: MonadFail m => Text -> m Language

valuelanguageToText :: Language -> Text

valuemkLanguageEnum :: Int -> Maybe Language

valuenonNativeLanguages :: [Language]

valueplutusFromRunnable :: PlutusRunnable l -> Plutus l

valueplutusLanguage :: PlutusLanguage l => proxy l -> Language

valueplutusSLanguage :: PlutusLanguage l => proxy l -> SLanguage l

valuetoSLanguage

:: (PlutusLanguage l, MonadFail m)
=> Language
-> m (SLanguage l)

valuewithSLanguage

:: Language
-> forall (l :: Language). PlutusLanguage l => SLanguage l -> a
-> a

valuewithSamePlutusLanguage

:: (PlutusLanguage l1, PlutusLanguage l2)
=> f1 l1
-> f2 l2
-> forall (l :: Language). PlutusLanguage l => f1 l -> f2 l -> a
-> Maybe a

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

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

Orphan instances

3 instances