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-dijkstra-0.3.0.0

Cardano.Ledger.Dijkstra.Core

  • 61 types
  • 39 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
#
Instances6AllegraEraTxAuxData
classclass EraTxBody era => AllegraEraTxBody era where
#
Instances6AllegraEraTxBody
datadata AlonzoBlockBody era
#
Instances8Eq, Show, Generic, NFData, NoThunks, DecCBOR, …
classclass EraPParams era => AlonzoEraPParams era where
#
Instances4AlonzoEraPParams
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
Instances4AlonzoEraScript
newtypenewtype AsItem ix it
#

Constructors

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

Constructors

Instances23Eq, Ord, Show, Generic, NFData, ToJSON, …
datadata AsIxItem ix it
#

Constructors

Instances19Eq, Ord, Show, Generic, NFData, ToJSON, …
familytype family PlutusPurpose (f :: Type -> Type -> Type) era
#
Instances4PlutusPurpose
familydata family PlutusScript era
#
Instances42Eq, Ord, Show, Generic, NFData, MemPack, …
classclass (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era, AlonzoEraTxAuxData era) => AlonzoEraTx era where
#
Instances4AlonzoEraTx
datadata IsPhase2Valid
#
Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …
classclass AllegraEraTxAuxData era => AlonzoEraTxAuxData era where
#
Instances4AlonzoEraTxAuxData
classclass (MaryEraTxBody era, AlonzoEraTxOut era) => AlonzoEraTxBody era where
#
Instances4AlonzoEraTxBody
classclass (AlonzoEraPParams era, EraTxOut era) => AlonzoEraTxOut era where
#
Instances4AlonzoEraTxOut
classclass (EraTxWits era, AlonzoEraScript era) => AlonzoEraTxWits era where
#

Methods

Instances4AlonzoEraTxWits
classclass AlonzoEraPParams era => BabbageEraPParams era where
#
Instances3BabbageEraPParams
classclass (AlonzoEraTxBody era, BabbageEraTxOut era) => BabbageEraTxBody era where
#
Instances3BabbageEraTxBody
classclass (AlonzoEraTxOut era, AlonzoEraScript era) => BabbageEraTxOut era where
#
Instances3BabbageEraTxOut
datadata DRepVotingThresholds
#
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata PoolVotingThresholds
#
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
classclass AlonzoEraScript era => ConwayEraScript era where
#
Instances2ConwayEraScript
classclass (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) => ConwayEraTxBody era where
#
Instances2ConwayEraTxBody
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 DirectDeposits
#
Instances10Eq, Show, Generic, Semigroup, Monoid, NFData, …
newtypenewtype Withdrawals
#
Instances10Eq, Show, Generic, Semigroup, Monoid, NFData, …
newtypenewtype CoinPerByte
#
Instances10Eq, Ord, Show, NFData, FromJSON, ToJSON, …
familytype family BlockBody era
#
Instances7BlockBody, …
classclass (EraTx era, Eq (BlockBody era), Show (BlockBody era), Typeable (BlockBody era), DecCBOR (Annotator (BlockBody era))) => EraBlockBody era where
#
Instances7EraBlockBody, …
  • 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 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.BlockBody.Internal · 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

Instances7EraScript, …
  • 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 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.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

Instances7EraTx, …
  • 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 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.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
Instances7EraTxAuxData, …
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
#
Instances7EraTxBody, …
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
#
Instances7EraTxOut, …
  • 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 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.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

Instances7EraTxWits, …
  • 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 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.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
#
Instances7NativeScript, …
familytype family Script era
#
Instances7Script, …
familytype family StAnnTx (l :: TxLevel) era
#
Instances7StAnnTx, …
familytype family StAnnTxCache era
#
Instances7StAnnTxCache, …
familydata family Tx (l :: TxLevel) era
#
Instances97HasEraTxLevel, TranslateEra, HasOKey, DecCBOR, Eq, Show, …
familytype family TxAuxData era
#
Instances7TxAuxData, …
familydata family TxBody (l :: TxLevel) era
#
Instances113HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …
familytype family TxOut era
#
Instances7TxOut, …
familytype family TxWits era
#
Instances7TxWits, …
familytype family Value era
#
Instances7Value, …
  • 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 DijkstraEra = MaryValueDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.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
#
Instances170EraRule, …
familytype family EraRuleEvent (rule :: Symbol) era
#
Instances77EraRuleEvent, …
familytype family EraRuleFailure (rule :: Symbol) era
#
Instances109EraRuleFailure, …
classclass EraRuleEvent rule era ~ Event (EraRule rule era) => InjectRuleEvent (rule :: Symbol) (t :: Type -> Type) era where
#

Methods

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

Methods

Instances529InjectRuleFailure, …
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
#
Instances7DowngradePParams, …

Associated types

Instances7EraPParams, …
  • 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 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.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

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

Associated types

Methods

Instances110TranslateEra, …
familytype family TranslationContext era
#
Instances7TranslationContext, …
familytype family TranslationError era (f :: Type -> Type)
#
Instances110TranslationError, …
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
#
Instances7EraTxCert, …
  • 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 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.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
#
Instances7TxCert, …
familytype family TxCertUpgradeError era
#
Instances7TxCertUpgradeError, …
classclass Era era => EraTxLevel era where
#

Associated types

Instances7EraTxLevel, …
  • 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 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.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

Instances24HasEraTxLevel, …
familytype family STxLevel (l :: TxLevel) era
#
Instances7STxLevel, …
constructorTopTx
#
Instances12TranslateEra, TranslationError, …
datadata EraIndependentTxBody
#
Instances7HashAnnotated, …
classclass SafeToHash x => HashAnnotated x i | x -> i where
#

Methods

Instances14HashAnnotated, …
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
#
Instances33SafeToHash, …
newtypenewtype ScriptHash
#
Instances17Eq, Ord, Show, Generic, Storable, NFData, …
newtypenewtype TxAuxDataHash
#
Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …
newtypenewtype VRFVerKeyHash (r :: KeyRoleVRF)
#
Instances14Eq, Ord, Show, Generic, NFData, FromJSON, …
Instances7EraGov, …
  • 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 DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.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
#
Instances22TranslateEra, Eq, Show, Generic, NFData, ToJSON, …
familytype family GovState era
#
Instances7GovState, …
newtypenewtype DijkstraBlockBody era
#
Instances10Eq, Show, Generic, NFData, DecCBOR, EncCBOR, …
classclass ConwayEraTxBody era => DijkstraEraTxBody era where
#
Instances1DijkstraEraTxBody
classclass AllegraEraTxBody era => MaryEraTxBody era where
#
Instances5MaryEraTxBody
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