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-api-1.14.0.0

Cardano.Ledger.Api

  • 82 types
  • 39 classes
  • 141 values
datadata ValidityInterval
#
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
classclass EraTxAuxData era => AllegraEraTxAuxData era where
#
Instances6AllegraEraTxAuxData
newtypenewtype AllegraTxAuxData era
#
Instances19TranslateEra, Eq, Show, Generic, NFData, FromJSON, …
classclass EraTxBody era => AllegraEraTxBody era where
#
Instances6AllegraEraTxBody
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
newtypenewtype DowngradeAlonzoPParams (f :: Type -> Type)
#
Instances6Eq, Show, Generic, NFData, NoThunks, Rep
datadata LangDepView
#
Instances6Eq, Ord, Show, Generic, NoThunks, Rep
datadata UpgradeAlonzoPParams (f :: Type -> Type)
#
Instances7Eq, Show, Generic, NFData, Default, NoThunks, …
datadata TransactionScriptFailure era
#
Instances4Eq, Show, Generic, Rep
Instances4AlonzoEraScript
datadata AlonzoPlutusPurpose (f :: Type -> Type -> Type) era
#
Instances18Eq, Ord, Show, Generic, NFData, ToJSON, …
newtypenewtype AsItem ix it
#

Constructors

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

Constructors

Instances23Eq, 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
newtypenewtype AlonzoTxAuxData era
#
Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …
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
newtypenewtype Redeemers era
#

Constructors

Instances14Eq, Show, Generic, Semigroup, Monoid, NFData, …
newtypenewtype TxDats era
#

Constructors

Instances14Eq, Show, Generic, Semigroup, Monoid, NFData, …
classclass (EraTx era, EraTxOut era, EraTxBody era, EraTxAuxData era, EraTxWits era, EraScript era, EraPParams era, EraBlockBody era, EraTxCert era) => EraApi era where
#
Instances7EraApi, …
  • EraApi AllegraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Era
  • EraApi AlonzoEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Era
  • EraApi BabbageEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Era
  • EraApi ConwayEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Era
  • EraApi DijkstraEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Era
  • EraApi MaryEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Era
  • EraApi ShelleyEraDefined in cardano-ledger-api-1.14.0.0 · Cardano.Ledger.Api.Era
familytype family TxBodyUpgradeError era
#
Instances7TxBodyUpgradeError, …
familytype family TxUpgradeError era
#
Instances7TxUpgradeError, …
classclass EraScript era => AnyEraScript era where
#
Instances7AnyEraScript, …
classclass (EraTx era, AnyEraTxBody era, AnyEraTxWits era, AnyEraTxAuxData era) => AnyEraTx era where
#
Instances7AnyEraTx, …
classclass EraTxAuxData era => AnyEraTxAuxData era where
#
Instances7AnyEraTxAuxData, …
classclass (EraTxBody era, AnyEraTxOut era, AnyEraTxCert era) => AnyEraTxBody era where
#
Instances7AnyEraTxBody, …
classclass EraTxCert era => AnyEraTxCert era where
#
Instances7AnyEraTxCert, …
classclass (EraTxOut era, AnyEraScript era) => AnyEraTxOut era where
#
Instances7AnyEraTxOut, …
classclass (EraTxWits era, AnyEraScript era) => AnyEraTxWits era where
#
Instances7AnyEraTxWits, …
classclass (AlonzoEraTxBody era, BabbageEraTxOut era) => BabbageEraTxBody era where
#
Instances3BabbageEraTxBody
classclass (AlonzoEraTxOut era, AlonzoEraScript era) => BabbageEraTxOut era where
#
Instances3BabbageEraTxOut
datadata ConwayGovState era
#
Instances17TranslateEra, Eq, Show, Generic, NFData, ToJSON, …
datadata DRepPulsingState era
#
Instances12TranslateEra, Eq, Show, Generic, NFData, NoThunks, …
datadata EnactState era
#
Instances15TranslateEra, Eq, Show, Generic, NFData, ToJSON, …
datadata RatifyState era
#
Instances18TranslateEra, Show, Generic, ToJSON, Default, DecCBOR, …
datadata Committee era
#
Instances12Eq, Show, Generic, NFData, FromJSON, ToJSON, …
datadata Constitution era
#
Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata GovAction era
#
Instances12TranslateEra, Eq, Ord, Show, Generic, NFData, …
datadata GovActionId
#
Instances13Eq, Ord, Show, Generic, NFData, ToJSON, …
newtypenewtype GovActionIx
#
Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …
  • Eq GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • Ord GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • Show GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • Generic GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • NFData GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • ToJSON GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • NoThunks GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • DecCBOR GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • EncCBOR GovActionIxDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • type Rep GovActionIx = D1 ('MetaData "GovActionIx" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'True) (C1 ('MetaCons "GovActionIx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
datadata GovActionPurpose
#
Instances4Eq, Show, Generic, Rep
datadata GovActionState era
#
Instances16TranslateEra, HasOKey, Eq, Ord, Show, Generic, …
newtypenewtype GovPurposeId (p :: GovActionPurpose)
#
Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …
datadata GovRelation (f :: Type -> Type)
#
Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …
datadata ProposalProcedure era
#
Instances13TranslateEra, Eq, Ord, Show, Generic, NFData, …
datadata Vote
#
Instances12Bounded, Enum, Eq, Ord, Show, Generic, …
  • Bounded VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • Enum VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • Eq VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • Ord VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • Show VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • Generic VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • NFData VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • ToJSON VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • NoThunks VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • DecCBOR VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • EncCBOR VoteDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
  • type Rep Vote = D1 ('MetaData "Vote" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK" 'False) (C1 ('MetaCons "VoteNo" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "VoteYes" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) U1))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.Governance.Procedures
datadata Voter
#
Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …
datadata VotingProcedure era
#
Instances10Eq, Show, Generic, NFData, ToJSON, NoThunks, …
newtypenewtype VotingProcedures era
#
Instances10Indexable, Eq, Show, Generic, NFData, ToJSON, …
datadata ConwayPlutusPurpose (f :: Type -> Type -> Type) era
#
Instances19Eq, Ord, Show, Generic, NFData, ToJSON, …
classclass (BabbageEraTxBody era, ConwayEraTxCert era, ConwayEraPParams era, ConwayEraScript era) => ConwayEraTxBody era where
#
Instances2ConwayEraTxBody
classclass EraTxCert era => ConwayEraTxCert era where
#
Instances2ConwayEraTxCert
datadata Delegatee
#
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
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 BootstrapAddress
#
Instances7Eq, Ord, Show, Generic, NFData, NoThunks, …
newtypenewtype DirectDeposits
#
Instances10Eq, Show, Generic, Semigroup, Monoid, NFData, …
newtypenewtype Withdrawals
#
Instances10Eq, Show, Generic, Semigroup, Monoid, NFData, …
datadata Anchor
#
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
newtypenewtype CoinPerByte
#
Instances10Eq, Ord, Show, NFData, FromJSON, ToJSON, …
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
#

Associated types

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, …
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 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
#
Instances27TranslateEra, Eq, Ord, Show, Generic, NFData, …
newtypenewtype PParamsUpdate era
#
Instances20TranslateEra, Eq, Ord, Show, Generic, NFData, …
familytype family UpgradePParams (f :: Type -> Type) era
#
Instances7UpgradePParams, …
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
familytype family TxCert era
#
Instances7TxCert, …
familytype family TxCertUpgradeError era
#
Instances7TxCertUpgradeError, …
newtypenewtype ScriptHash
#
Instances17Eq, Ord, Show, Generic, Storable, NFData, …
newtypenewtype TxAuxDataHash
#
Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …
datadata BootstrapWitness
#
Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …
datadata WitVKey (kr :: KeyRole)
#
Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …
datadata Metadatum
#
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata CostModels
#
Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …
newtypenewtype BinaryData era
#
Instances11Eq, Ord, Show, Generic, MemPack, NoThunks, …
newtypenewtype Data era
#
Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …
datadata Datum era
#
Instances10Eq, Ord, Show, Generic, ToJSON, MemPack, …
datadata Language
#
Instances20Bounded, Enum, Eq, Ord, Read, Show, …
  • Bounded LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • Enum LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • Eq LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • Ord LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • Read LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • Show LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • Ix LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • Generic LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • NFData LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • Random LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • Uniform LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • UniformRange LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • FromJSON LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • FromJSONKey LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • ToJSON LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • ToJSONKey LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • NoThunks LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • DecCBOR LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • EncCBOR LanguageDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
  • type Rep Language = D1 ('MetaData "Language" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) ((C1 ('MetaCons "PlutusV1" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PlutusV2" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "PlutusV3" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PlutusV4" 'PrefixI 'False) U1))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.Language
newtypenewtype PlutusBinary
#
Instances15Eq, 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
familytype family GovState era
#
Instances7GovState, …
datadata AllegraEra
#
Instances224EraBlockBody, EraScript, EraTx, EraTxAuxData, EraTxBody, EraTxOut, …
datadata AlonzoEra
#
Instances271EraBlockBody, EraScript, EraTx, EraTxAuxData, EraTxBody, EraTxOut, …
datadata BabbageEra
#
Instances285EraBlockBody, EraScript, EraTx, EraTxAuxData, EraTxBody, EraTxOut, …
datadata ConwayEra
#
Instances342EraBlockBody, EraScript, EraTx, EraTxAuxData, EraTxBody, EraTxOut, …
datadata DijkstraEra
#
Instances488EraBlockBody, EraScript, EraTx, EraTxAuxData, EraTxBody, EraTxOut, …
datadata MaryEra
#
Instances230EraBlockBody, EraScript, EraTx, EraTxAuxData, EraTxBody, EraTxOut, …
datadata ShelleyEra
#
Instances184EraBlockBody, EraScript, EraTx, EraTxAuxData, EraTxBody, EraTxOut, …
datadata AccountBalanceInterval era
#
Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …
newtypenewtype AccountBalanceIntervals era
#
Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …
classclass ConwayEraTxBody era => DijkstraEraTxBody era where
#
Instances1DijkstraEraTxBody
classclass AllegraEraTxBody era => MaryEraTxBody era where
#
Instances5MaryEraTxBody
datadata ShelleyGovState era
#
Instances23TranslateEra, Eq, Show, Generic, NFData, ToJSON, …
newtypenewtype ProposedPPUpdates era
#
Instances21TranslateEra, Eq, Show, Generic, Semigroup, Monoid, …
newtypenewtype ShelleyTxAuxData era
#
Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …
classclass (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) => ShelleyEraTxBody era where
#
Instances5ShelleyEraTxBody
classclass (EraTxCert era, AtMostEra "Conway" era) => ShelleyEraTxCert era where
#
Instances6ShelleyEraTxCert