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

Cardano.Api.Ledger

  • 94 types
  • 26 classes
  • 71 values
classclass ShelleyEraScript era => AllegraEraScript era where
#
Instances6AllegraEraScript
newtypenewtype Timelock (era :: k)
#

Constructors

Instances19TranslateEra, DecCBOR, Eq, Ord, Show, Generic, …
classclass EraTxBody era => AllegraEraTxBody era where
#
Instances6AllegraEraTxBody
datadata AlonzoGenesis
#
Instances13Eq, Show, Generic, NFData, FromJSON, ToJSON, …
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
datadata AlonzoPlutusPurpose (f :: Type -> Type -> Type) era
#
Instances18Eq, 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 (MaryEraTxBody era, AlonzoEraTxOut era) => AlonzoEraTxBody era where
#
Instances4AlonzoEraTxBody
classclass (AlonzoEraPParams era, EraTxOut era) => AlonzoEraTxOut era where
#

Methods

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, …
newtypenewtype AlonzoScriptsNeeded era
#
Instances7Eq, Show, Generic, Semigroup, Monoid, NFData, …
classclass (AlonzoEraTxBody era, BabbageEraTxOut era) => BabbageEraTxBody era where
#
Instances3BabbageEraTxBody
datadata Annotated b a
#

Constructors

Instances14Bifunctor, Functor, Eq, Ord, Show, Generic, …
datadata ByteSpan
#
Instances24Show, Generic, ToJSON, FromCBOR, DecCBOR, Rep, …
newtypenewtype Version
#
Instances17Bounded, Enum, Eq, Ord, Show, NFData, …
  • Bounded VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • Enum VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • Eq VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • Ord VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • Show VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • NFData VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • Random VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • Uniform VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • UniformRange VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • FromJSON VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • ToJSON VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • NoThunks VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • FromCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • ToCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Version
  • DecCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOR
  • EncCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBOR
  • ToPlutusData VersionDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
datadata ConwayGenesis
#
Instances13Eq, Show, Generic, NFData, FromJSON, ToJSON, …
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
#
Instances18Eq, Ord, Show, Generic, NFData, ToJSON, …
newtypenewtype GovActionIx
#
Instances13Eq, 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
  • HasTypeProxy GovActionIxDefined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
  • SerialiseAsRawBytes GovActionIxDefined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
  • 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
  • data AsType GovActionIx
    • AsGovActionIx
    Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
datadata GovActionState era
#
Instances16TranslateEra, HasOKey, Eq, Ord, Show, Generic, …
newtypenewtype GovPurposeId (p :: GovActionPurpose)
#
Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …
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 DRepVotingThresholds
#
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata PoolVotingThresholds
#
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata UpgradeConwayPParams (f :: Type -> Type)
#
Instances18Eq, Ord, Show, Generic, NFData, FromJSON, …
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
datadata ConwayDelegCert
#
Instances9Eq, Ord, Show, Generic, NFData, ToJSON, …
classclass EraTxCert era => ConwayEraTxCert era where
#
Instances2ConwayEraTxCert
datadata ConwayGovCert
#
Instances9Eq, Ord, Show, Generic, NFData, ToJSON, …
datadata ConwayTxCert era
#
Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …
datadata Delegatee
#
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata AccountAddress
#
Instances14Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata Addr
#
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata Anchor
#
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
newtypenewtype DnsName
#
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
classclass Inject t s where
#

Methods

Instances13Inject, …
datadata Network
#
Instances16Bounded, Enum, Eq, Ord, Show, Generic, …
  • Bounded NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • Enum NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • Eq NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • Ord NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • Show NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • Generic NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • NFData NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • FromJSON NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • ToJSON NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • Default NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • NoThunks NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • FromCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • ToCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • DecCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • EncCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • type Rep Network = D1 ('MetaData "Network" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'False) (C1 ('MetaCons "Testnet" 'PrefixI 'False) U1 :+: C1 ('MetaCons "Mainnet" 'PrefixI 'False) U1)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
newtypenewtype NonNegativeInterval
#
Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata ProtVer
#
Instances16Eq, Ord, Show, Generic, NFData, FromJSON, …
newtypenewtype UnitInterval
#
Instances16Eq, Ord, Show, Generic, NFData, FromJSON, …
newtypenewtype Url
#
Instances12Eq, Ord, Show, Generic, NFData, Pretty, …
  • Eq UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • Ord UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • Show UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • Generic UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • NFData UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • Pretty UrlDefined in cardano-api-11.7.0.0 · Cardano.Api.Pretty · orphan
  • FromJSON UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • ToJSON UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • NoThunks UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • DecCBOR UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • EncCBOR UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
  • type Rep Url = D1 ('MetaData "Url" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "Url" 'PrefixI 'True) (S1 ('MetaSel ('Just "urlToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
newtypenewtype Coin
#

Constructors

Instances56Enum, Integral, Num, Real, Bits, Pretty, …
newtypenewtype CoinPerByte
#
Instances10Eq, Ord, Show, NFData, FromJSON, ToJSON, …
familydata family CompactForm a
#
Instances41Eq, Ord, Show, Generic, Semigroup, Monoid, …
classclass (Show (CompactForm a), Eq (CompactForm a), EncCBOR (CompactForm a), NoThunks (CompactForm a)) => Compactible a where
#

Associated types

Methods

Instances3Compactible
familytype family Script era
#
Instances7Script, …
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

Methods

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 Script era
#
Instances7Script, …
familydata family Tx (l :: TxLevel) era
#
Instances97HasEraTxLevel, TranslateEra, HasOKey, DecCBOR, Eq, Show, …
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 DowngradePParams (f :: Type -> Type) era
#
Instances7DowngradePParams, …

Associated types

Methods

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, 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, …
constructorTopTx
#
Instances12TranslateEra, TranslationError, …
constructorTopTx
#
Instances12TranslateEra, TranslationError, …
datadata Credential (kr :: KeyRole)
#
Instances34HasKeyRole, Eq, Ord, Show, Generic, Storable, …
datadata StakeReference
#
Instances8Eq, Ord, Show, Generic, NFData, ToJSON, …
datadata DRep
#
Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata DRepState
#
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata GenDelegPair
#
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
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
constructorColdCommitteeRole
#
Instances5HasTypeProxy, Cip129, SerialiseAsRawBytes, AsType, Cip129Header
constructorDRepRole
#
Instances5HasTypeProxy, Cip129, SerialiseAsRawBytes, AsType, Cip129Header
constructorHotCommitteeRole
#
Instances5HasTypeProxy, Cip129, SerialiseAsRawBytes, AsType, Cip129Header
newtypenewtype VKey (kd :: KeyRole)
#
Instances12HasKeyRole, Eq, Show, Generic, NFData, ToJSON, …
  • HasKeyRole VKeyDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
  • Eq (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
  • Show (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
  • Generic (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
  • NFData (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
  • ToJSON (VKey Witness)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
  • NoThunks (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
  • Typeable kd => FromCBOR (VKey kd)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
  • Typeable kd => ToCBOR (VKey kd)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
  • Typeable kd => DecCBOR (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
  • EncCBOR (VKey kd)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
  • type Rep (VKey kd) = D1 ('MetaData "VKey" "Cardano.Ledger.Keys.Internal" "cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6" 'True) (C1 ('MetaCons "VKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN DSIGN))))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Keys.Internal
constructorWitness
#
Instances1ToJSON
  • ToJSON (VKey Witness)Defined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Serialisation · orphan
datadata WitVKey (kr :: KeyRole)
#
Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …
datadata CostModels
#
Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …
newtypenewtype Data era
#

Constructors

Instances16Eq, Show, Generic, NFData, FromJSON, ToJSON, …
datadata Datum era
#
Instances10Eq, Ord, Show, Generic, ToJSON, MemPack, …
newtypenewtype ExUnits
#
Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …
datadata Prices
#
Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata Language
#
Instances21Bounded, 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
  • TestEquality SLanguageDefined in cardano-api-11.7.0.0 · Cardano.Api.Internal.Orphans.Misc · orphan
  • 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 Plutus (l :: Language)
#
Instances11Eq, Ord, Show, Generic, NFData, MemPack, …
datadata SLanguage (l :: Language) where
#
Instances13TestEquality, Eq, Show, DecCBOR, EncCBOR, HasTypeProxy, …
datadata PState era
#
Instances25TranslateEra, Eq, Show, Generic, NFData, ToJSON, …
datadata ChainAccountState
#
Instances11Eq, Show, Generic, NFData, ToJSON, Default, …

Associated types

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 PoolMetadata
#
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata StakePoolParams
#
Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …
valueppCost :: PoolParams -> Coin
#

Deprecated. In favor of fields with `spp*` prefix

valueppPledge :: PoolParams -> Coin
#

Deprecated. In favor of fields with `spp*` prefix

datadata StakePoolRelay
#
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
familytype family ScriptsNeeded era
#
Instances7ScriptsNeeded, …
familytype family ScriptsNeeded era
#
Instances7ScriptsNeeded, …
newtypenewtype UTxO era
#

Constructors

Instances30CanGetUTxO, CanSetUTxO, TranslateEra, Eq, Show, Generic, …
newtypenewtype TxId
#
Instances14Eq, Ord, Show, Generic, NFData, FromJSON, …
datadata TxIn
#

Constructors

Instances14Eq, Ord, Show, Generic, NFData, ToJSON, …
classclass (Compactible t, Inject Coin t, EncCBOR (CompactForm t), DecCBOR (CompactForm t), Abelian t, NoThunks t, EncCBOR t, DecCBOR t, ToJSON t, NFData t, Show t, Eq t) => Val t where
#

Methods

Instances3Val
  • Val CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Val
  • Val DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Val
  • Val MaryValueDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.Value
datadata DijkstraPlutusPurpose (f :: Type -> Type -> Type) era
#
Instances23Eq, Ord, Show, Generic, NFData, ToJSON, …
datadata DijkstraTxCert era
#
Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …
classclass AllegraEraTxBody era => MaryEraTxBody era where
#
Instances5MaryEraTxBody
datadata MaryValue
#

Constructors

Instances25Generic, Semigroup, Monoid, ToJSON, Abelian, Group, …
newtypenewtype MultiAsset
#
Instances14Eq, Show, Generic, Semigroup, Monoid, NFData, …
newtypenewtype PolicyID
#
Instances14Eq, Ord, Show, Generic, NFData, Pretty, …
Instances13Eq, Show, Generic, Semigroup, Monoid, NFData, …
datadata NewEpochState era
#
Instances29CanGetChainAccountState, CanSetChainAccountState, CanGetInstantStake, CanSetInstantStake, CanGetUTxO, CanSetUTxO, …
classclass (ShelleyEraTxCert era, EraTxBody era, AtMostEra "Babbage" era) => ShelleyEraTxBody era where
#
Instances5ShelleyEraTxBody
datadata GenesisDelegCert
#
Instances8Eq, Ord, Show, Generic, NFData, ToJSON, …
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, …
datadata ShelleyDelegCert
#
Instances8Eq, Ord, Show, Generic, NFData, ToJSON, …
classclass (EraTxCert era, AtMostEra "Conway" era) => ShelleyEraTxCert era where
#
Instances6ShelleyEraTxCert
datadata ShelleyTxCert era
#
Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …
datadata StandardCrypto
#

The same crypto used on the net

Instances15Crypto, PraosCrypto, Protocol, FromCBOR, ToCBOR, ConvertLedgerEvent, …
newtypenewtype EpochInterval
#
Instances14Eq, Ord, Show, Generic, NFData, FromJSON, …
newtypenewtype EpochNo
#

Constructors

Instances16Enum, Eq, Ord, Show, Generic, NFData, …
newtypenewtype SlotNo
#

Constructors

Instances21Bounded, Enum, Eq, Num, Ord, Show, …
datadata StrictMaybe a
#

Constructors

Instances73Monad, Functor, MonadFail, Applicative, Foldable, Traversable, …
newtypenewtype Decoder s a
#

A continuation-based decoder, used for decoding values that were previously encoded using the Codec.CBOR.Encoding module. As Decoder has a Monad instance, you can easily write Decoders monadically for building your deserialisation logic.

Instances5Monad, Functor, MonadFail, Applicative, NoThunks
  • Monad (Decoder s)Defined in cborg-0.2.10.0 · Codec.CBOR.Decoding
  • Functor (Decoder s)Defined in cborg-0.2.10.0 · Codec.CBOR.Decoding
  • MonadFail (Decoder s)Defined in cborg-0.2.10.0 · Codec.CBOR.Decoding
  • Applicative (Decoder s)Defined in cborg-0.2.10.0 · Codec.CBOR.Decoding
  • NoThunks (Decoder s a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Orphans · orphan