HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulecardano-ledger-babbage-1.14.0.0

Cardano.Ledger.Babbage.Core

  • 57 types
  • 34 classes
  • 141 values
newtypenewtype Hash h a
#
Instances25Eq, Ord, Read, Show, Generic, Storable, …
classclass (KnownNat (HashSize h), Typeable h) => HashAlgorithm h where
#
Instances10HashAlgorithm, …
datadata ValidityInterval
#
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
classclass EraTxAuxData era => AllegraEraTxAuxData era where
#
Instances4AllegraEraTxAuxData
classclass EraTxBody era => AllegraEraTxBody era where
#
Instances4AllegraEraTxBody
datadata AlonzoBlockBody era
#
Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …
newtypenewtype CoinPerWord
#
Instances10Eq, Ord, Show, NFData, FromJSON, ToJSON, …
  • Eq CoinPerWordDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
  • Ord CoinPerWordDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
  • Show CoinPerWordDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
  • NFData CoinPerWordDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
  • FromJSON CoinPerWordDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
  • ToJSON CoinPerWordDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
  • NoThunks CoinPerWordDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
  • DecCBOR CoinPerWordDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
  • EncCBOR CoinPerWordDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
  • ToPlutusData CoinPerWordDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams
Instances2AlonzoEraScript
newtypenewtype AsItem ix it
#

Constructors

Instances13Eq, Ord, Show, Generic, NFData, ToJSON, …
  • Eq (TxCert era) => Eq (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Eq it => Eq (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Ord it => Ord (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Show (TxCert era) => Show (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Show it => Show (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Generic it => Generic (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • NFData it => NFData (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • ToJSON it => ToJSON (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • NoThunks (TxCert era) => NoThunks (AlonzoPlutusPurpose AsItem era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • NoThunks it => NoThunks (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • (Typeable ix, DecCBOR it) => DecCBOR (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • EncCBOR it => EncCBOR (AsItem ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • type Rep (AsItem ix it) = Rep itDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
newtypenewtype AsIx ix it
#

Constructors

Instances14Eq, Ord, Show, Generic, NFData, ToJSON, …
  • Eq (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Eq ix => Eq (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Ord (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Ord ix => Ord (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Show (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Show ix => Show (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Generic ix => Generic (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • NFData ix => NFData (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • ToJSON ix => ToJSON (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • NoThunks (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • NoThunks ix => NoThunks (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • (Typeable it, DecCBOR ix) => DecCBOR (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • EncCBOR ix => EncCBOR (AsIx ix it)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • type Rep (AsIx ix it) = Rep ixDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
datadata AsIxItem ix it
#

Constructors

Instances11Eq, Ord, Show, Generic, NFData, ToJSON, …
familydata family PlutusScript era
#
Instances22Eq, Ord, Show, Generic, NFData, MemPack, …
datadata IsPhase2Valid
#
Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …
classclass AllegraEraTxAuxData era => AlonzoEraTxAuxData era where
#
Instances2AlonzoEraTxAuxData
classclass (MaryEraTxBody era, AlonzoEraTxOut era) => AlonzoEraTxBody era where
#
Instances2AlonzoEraTxBody
classclass (AlonzoEraTxBody era, BabbageEraTxOut era) => BabbageEraTxBody era where
#
Instances1BabbageEraTxBody
datadata AccountAddress
#
Instances14Eq, Ord, Show, Generic, NFData, FromJSON, …
newtypenewtype AccountId
#
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata Addr
#
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
newtypenewtype Withdrawals
#
Instances10Eq, Show, Generic, Semigroup, Monoid, NFData, …
newtypenewtype CoinPerByte
#
Instances10Eq, Ord, Show, NFData, FromJSON, ToJSON, …
familytype family BlockBody era
#
Instances5BlockBody
classclass (EraTx era, Eq (BlockBody era), Show (BlockBody era), Typeable (BlockBody era), DecCBOR (Annotator (BlockBody era))) => EraBlockBody era where
#
Instances5EraBlockBody
  • EraBlockBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.BlockBody · orphan
  • EraBlockBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.BlockBody.Internal · orphan
  • EraBlockBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.BlockBody · orphan
  • EraBlockBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.BlockBody · orphan
  • EraBlockBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.BlockBody.Internal · orphan
classclass (Era era, Show (Script era), Eq (Script era), EqRaw (Script era), ToJSON (Script era), FromJSON (Script era), ToCBOR (Script era), EncCBOR (Script era), DecCBOR (Annotator (Script era)), NFData (Script era), NoThunks (Script era), SafeToHash (Script era), Eq (NativeScript era), Show (NativeScript era), NFData (NativeScript era), NoThunks (NativeScript era), ToJSON (NativeScript era), FromJSON (NativeScript era), ToCBOR (NativeScript era), EncCBOR (NativeScript era), DecCBOR (Annotator (NativeScript era))) => EraScript era where
#

Associated types

Instances5EraScript
  • EraScript AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Scripts · orphan
  • EraScript AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts · orphan
  • EraScript BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Scripts · orphan
  • EraScript MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Scripts · orphan
  • EraScript ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Scripts · orphan
classclass (EraTxBody era, EraTxWits era, EraTxAuxData era, EraPParams era, HasEraTxLevel Tx era, Monoid (StAnnTxCache era), forall (l :: TxLevel). Typeable l => NoThunks (Tx l era), forall (l :: TxLevel). Typeable l => DecCBOR (Annotator (Tx l era)), forall (l :: TxLevel). Typeable l => ToCBOR (Tx l era), forall (l :: TxLevel). EncCBOR (Tx l era), forall (l :: TxLevel). NFData (Tx l era), forall (l :: TxLevel). Show (Tx l era), forall (l :: TxLevel). Eq (Tx l era)) => EraTx era where
#

Associated types

Methods

Instances5EraTx
  • EraTx AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Tx · orphan
  • EraTx AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Tx · orphan
  • EraTx BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Tx · orphan
  • EraTx MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Tx · orphan
  • EraTx ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Tx · orphan
Instances5EraTxAuxData
classclass (EraTxOut era, EraTxCert era, EraPParams era, HasEraTxLevel TxBody era, forall (l :: TxLevel). HashAnnotated (TxBody l era) EraIndependentTxBody, forall (l :: TxLevel). EncCBOR (TxBody l era), forall (l :: TxLevel). Typeable l => DecCBOR (Annotator (TxBody l era)), forall (l :: TxLevel). Typeable l => ToCBOR (TxBody l era), forall (l :: TxLevel). Typeable l => NoThunks (TxBody l era), forall (l :: TxLevel). NFData (TxBody l era), forall (l :: TxLevel). Show (TxBody l era), forall (l :: TxLevel). Eq (TxBody l era), forall (l :: TxLevel). EqRaw (TxBody l era)) => EraTxBody era where
#
Instances5EraTxBody
  • EraTxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan
  • EraTxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan
  • EraTxBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphan
  • EraTxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
  • EraTxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
classclass (Val (Value era), ToJSON (TxOut era), DecCBOR (Value era), DecCBOR (CompactForm (Value era)), MemPack (CompactForm (Value era)), EncCBOR (Value era), EncCBOR (TxOut era), DecCBOR (TxOut era), DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential Staking), NoThunks (TxOut era), NFData (TxOut era), Show (TxOut era), Eq (TxOut era), MemPack (TxOut era), EraPParams era) => EraTxOut era where
#
Instances5EraTxOut
  • EraTxOut AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxOut · orphan
  • EraTxOut AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut · orphan
  • EraTxOut BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut · orphan
  • EraTxOut MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxOut · orphan
  • EraTxOut ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut · orphan
classclass (EraScript era, Eq (TxWits era), EqRaw (TxWits era), Show (TxWits era), Monoid (TxWits era), NoThunks (TxWits era), ToCBOR (TxWits era), EncCBOR (TxWits era), DecCBOR (Annotator (TxWits era))) => EraTxWits era where
#

Associated types

Instances5EraTxWits
  • EraTxWits AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxWits · orphan
  • EraTxWits AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxWits · orphan
  • EraTxWits BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxWits · orphan
  • EraTxWits MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxWits · orphan
  • EraTxWits ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxWits · orphan
familytype family NativeScript era
#
Instances5NativeScript
familytype family Script era
#
Instances5Script
familytype family StAnnTx (l :: TxLevel) era
#
Instances5StAnnTx
familytype family StAnnTxCache era
#
Instances5StAnnTxCache
familydata family Tx (l :: TxLevel) era
#
Instances69HasEraTxLevel, TranslateEra, HasOKey, DecCBOR, Eq, Show, …
familytype family TxAuxData era
#
Instances5TxAuxData
familydata family TxBody (l :: TxLevel) era
#
Instances81HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …
familytype family TxOut era
#
Instances5TxOut
familytype family TxWits era
#
Instances5TxWits
familytype family Value era
#
Instances5Value
  • type Value AllegraEra = CoinDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
  • type Value AlonzoEra = MaryValueDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
  • type Value BabbageEra = MaryValueDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Era · orphan
  • type Value MaryEra = MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Era · orphan
  • type Value ShelleyEra = CoinDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
familytype family EraRule (rule :: Symbol) era
#
Instances102EraRule, …
familytype family EraRuleEvent (rule :: Symbol) era
#
Instances21EraRuleEvent, …
familytype family EraRuleFailure (rule :: Symbol) era
#
Instances62EraRuleFailure, …
classclass EraRuleEvent rule era ~ Event (EraRule rule era) => InjectRuleEvent (rule :: Symbol) (t :: Type -> Type) era where
#

Methods

Instances6InjectRuleEvent
classclass EraRuleFailure rule era ~ PredicateFailure (EraRule rule era) => InjectRuleFailure (rule :: Symbol) (t :: Type -> Type) era where
#

Methods

Instances267InjectRuleFailure, …
datadata VoidEraRule (rule :: Symbol) era
#
Instances6Eq, Ord, Show, NFData, DecCBOR, EncCBOR
  • Eq (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
  • Ord (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
  • Show (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
  • NFData (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
  • (KnownSymbol rule, Era era) => DecCBOR (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
  • (KnownSymbol rule, Era era) => EncCBOR (VoidEraRule rule era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.Era
familytype family DowngradePParams (f :: Type -> Type) era
#
Instances5DowngradePParams

Associated types

Instances5EraPParams
  • EraPParams AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphan
  • EraPParams AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphan
  • EraPParams BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.PParams · orphan
  • EraPParams MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.PParams · orphan
  • EraPParams ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.PParams · orphan
newtypenewtype PParams era
#

Constructors

Instances23TranslateEra, Eq, Ord, Show, Generic, NFData, …
familytype family PParamsHKD (f :: Type -> Type) era
#
Instances5PParamsHKD
newtypenewtype PParamsUpdate era
#
Instances19TranslateEra, Eq, Ord, Show, Generic, NFData, …
familytype family UpgradePParams (f :: Type -> Type) era
#
Instances5UpgradePParams
classclass (Era era, Era (PreviousEra era)) => TranslateEra era (f :: Type -> Type) where
#

Associated types

Methods

Instances78TranslateEra, …
familytype family TranslationContext era
#
Instances5TranslationContext
familytype family TranslationError era (f :: Type -> Type)
#
Instances78TranslationError, …
classclass (Era era, ToJSON (TxCert era), DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Ord (TxCert era), Eq (TxCert era)) => EraTxCert era where
#
Instances5EraTxCert
  • EraTxCert AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxCert · orphan
  • EraTxCert AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxCert · orphan
  • EraTxCert BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxCert · orphan
  • EraTxCert MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxCert · orphan
  • EraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan
datadata PoolCert
#
Instances8Eq, Ord, Show, Generic, NFData, ToJSON, …
familytype family TxCert era
#
Instances5TxCert
familytype family TxCertUpgradeError era
#
Instances5TxCertUpgradeError
classclass Era era => EraTxLevel era where
#

Associated types

Instances5EraTxLevel
  • EraTxLevel AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.Era · orphan
  • EraTxLevel AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Era · orphan
  • EraTxLevel BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.Era · orphan
  • EraTxLevel MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan
  • EraTxLevel ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Era · orphan
classclass EraTxLevel era => HasEraTxLevel (t :: TxLevel -> Type -> Type) era where
#

Methods

Instances16HasEraTxLevel, …
familytype family STxLevel (l :: TxLevel) era
#
Instances5STxLevel
constructorTopTx
#
Instances8TranslateEra, TranslationError, …
datadata EraIndependentTxBody
#
Instances5HashAnnotated
classclass SafeToHash x => HashAnnotated x i | x -> i where
#

Methods

Instances12HashAnnotated, …
newtypenewtype HashHeader
#
Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …
newtypenewtype KeyHash (r :: KeyRole)
#
Instances19HasKeyRole, Eq, Ord, Show, Generic, Storable, …
  • HasKeyRole KeyHashDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Eq (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Ord (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Show (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Generic (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Storable (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • NFData (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • FromJSON (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • FromJSONKey (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • ToJSON (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • ToJSONKey (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Default (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • MemPack (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • NoThunks (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Typeable r => FromCBOR (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Typeable r => ToCBOR (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Typeable r => DecCBOR (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • EncCBOR (KeyHash r)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • type Rep (KeyHash r) = Rep (Hash ADDRHASH (VerKeyDSIGN DSIGN))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
newtypenewtype SafeHash i
#
Instances12Eq, Ord, Show, NFData, FromJSON, ToJSON, …
  • Eq (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Ord (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Show (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • NFData (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • FromJSON (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • ToJSON (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Default (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • MemPack (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • NoThunks (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • Typeable i => DecCBOR (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • EncCBOR (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
  • SafeToHash (SafeHash i)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Hashes
classclass SafeToHash t where
#
Instances28SafeToHash, …
newtypenewtype ScriptHash
#
Instances16Eq, Ord, Show, Generic, Storable, NFData, …
newtypenewtype TxAuxDataHash
#
Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …
newtypenewtype VRFVerKeyHash (r :: KeyRoleVRF)
#
Instances14Eq, Ord, Show, Generic, NFData, FromJSON, …
Instances5EraGov
  • EraGov AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.PParams · orphan
  • EraGov AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.PParams · orphan
  • EraGov BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.PParams · orphan
  • EraGov MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.PParams · orphan
  • EraGov ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.Governance · orphan
datadata FuturePParams era
#
Instances18TranslateEra, Eq, Show, Generic, NFData, ToJSON, …
familytype family GovState era
#
Instances5GovState
classclass AllegraEraTxBody era => MaryEraTxBody era where
#
Instances3MaryEraTxBody
datadata ShelleyBlockBody era
#
Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …
datadata ShelleyGovState era
#
Instances23TranslateEra, Eq, Show, Generic, NFData, ToJSON, …
classclass (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) => ShelleyEraTxBody era where
#
Instances5ShelleyEraTxBody
datadata MIRCert
#
Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …
datadata MIRPot
#
Instances12Bounded, Enum, Eq, Ord, Show, Generic, …
  • Bounded MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
  • Enum MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
  • Eq MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
  • Ord MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
  • Show MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
  • Generic MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
  • NFData MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
  • ToJSON MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
  • NoThunks MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
  • DecCBOR MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
  • EncCBOR MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
  • type Rep MIRPot = D1 ('MetaData "MIRPot" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P" 'False) (C1 ('MetaCons "ReservesMIR" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TreasuryMIR" 'PrefixI 'False) U1)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
datadata MIRTarget
#
Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …
classclass (EraTxCert era, AtMostEra "Conway" era) => ShelleyEraTxCert era where
#
Instances5ShelleyEraTxCert