Modulecardano-ledger-alonzo-1.16.0.0

Cardano.Ledger.Alonzo

6 types
5 values

Packagecardano-ledger-alonzo-1.16.0.0
Exports20
LicenceApache-2.0

valuemkAlonzoStAnnTx

:: (AlonzoEraUTxO era, AlonzoEraTx era, EraPlutusContext era, ScriptsNeeded era ~ AlonzoScriptsNeeded era)
=> EpochInfo (Either Text)
-> SystemStart
-> PParams era
-> UTxO era
-> Map ScriptHash (SupportedPlutusRunnable era)
-> Tx TopTx era
-> AlonzoStAnnTx TopTx era

datadata AlonzoScript era

Instances14Eq, Show, Generic, NFData, FromJSON, ToJSON, …

(Eq (PlutusScript era), Eq (NativeScript era)) => Eq (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(AlonzoEraScript era, Script era ~ AlonzoScript era) => Show (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Generic (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(NFData (PlutusScript era), NFData (NativeScript era)) => NFData (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(AlonzoEraScript era, DecCBOR (Annotator (AlonzoScript era))) => FromJSON (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
AlonzoEraScript era => ToJSON (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(Era era, MemPack (PlutusScript era), MemPack (NativeScript era)) => MemPack (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(Era era, NoThunks (PlutusScript era), NoThunks (NativeScript era)) => NoThunks (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
AlonzoEraScript era => ToCBOR (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
AlonzoEraScript era => DecCBOR (Annotator (AlonzoScript era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
AlonzoEraScript era => EncCBOR (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(SafeToHash (PlutusScript era), SafeToHash (NativeScript era)) => SafeToHash (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
(Eq (PlutusScript era), EqRaw (NativeScript era)) => EqRaw (AlonzoScript era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type Rep (AlonzoScript era) = D1 ('MetaData "AlonzoScript" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) (C1 ('MetaCons "NativeScript" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NativeScript era))) :+: C1 ('MetaCons "PlutusScript" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PlutusScript era))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts

datadata AlonzoStAnnTx (l :: TxLevel) era where

Constructors

AlonzoStAnnTx :: !Tx TopTx era -> ScriptsNeeded era -> ScriptsProvided era -> Set Language -> Map ScriptHash (SupportedPlutusRunnable era) -> Either (NonEmpty (CollectError era)) [PlutusWithContext] -> AlonzoStAnnTx TopTx era
- asatTx :: !Tx TopTx era
- asatScriptsNeeded :: ScriptsNeeded era
- asatScriptsProvided :: ScriptsProvided era
- asatPlutusLanguagesUsed :: Set Language
- asatPlutusRunnableCache :: Map ScriptHash (SupportedPlutusRunnable era)
- asatPlutusScriptsWithContext :: Either (NonEmpty (CollectError era)) [PlutusWithContext]

Instances4HasEraTxLevel, Eq, Show, NFData

(EraTxLevel era, STxLevel TopTx era ~ STxTopLevel TopTx era) => HasEraTxLevel AlonzoStAnnTx eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(AlonzoEraScript era, Eq (Tx l era), Eq (ScriptsNeeded era), Eq (ScriptsProvided era), Eq (ContextError era)) => Eq (AlonzoStAnnTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(AlonzoEraScript era, Show (Tx l era), Show (ScriptsNeeded era), Show (ScriptsProvided era), Show (ContextError era)) => Show (AlonzoStAnnTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
(AlonzoEraScript era, NFData (Tx l era), NFData (ScriptsNeeded era), NFData (ScriptsProvided era), NFData (ContextError era)) => NFData (AlonzoStAnnTx l era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx

newtypenewtype AlonzoTxAuxData era

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

Eq (NativeScript era) => Eq (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Show (NativeScript era) => Show (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Generic (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
NFData (NativeScript era) => NFData (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
(AlonzoEraScript era, FromJSON (NativeScript era)) => FromJSON (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
(AlonzoEraScript era, ToJSON (NativeScript era)) => ToJSON (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
NoThunks (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Typeable era => ToCBOR (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
(Era era, DecCBOR (Annotator (NativeScript era)), Typeable (NativeScript era)) => DecCBOR (Annotator (AlonzoTxAuxData era))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Era era => EncCBOR (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
SafeToHash (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Eq (NativeScript era) => EqRaw (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
Memoized (AlonzoTxAuxData era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
HashAnnotated (AlonzoTxAuxData era) EraIndependentTxAuxDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxAuxDataRaw era)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw eraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData

datadata AlonzoTxOut era

Instances12Eq, Show, Generic, NFData, ToJSON, MemPack, …

(Eq (Value era), Compactible (Value era)) => Eq (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, Val (Value era)) => Show (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
Generic (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
NFData (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, Val (Value era)) => ToJSON (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, MemPack (CompactForm (Value era))) => MemPack (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
NoThunks (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, Val (Value era)) => DecCBOR (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, Val (Value era), MemPack (CompactForm (Value era))) => DecShareCBOR (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
(Era era, Val (Value era)) => EncCBOR (AlonzoTxOut era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
type Rep (AlonzoTxOut era) = D1 ('MetaData "AlonzoTxOut" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Addr28Extra) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking)) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 DataHash32)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
type Share (AlonzoTxOut era) = Interns (Credential Staking)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut

familydata family Tx (l :: TxLevel) era

Instances55HasEraTxLevel, TranslateEra, HasOKey, DecCBOR, Eq, Show, …

HasEraTxLevel Tx AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
HasEraTxLevel Tx AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
HasEraTxLevel Tx MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
HasEraTxLevel Tx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
TranslateEra AllegraEra (Tx TopTx)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
TranslateEra AlonzoEra (Tx TopTx)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra MaryEra (Tx TopTx)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan
EraTx era => HasOKey TxId (Tx l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core
Typeable l => DecCBOR (Annotator (Tx l AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => DecCBOR (Annotator (Tx l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable t => DecCBOR (Annotator (Tx t AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Typeable t => DecCBOR (Annotator (Tx t MaryEra))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Eq (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Eq (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Eq (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Eq (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Show (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Show (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Show (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Show (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Generic (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Generic (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Generic (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Generic (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
NFData (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
NFData (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
NFData (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
NFData (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Typeable l => NoThunks (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => NoThunks (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable t => NoThunks (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Typeable t => NoThunks (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
Typeable l => ToCBOR (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => ToCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Typeable t => ToCBOR (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
Typeable t => ToCBOR (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
EncCBOR (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
EncCBOR (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EncCBOR (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
EncCBOR (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
EqRaw (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
EqRaw (Tx l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
EqRaw (Tx t AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
EqRaw (Tx t MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
type Rep (Tx l ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx l ShelleyEra))))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
type Rep (Tx t AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t AllegraEra))))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
type Rep (Tx t MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.11.0.0-BDX9Jw3i0LOAEIgnwJZDrh" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
data Tx l AlonzoEra
- MkAlonzoTxunAlonzoTx :: AlonzoTx l AlonzoEra
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
data Tx l ShelleyEra
- MkShelleyTxunShelleyTx :: ShelleyTx l ShelleyEra
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
data Tx t AllegraEra
- MkAllegraTxunAllegraTx :: ShelleyTx t AllegraEra
Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
data Tx t MaryEra
- MkMaryTxunMaryTx :: ShelleyTx t MaryEra
Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
type TranslationError AllegraEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Translation · orphan
type TranslationError AlonzoEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError MaryEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Translation · orphan

constructorMkAllegraTx

Fields

unAllegraTx :: ShelleyTx t AllegraEra

valueunAllegraTx :: Tx t AllegraEra -> ShelleyTx t AllegraEra

constructorMkAlonzoTx

Fields

unAlonzoTx :: AlonzoTx l AlonzoEra

valueunAlonzoTx :: Tx l AlonzoEra -> AlonzoTx l AlonzoEra

constructorMkMaryTx

Fields

unMaryTx :: ShelleyTx t MaryEra

valueunMaryTx :: Tx t MaryEra -> ShelleyTx t MaryEra

constructorMkShelleyTx

Fields

unShelleyTx :: ShelleyTx l ShelleyEra

valueunShelleyTx :: Tx l ShelleyEra -> ShelleyTx l ShelleyEra

pattern

pattern AlonzoTxBody :: Set TxIn -> Set TxIn -> StrictSeq (TxOut AlonzoEra) -> StrictSeq (TxCert AlonzoEra) -> Withdrawals -> Coin -> ValidityInterval -> StrictMaybe (Update AlonzoEra) -> Set (KeyHash Guard) -> MultiAsset -> StrictMaybe ScriptIntegrityHash -> StrictMaybe TxAuxDataHash -> StrictMaybe Network -> TxBody TopTx AlonzoEra

datadata AlonzoEra

Instances261EraBlockBody, EraScript, EraTx, EraTxAuxData, EraTxBody, EraTxOut, …

EraBlockBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.BlockBody.Internal · orphan
EraScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts · orphan
EraTx AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
StAnnTxCache AlonzoEra ~ Map ScriptHash (SupportedPlutusRunnable AlonzoEra) => EraTxAuxData AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData · orphan
EraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
EraTxOut AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut · orphan
EraTxWits AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits · orphan
EraPParams AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphan
EraTxCert AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxCert · orphan
EraTxLevel AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
EraGenesis AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Genesis · orphan
EraAccounts AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.Account · orphan
EraCertState AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.CertState · orphan
EraGov AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphan
EraStake AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.Stake · orphan
EraUTxO AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.UTxO · orphan
EraForecast AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Forecast · orphan
ShelleyEraForecast AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Forecast · orphan
ApplyTx AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
ApplyTick AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
ShelleyEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
ShelleyEraTxCert AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxCert · orphan
ShelleyEraScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts · orphan
ShelleyEraAccounts AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.Account · orphan
EraTransition AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Transition · orphan
StAnnTxCache AlonzoEra ~ Map ScriptHash (SupportedPlutusRunnable AlonzoEra) => AllegraEraTxAuxData AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData · orphan
AllegraEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
AllegraEraScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts · orphan
MaryEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
EraPlutusContext AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo · orphan
AlonzoEraUTxO AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.UTxO
AlonzoEraTx AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx
AlonzoEraPParams AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
AlonzoEraScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
StAnnTxCache AlonzoEra ~ Map ScriptHash (SupportedPlutusRunnable AlonzoEra) => AlonzoEraTxAuxData AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData
AlonzoEraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
AlonzoEraTxOut AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut
AlonzoEraTxWits AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits
TranslateEra AlonzoEra PParamsDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra CommitteeStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra DStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra PStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra FuturePParamsDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra SnapShotsDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra UTxODefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra ShelleyGovStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra EpochStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra LedgerStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra NewEpochStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra UTxOStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra ProposedPPUpdatesDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra ShelleyAccountsDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra ShelleyCertStateDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
TranslateEra AlonzoEra ShelleyInstantStakeDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
HasEraTxLevel AlonzoTxBodyRaw AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
HasEraTxLevel Tx AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
HasEraTxLevel TxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
EraBlockHeader h AlonzoEra => ApplyBlock h AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
EraPlutusTxInfo 'PlutusV1 AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo · orphan
InjectRuleEvent "POOL" PoolEvent AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Pool · orphan
InjectRuleFailure "BBODY" AllegraUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody
InjectRuleFailure "BBODY" AlonzoUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" AlonzoUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelegPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyDelplPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPoolPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyPpupPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Delegs · orphan
InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Delegs · orphan
InjectRuleFailure "DELEG" ShelleyDelegPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Deleg · orphan
InjectRuleFailure "DELPL" ShelleyDelegPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Delpl · orphan
InjectRuleFailure "DELPL" ShelleyDelplPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Delpl · orphan
InjectRuleFailure "DELPL" ShelleyPoolPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Delpl · orphan
InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
InjectRuleFailure "LEDGER" AllegraUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
InjectRuleFailure "POOL" ShelleyPoolPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Pool · orphan
InjectRuleFailure "PPUP" ShelleyPpupPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ppup · orphan
InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos
InjectRuleFailure "UTXOS" ShelleyPpupPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow
InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
InjectRuleFailure "UTXO" AllegraUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo
InjectRuleFailure "UTXO" AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
InjectRuleFailure "UTXO" ShelleyPpupPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
TranslateEra AlonzoEra (Tx TopTx)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
Eq (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Eq (TransitionConfig AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Transition · orphan
Ord (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Show (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Show (TransitionConfig AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Transition · orphan
Generic (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Generic (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Generic (TransitionConfig AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Transition · orphan
Semigroup (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
NFData (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
MemPack (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
NoThunks (TransitionConfig AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Transition · orphan
DecCBOR (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Typeable l => DecCBOR (Annotator (AlonzoTxBodyRaw l AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Typeable l => DecCBOR (Annotator (Tx l AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => DecCBOR (Annotator (TxBody l AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
EncCBOR (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
SafeToHash (PlutusScript AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
Eq (AlonzoTxBodyRaw l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Eq (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Eq (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Show (AlonzoTxBodyRaw l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Show (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Show (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Generic (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Generic (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
NFData (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
NFData (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Typeable l => NoThunks (AlonzoTxBodyRaw l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
Typeable l => NoThunks (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => NoThunks (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Typeable l => ToCBOR (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
Typeable l => ToCBOR (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Typeable l => DecCBOR (AlonzoTxBodyRaw l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
EncCBOR (AlonzoTxBodyRaw l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody
EncCBOR (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
EncCBOR (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
SafeToHash (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
EqRaw (Tx l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
EqRaw (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
Memoized (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBodyDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
type Rep (ApplyTxError AlonzoEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Transition · orphan
type BlockBody AlonzoEra = AlonzoBlockBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.BlockBody.Internal · orphan
type NativeScript AlonzoEra = Timelock AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts · orphan
type Script AlonzoEra = AlonzoScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts · orphan
type StAnnTx l AlonzoEra = AlonzoStAnnTx l AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
type StAnnTxCache AlonzoEra = Map ScriptHash (SupportedPlutusRunnable AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
data Tx l AlonzoEra
- MkAlonzoTxunAlonzoTx :: AlonzoTx l AlonzoEra
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxAuxData · orphan
data TxBody l AlonzoEra
- MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
type TxOut AlonzoEra = AlonzoTxOut AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut · orphan
type TxWits AlonzoEra = AlonzoTxWits AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits · orphan
type Value AlonzoEra = MaryValueDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "BBODY" AlonzoEra = BBODY AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "DELEGS" AlonzoEra = DELEGS AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "DELEG" AlonzoEra = DELEG AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "DELPL" AlonzoEra = DELPL AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "EPOCH" AlonzoEra = EPOCH AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "LEDGERS" AlonzoEra = LEDGERS AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "LEDGER" AlonzoEra = LEDGER AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "MIR" AlonzoEra = MIR AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "NEWEPOCH" AlonzoEra = NEWEPOCH AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "NEWPP" AlonzoEra = NEWPP AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "POOLREAP" AlonzoEra = POOLREAP AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "POOL" AlonzoEra = POOL AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "PPUP" AlonzoEra = PPUP AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "RUPD" AlonzoEra = RUPD AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "SNAP" AlonzoEra = SNAP AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "TICKF" AlonzoEra = TICKF AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "TICK" AlonzoEra = TICK AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "UPEC" AlonzoEra = UPEC AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "UTXOS" AlonzoEra = UTXOS AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "UTXOW" AlonzoEra = UTXOW AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRule "UTXO" AlonzoEra = UTXO AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type EraRuleEvent "LEDGER" AlonzoEra = ShelleyLedgerEvent AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules · orphan
type EraRuleEvent "POOL" AlonzoEra = PoolEvent AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Pool · orphan
type EraRuleEvent "PPUP" AlonzoEra = PpupEvent AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ppup · orphan
type EraRuleEvent "TICK" AlonzoEra = ShelleyTickEvent AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules · orphan
type EraRuleFailure "BBODY" AlonzoEra = AlonzoBbodyPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Bbody · orphan
type EraRuleFailure "DELEGS" AlonzoEra = ShelleyDelegsPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Delegs · orphan
type EraRuleFailure "DELEG" AlonzoEra = ShelleyDelegPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Deleg · orphan
type EraRuleFailure "DELPL" AlonzoEra = ShelleyDelplPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Delpl · orphan
type EraRuleFailure "LEDGERS" AlonzoEra = ShelleyLedgersPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledgers · orphan
type EraRuleFailure "LEDGER" AlonzoEra = ShelleyLedgerPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ledger · orphan
type EraRuleFailure "POOL" AlonzoEra = ShelleyPoolPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Pool · orphan
type EraRuleFailure "PPUP" AlonzoEra = ShelleyPpupPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Ppup · orphan
type EraRuleFailure "UTXOS" AlonzoEra = AlonzoUtxosPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxos · orphan
type EraRuleFailure "UTXOW" AlonzoEra = AlonzoUtxowPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxow · orphan
type EraRuleFailure "UTXO" AlonzoEra = AlonzoUtxoPredFailure AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Rules.Utxo · orphan
type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams fDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphan
type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphan
type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams fDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphan
type TranslationError AlonzoEra PParams = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra CommitteeState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra DState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra PState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra FuturePParams = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra SnapShots = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra UTxO = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra ShelleyGovState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra EpochState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra LedgerState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra NewEpochState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra UTxOState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra ProposedPPUpdates = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra ShelleyAccounts = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra ShelleyCertState = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra ShelleyInstantStake = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationError AlonzoEra (Tx TopTx) = DecoderErrorDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TranslationContext AlonzoEra = AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Translation · orphan
type TxCert AlonzoEra = ShelleyTxCert AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxCert · orphan
type TxCertUpgradeError AlonzoEra = VoidDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxCert · orphan
type STxLevel l AlonzoEra = STxTopLevel l AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
type Genesis AlonzoEra = AlonzoGenesisDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Genesis · orphan
type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
type AccountState AlonzoEra = ShelleyAccountState AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.Account · orphan
type Accounts AlonzoEra = ShelleyAccounts AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.Account · orphan
type CertState AlonzoEra = ShelleyCertState AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.CertState · orphan
type GovState AlonzoEra = ShelleyGovState AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphan
type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.State.Stake · orphan
type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.UTxO · orphan
type Forecast t AlonzoEra = ShelleyForecast t AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Forecast · orphan
data ApplyTxError AlonzoEra
- AlonzoApplyTxError (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
data TransitionConfig AlonzoEra
- AlonzoTransitionConfigatcAlonzoGenesis :: !AlonzoGenesisatcMaryTransitionConfig :: !TransitionConfig MaryEra
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Transition · orphan
data TxInfoResult AlonzoEra
- AlonzoTxInfoResult (PlutusTxInfoResult 'PlutusV1 AlonzoEra)
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo · orphan
type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
data PlutusScript AlonzoEra
- AlonzoPlutusV1 (Plutus 'PlutusV1)
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
type ContextError AlonzoEra = AlonzoContextError AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo · orphan

datadata MaryValue

Instances25Generic, Semigroup, Monoid, ToJSON, Abelian, Group, …

Eq MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
Show MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
Generic MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
Semigroup MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
Monoid MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
NFData MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
ToJSON MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
NoThunks MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
DecCBOR MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
EncCBOR MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
Abelian MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
Group MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
ToKeyValuePairs MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
Compactible MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
Val MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
Inject Coin MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
Eq (CompactForm MaryValue)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
Show (CompactForm MaryValue)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
NFData (CompactForm MaryValue)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
MemPack (CompactForm MaryValue)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
NoThunks (CompactForm MaryValue)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
DecCBOR (CompactForm MaryValue)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
EncCBOR (CompactForm MaryValue)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
type Rep MaryValue = D1 ('MetaData "MaryValue" "Cardano.Ledger.Mary.Value" "cardano-ledger-mary-1.11.0.0-BDX9Jw3i0LOAEIgnwJZDrh" 'False) (C1 ('MetaCons "MaryValue" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MultiAsset)))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
data CompactForm MaryValue
- CompactValue CompactValue
Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value

familydata family ApplyTxError era

Instances32Eq, Show, Generic, Semigroup, DecCBOR, EncCBOR, …

Eq (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
Eq (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Eq (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
Eq (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Show (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
Show (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Show (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
Show (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Generic (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
Generic (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Generic (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
Generic (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
Semigroup (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
Semigroup (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
Semigroup (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
Semigroup (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
DecCBOR (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
DecCBOR (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
DecCBOR (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
DecCBOR (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
EncCBOR (ApplyTxError AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
EncCBOR (ApplyTxError AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
EncCBOR (ApplyTxError MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
EncCBOR (ApplyTxError ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
type Rep (ApplyTxError AllegraEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
type Rep (ApplyTxError AlonzoEra) = Rep (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
type Rep (ApplyTxError MaryEra) = Rep (NonEmpty (ShelleyLedgerPredFailure MaryEra))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
type Rep (ApplyTxError ShelleyEra) = Rep (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool
data ApplyTxError AllegraEra
- AllegraApplyTxError (NonEmpty (ShelleyLedgerPredFailure AllegraEra))
Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra · orphan
data ApplyTxError AlonzoEra
- AlonzoApplyTxError (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))
Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo · orphan
data ApplyTxError MaryEra
- MaryApplyTxError (NonEmpty (ShelleyLedgerPredFailure MaryEra))
Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary · orphan
data ApplyTxError ShelleyEra
- ShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))
Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.API.Mempool

constructorAlonzoApplyTxError (NonEmpty (ShelleyLedgerPredFailure AlonzoEra))

constructorShelleyApplyTxError (NonEmpty (ShelleyLedgerPredFailure ShelleyEra))

Orphan instances

9 instances

ApplyTx AlonzoEra
ApplyTick AlonzoEra
EraBlockHeader h AlonzoEra => ApplyBlock h AlonzoEra
Eq (ApplyTxError AlonzoEra)
Show (ApplyTxError AlonzoEra)
Generic (ApplyTxError AlonzoEra)
Semigroup (ApplyTxError AlonzoEra)
DecCBOR (ApplyTxError AlonzoEra)
EncCBOR (ApplyTxError AlonzoEra)