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-conway-1.23.0.0

Cardano.Ledger.Conway.Core

  • 59 types
  • 38 classes
  • 162 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
#
Instances5AllegraEraTxAuxData
classclass EraTxBody era => AllegraEraTxBody era where
#
Instances5AllegraEraTxBody
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
Instances3AlonzoEraScript
newtypenewtype AsItem ix it
#

Constructors

Instances16Eq, Ord, Show, Generic, NFData, ToJSON, …
newtypenewtype AsIx ix it
#

Constructors

Instances18Eq, Ord, Show, Generic, NFData, ToJSON, …
  • Eq (AlonzoPlutusPurpose AsIx era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Scripts
  • Eq (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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 (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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 (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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 (ConwayPlutusPurpose AsIx era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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

Instances14Eq, Ord, Show, Generic, NFData, ToJSON, …
familytype family PlutusPurpose (f :: Type -> Type -> Type) era
#
Instances3PlutusPurpose
familydata family PlutusScript era
#
Instances32Eq, Ord, Show, Generic, NFData, MemPack, …
classclass (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era, AlonzoEraTxAuxData era) => AlonzoEraTx era where
#
Instances3AlonzoEraTx
datadata IsPhase2Valid
#
Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …
classclass AllegraEraTxAuxData era => AlonzoEraTxAuxData era where
#
Instances3AlonzoEraTxAuxData
classclass (MaryEraTxBody era, AlonzoEraTxOut era) => AlonzoEraTxBody era where
#
Instances3AlonzoEraTxBody
classclass (AlonzoEraPParams era, EraTxOut era) => AlonzoEraTxOut era where
#
Instances3AlonzoEraTxOut
classclass (EraTxWits era, AlonzoEraScript era) => AlonzoEraTxWits era where
#

Methods

Instances3AlonzoEraTxWits
classclass (AlonzoEraTxBody era, BabbageEraTxOut era) => BabbageEraTxBody era where
#
Instances2BabbageEraTxBody
datadata DRepVotingThresholds
#
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata PoolVotingThresholds
#
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
classclass (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) => ConwayEraTxBody era where
#
Instances1ConwayEraTxBody
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
#
Instances6BlockBody
classclass (EraTx era, Eq (BlockBody era), Show (BlockBody era), Typeable (BlockBody era), DecCBOR (Annotator (BlockBody era))) => EraBlockBody era where
#
Instances6EraBlockBody
  • 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 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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

Instances6EraScript
  • 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 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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

Instances6EraTx
  • 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 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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
Instances6EraTxAuxData
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
#
Instances6EraTxBody
  • 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 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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
#
Instances6EraTxOut
  • 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 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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

Instances6EraTxWits
  • 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 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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
#
Instances6NativeScript
familytype family Script era
#
Instances6Script
familytype family StAnnTx (l :: TxLevel) era
#
Instances6StAnnTx
familytype family StAnnTxCache era
#
Instances6StAnnTxCache
familydata family Tx (l :: TxLevel) era
#
Instances83HasEraTxLevel, TranslateEra, HasOKey, DecCBOR, Eq, Show, …
familytype family TxAuxData era
#
Instances6TxAuxData
familydata family TxBody (l :: TxLevel) era
#
Instances97HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …
familytype family TxOut era
#
Instances6TxOut
familytype family TxWits era
#
Instances6TxWits
familytype family Value era
#
Instances6Value
  • 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 ConwayEra = MaryValueDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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
#
Instances130EraRule, …
familytype family EraRuleEvent (rule :: Symbol) era
#
Instances43EraRuleEvent, …
familytype family EraRuleFailure (rule :: Symbol) era
#
Instances79EraRuleFailure, …
classclass EraRuleEvent rule era ~ Event (EraRule rule era) => InjectRuleEvent (rule :: Symbol) (t :: Type -> Type) era where
#

Methods

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

Methods

Instances360InjectRuleFailure, …
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
#
Instances6DowngradePParams

Associated types

Instances6EraPParams
  • 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 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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

Instances25TranslateEra, Eq, Ord, Show, Generic, NFData, …
familytype family PParamsHKD (f :: Type -> Type) era
#
Instances6PParamsHKD
newtypenewtype PParamsUpdate era
#
Instances20TranslateEra, Eq, Ord, Show, Generic, NFData, …
familytype family UpgradePParams (f :: Type -> Type) era
#
Instances6UpgradePParams
classclass (Era era, Era (PreviousEra era)) => TranslateEra era (f :: Type -> Type) where
#

Associated types

Methods

Instances89TranslateEra, …
familytype family TranslationContext era
#
Instances6TranslationContext
familytype family TranslationError era (f :: Type -> Type)
#
Instances89TranslationError, …
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
#
Instances6EraTxCert
  • 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 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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
#
Instances6TxCert
familytype family TxCertUpgradeError era
#
Instances6TxCertUpgradeError
classclass Era era => EraTxLevel era where
#

Associated types

Instances6EraTxLevel
  • 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 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.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

Instances19HasEraTxLevel, …
familytype family STxLevel (l :: TxLevel) era
#
Instances6STxLevel
constructorTopTx
#
Instances10TranslateEra, TranslationError, …
datadata EraIndependentTxBody
#
Instances6HashAnnotated
classclass SafeToHash x => HashAnnotated x i | x -> i where
#

Methods

Instances13HashAnnotated, …
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
#
Instances30SafeToHash, …
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, …
Instances6EraGov
  • 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 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance · 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
#
Instances20TranslateEra, Eq, Show, Generic, NFData, ToJSON, …
familytype family GovState era
#
Instances6GovState
classclass AllegraEraTxBody era => MaryEraTxBody era where
#
Instances4MaryEraTxBody
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
#
Instances6ShelleyEraTxCert