Modulecardano-ledger-alonzo-1.16.0.0

Cardano.Ledger.Alonzo

Synopsis

value mkAlonzoStAnnTx
data AlonzoScript
data AlonzoStAnnTx
newtype AlonzoTxAuxData
data AlonzoTxOut
data AlonzoEra
family Tx
constructor MkAllegraTx
value unAllegraTx
constructor MkAlonzoTx
value unAlonzoTx
constructor MkMaryTx
value unMaryTx
constructor MkShelleyTx
value unShelleyTx
pattern AlonzoTxBody
data MaryValue
family ApplyTxError
constructor AlonzoApplyTxError
constructor ShelleyApplyTxError

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-FWMPqwbjHvk5jzVph7s7YD" '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-FWMPqwbjHvk5jzVph7s7YD" '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-FWMPqwbjHvk5jzVph7s7YD" '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

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-FWMPqwbjHvk5jzVph7s7YD" '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-FWMPqwbjHvk5jzVph7s7YD" '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-FWMPqwbjHvk5jzVph7s7YD" '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

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-FWMPqwbjHvk5jzVph7s7YD" '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-8Iis6BIy809CntgfgphWq2" '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-ILf6F2MRyXmOxh7sg1ml2" '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-KJG8vrj48Bd5Cke8e4rFyC" '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 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-KJG8vrj48Bd5Cke8e4rFyC" '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)