Modulecardano-ledger-alonzo-1.16.0.0
Cardano.Ledger.Alonzo.Plutus.Context
- 5 types
- 2 classes
- 7 values
- Packagecardano-ledger-alonzo-1.16.0.0
- Exports19
- LicenceApache-2.0
value
supportedLanguages :: (HasCallStack, EraPlutusContext era) => NonEmpty (SupportedLanguage era)Constructors
Instances8Eq, Show, Generic, NFData, ToJSON, DecCBOR, …
(AlonzoEraScript era, Eq (ContextError era)) => Eq (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context(AlonzoEraScript era, Show (ContextError era)) => Show (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.ContextGeneric (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context(AlonzoEraScript era, NFData (ContextError era)) => NFData (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context(Era era, ToJSON (PlutusPurpose AsItem era), ToJSON (ContextError era)) => ToJSON (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context(AlonzoEraScript era, DecCBOR (ContextError era)) => DecCBOR (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context(AlonzoEraScript era, EncCBOR (ContextError era)) => EncCBOR (CollectError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Contexttype Rep (CollectError era) = D1 ('MetaDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context"CollectError"
"Cardano.Ledger.Alonzo.Plutus.Context"
"cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO"
'False) ((C1 ('MetaCons"NoRedeemer"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusPurpose AsItem era))) :+: C1 ('MetaCons"NoWitness"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptHash))) :+: (C1 ('MetaCons"NoCostModel"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Language)) :+: C1 ('MetaCons"BadTranslation"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ContextError era)))))
class
class (AlonzoEraScript era, Eq (ContextError era), Show (ContextError era), NFData (ContextError era), EncCBOR (ContextError era), DecCBOR (ContextError era), ToJSON (ContextError era)) => EraPlutusContext era whereAssociated types
type family ContextError eradata family TxInfoResult era
Methods
mkSupportedLanguage :: Language -> Maybe (SupportedLanguage era)mkSupportedPlutusRunnable :: Version -> PlutusScript era -> SupportedPlutusRunnable eramkTxInfoResult :: LedgerTxInfo era -> TxInfoResult eralookupTxInfoResult :: EraPlutusTxInfo l era => SLanguage l -> TxInfoResult era -> PlutusTxInfoResult l era
Instances1EraPlutusContext
EraPlutusContext AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo · orphan
class
class (PlutusLanguage l, EraPlutusContext era, EraTxLevel era, Eq (PlutusTxInfo l), Show (PlutusTxInfo l)) => EraPlutusTxInfo (l :: Language) era whereMethods
toPlutusTxCert :: proxy l -> ProtVer -> TxCert era -> Either (ContextError era) (PlutusTxCert l)toPlutusScriptPurpose :: proxy l -> ProtVer -> PlutusPurpose AsIxItem era -> Either (ContextError era) (PlutusScriptPurpose l)toPlutusTxInfo :: proxy l -> LedgerTxInfo era -> PlutusTxInfoResult l eratoPlutusArgs :: proxy l -> ProtVer -> PlutusTxInfo l -> PlutusPurpose AsIxItem era -> Maybe (Data era) -> Data era -> Either (ContextError era) (PlutusArgs l)toPlutusTxInInfo :: proxy l -> UTxO era -> TxIn -> Either (ContextError era) (PlutusTxInInfo era l)
Instances1EraPlutusTxInfo
EraPlutusTxInfo 'PlutusV1 AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo · orphan
Constructors
LedgerTxInfo :: !ProtVer -> !EpochInfo (Either Text) -> !SystemStart -> !UTxO era -> !Tx level era -> Map TxId (TxInfoResult era) -> LedgerTxInfo eraltiProtVer :: !ProtVerltiEpochInfo :: !EpochInfo (Either Text)ltiSystemStart :: !SystemStartltiUTxO :: !UTxO eraltiTx :: !Tx level eraltiMemoizedSubTransactions :: Map TxId (TxInfoResult era)
Equations
Equations
Equations
Constructors
PlutusTxInfoResultunPlutusTxInfoResult :: Either (ContextError era) (PlutusPurpose AsPurpose era -> Either (ContextError era) (PlutusTxInfo l))
Constructors
SupportedLanguage :: EraPlutusTxInfo l era => SLanguage l -> SupportedLanguage era
Instances5Eq, Ord, Show, DecCBOR, EncCBOR
Eq (SupportedLanguage era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.ContextOrd (SupportedLanguage era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.ContextShow (SupportedLanguage era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.ContextEraPlutusContext era => DecCBOR (SupportedLanguage era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.ContextEra era => EncCBOR (SupportedLanguage era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context
Constructors
SupportedPlutusRunnable :: EraPlutusTxInfo l era => !PlutusRunnable l -> SupportedPlutusRunnable era
Instances3Eq, Show, NFData
Eq (SupportedPlutusRunnable era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.ContextShow (SupportedPlutusRunnable era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.ContextNFData (SupportedPlutusRunnable era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.Context