Modulecardano-ledger-core-1.21.0.0
Cardano.Ledger.BaseTypes
- 37 types
- 5 classes
- 71 values
- Packagecardano-ledger-core-1.21.0.0
- Exports115
- LicenceApache-2.0
Instances17Bounded, Enum, Eq, Ord, Show, NFData, …
Bounded VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionEnum VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionEq VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionOrd VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionShow VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionNFData VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionRandom VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionUniform VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionUniformRange VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionFromJSON VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionToJSON VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionNoThunks VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionFromCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionToCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.VersionDecCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOREncCBOR VersionDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBORToPlutusData VersionDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
Instances11Eq, Ord, Show, Generic, NFData, NoThunks, …
Eq ActiveSlotCoeffDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd ActiveSlotCoeffDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow ActiveSlotCoeffDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric ActiveSlotCoeffDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData ActiveSlotCoeffDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks ActiveSlotCoeffDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromCBOR ActiveSlotCoeffDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToCBOR ActiveSlotCoeffDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR ActiveSlotCoeffDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR ActiveSlotCoeffDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep ActiveSlotCoeff = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"ActiveSlotCoeff"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"ActiveSlotCoeff"
'PrefixI 'True) (S1 ('MetaSel ('Just"unActiveSlotVal"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PositiveUnitInterval) :*: S1 ('MetaSel ('Just"unActiveSlotLog"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)))
Constructors
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDefault AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToKeyValuePairs AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep Anchor = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"Anchor"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"Anchor"
'PrefixI 'True) (S1 ('MetaSel ('Just"anchorUrl"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just"anchorDataHash"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash AnchorData))))
Constructors
Instances3Eq, SafeToHash, HashAnnotated
Eq AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesSafeToHash AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesHashAnnotated AnchorData AnchorDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Constructors
Instances11Eq, Show, Generic, NFData, FromJSON, ToJSON, …
Eq BlocksMadeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow BlocksMadeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric BlocksMadeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData BlocksMadeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON BlocksMadeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON BlocksMadeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDefault BlocksMadeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks BlocksMadeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR BlocksMadeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR BlocksMadeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep BlocksMade = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"BlocksMade"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"BlocksMade"
'PrefixI 'True) (S1 ('MetaSel ('Just"unBlocksMade"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash StakePool) Natural))))
Methods
boundRational :: Rational -> Maybe runboundRational :: r -> Rational
Instances5BoundedRational
BoundedRational NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesBoundedRational PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesBoundedRational PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesBoundedRational UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes(Bounded (BoundedRatio b a), Bounded a, Integral a) => BoundedRational (BoundedRatio b a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Instances13Bounded, Enum, Eq, Ord, Show, NFData, …
Bounded CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEnum CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEq CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesRandom CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesUniform CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesUniformRange CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR CertIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq DnsNameDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd DnsNameDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow DnsNameDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric DnsNameDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData DnsNameDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON DnsNameDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON DnsNameDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks DnsNameDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR DnsNameDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR DnsNameDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep DnsName = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"DnsName"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"DnsName"
'PrefixI 'True) (S1 ('MetaSel ('Just"dnsToText"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
Constructors
ExclusiveunExclusive :: a
Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …
Eq a => Eq (Exclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd a => Ord (Exclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow a => Show (Exclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric a => Generic (Exclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData a => NFData (Exclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks a => NoThunks (Exclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR a => DecCBOR (Exclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR a => EncCBOR (Exclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep (Exclusive a) = Rep aDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Constructors
GlobalsepochInfo :: !EpochInfo (Either Text)slotsPerKESPeriod :: !Word64stabilityWindow :: !Word64randomnessStabilisationWindow :: !Word64securityParameter :: !NonZero Word64maxKESEvo :: !Word64quorum :: !Word64maxLovelaceSupply :: !Word64activeSlotCoeff :: !ActiveSlotCoeffnetworkId :: !NetworksystemStart :: !SystemStart
Instances5Show, Generic, NFData, NoThunks, Rep
Show GlobalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric GlobalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData GlobalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks GlobalsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep Globals = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"Globals"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"Globals"
'PrefixI 'True) (((S1 ('MetaSel ('Just"epochInfo"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Either Text))) :*: S1 ('MetaSel ('Just"slotsPerKESPeriod"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)) :*: (S1 ('MetaSel ('Just"stabilityWindow"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: (S1 ('MetaSel ('Just"randomnessStabilisationWindow"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just"securityParameter"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 (NonZero Word64))))) :*: ((S1 ('MetaSel ('Just"maxKESEvo"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: (S1 ('MetaSel ('Just"quorum"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Just"maxLovelaceSupply"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))) :*: (S1 ('MetaSel ('Just"activeSlotCoeff"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveSlotCoeff) :*: (S1 ('MetaSel ('Just"networkId"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :*: S1 ('MetaSel ('Just"systemStart"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SystemStart))))))
Constructors
InclusiveunInclusive :: a
Instances9Eq, Ord, Show, Generic, NFData, NoThunks, …
Eq a => Eq (Inclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd a => Ord (Inclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow a => Show (Inclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric a => Generic (Inclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData a => NFData (Inclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks a => NoThunks (Inclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR a => DecCBOR (Inclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR a => EncCBOR (Inclusive a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep (Inclusive a) = Rep aDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Methods
inject :: t -> s
Constructors
Instances1ToJSON
ToKeyValuePairs a => ToJSON (KeyValuePairs a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes
Constructors
MismatchmismatchSupplied :: !amismatchExpected :: !a
Instances13Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq a => Eq (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd a => Ord (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes(Typeable r, Show a) => Show (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData a => NFData (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON a => FromJSON (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON a => ToJSON (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks a => NoThunks (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes(DecCBOR a, Typeable r) => DecCBOR (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR a => EncCBOR (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes(Typeable r, DecCBOR a) => DecCBORGroup (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR a => EncCBORGroup (Mismatch r a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep (Mismatch r a) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"Mismatch"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"Mismatch"
'PrefixI 'True) (S1 ('MetaSel ('Just"mismatchSupplied"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just"mismatchExpected"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))
Instances16Bounded, Enum, Eq, Ord, Show, Generic, …
Bounded NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEnum NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEq NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDefault NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR NetworkDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep Network = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"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)
Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …
Bounded NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEq NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesBoundedRational NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToPlutusData NonNegativeIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusDataBounded (BoundedRatio NonNegativeInterval Word64)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep NonNegativeInterval = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"NonNegativeInterval"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"NonNegativeInterval"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BoundedRatio NonNegativeInterval Word64))))
Constructors
Instances12Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToPlutusData NonceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusDatatype Rep Nonce = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"Nonce"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"Nonce"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 Nonce))) :+: C1 ('MetaCons"NeutralNonce"
'PrefixI 'False) U1)
Constructors
Instances12Eq, Num, Ord, Show, Generic, NFData, …
Eq PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNum PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR PortDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep Port = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"Port"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"Port"
'PrefixI 'True) (S1 ('MetaSel ('Just"portToWord16"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))
Instances15Eq, Ord, Show, Generic, NFData, FromJSON, …
Bounded PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEq PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesBoundedRational PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToPlutusData PositiveIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusDataBounded (BoundedRatio PositiveInterval Word64)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep PositiveInterval = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"PositiveInterval"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"PositiveInterval"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BoundedRatio PositiveInterval Word64))))
Instances16Eq, Ord, Show, Generic, NFData, FromJSON, …
Bounded PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEq PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromCBOR PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToCBOR PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesBoundedRational PositiveUnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesBounded (BoundedRatio PositiveUnitInterval Word64)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep PositiveUnitInterval = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"PositiveUnitInterval"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"PositiveUnitInterval"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BoundedRatio PositiveUnitInterval Word64))))
Instances16Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromCBOR ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToCBOR ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBORGroup ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBORGroup ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToPlutusData ProtVerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusDatatype Rep ProtVer = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"ProtVer"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"ProtVer"
'PrefixI 'True) (S1 ('MetaSel ('Just"pvMajor"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :*: S1 ('MetaSel ('Just"pvMinor"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32)))
Constructors
Instances8Eq, Ord, Show, Generic, NoThunks, SignableRepresentation, …
Eq SeedDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd SeedDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow SeedDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric SeedDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks SeedDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesSignableRepresentation SeedDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR SeedDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep Seed = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"Seed"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"Seed"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Blake2b_256 Seed))))
Methods
toKeyValuePairs :: KeyValue e kv => a -> [kv]
Instances14ToKeyValuePairs, …
ToKeyValuePairs AnchorDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToKeyValuePairs PtrDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CredentialToKeyValuePairs RewardDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.RewardsToKeyValuePairs InstantaneousRewardsDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToKeyValuePairs ChainAccountStateDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.ChainAccountToKeyValuePairs IndividualPoolStakeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.PoolDistrToKeyValuePairs SnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsToKeyValuePairs StakePoolSnapShotDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsToJSON (Accounts era) => ToKeyValuePairs (DState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToKeyValuePairs (NoGenesis era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.GenesisToKeyValuePairs (PState era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.CertStateToKeyValuePairs (SnapShots era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.State.SnapShotsEraPParams era => ToKeyValuePairs (PParams era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParamsEraPParams era => ToKeyValuePairs (PParamsUpdate era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParams
Instances16Bounded, Enum, Eq, Ord, Show, Generic, …
Bounded TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEnum TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEq TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesRandom TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesUniform TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesUniformRange TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesMemPack TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR TxIxDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep TxIx = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"TxIx"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"TxIx"
'PrefixI 'True) (S1 ('MetaSel ('Just"unTxIx"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))
Instances16Eq, Ord, Show, Generic, NFData, FromJSON, …
Bounded UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEq UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDefault UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesBoundedRational UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToPlutusData UnitIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusDataIntegral a => Bounded (BoundedRatio UnitInterval a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep UnitInterval = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"UnitInterval"
"Cardano.Ledger.BaseTypes"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'True) (C1 ('MetaCons"UnitInterval"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BoundedRatio UnitInterval Word64))))
Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesOrd UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesShow UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesGeneric UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNFData UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesFromJSON UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesToJSON UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesNoThunks UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesDecCBOR UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypesEncCBOR UrlDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypestype Rep Url = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes"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)))
Instances10HasZero, …
HasZero CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinHasZero IntegerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroHasZero NaturalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroHasZero IntDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroHasZero Word16Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroHasZero Word32Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroHasZero Word64Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroHasZero Word8Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroHasZero (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoinHasZero a => HasZero (Ratio a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
Instances4KnownBounds
KnownBounds Word16Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroKnownBounds Word32Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroKnownBounds Word64Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroKnownBounds Word8Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
Instances4MaxBound
type MaxBound Word16 =Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero65535
type MaxBound Word32 =Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero4294967295
type MaxBound Word64 =Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero18446744073709551615
type MaxBound Word8 =Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero255
Instances4MinBound
type MinBound Word16 =Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero0
type MinBound Word32 =Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero0
type MinBound Word64 =Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero0
type MinBound Word8 =Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero0
Instances13Eq, Ord, Show, Storable, NFData, FromJSON, …
Eq a => Eq (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroOrd a => Ord (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroShow a => Show (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroStorable a => Storable (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroNFData a => NFData (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero(FromJSON a, HasZero a) => FromJSON (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroToJSON a => ToJSON (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroNoThunks a => NoThunks (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero(HasZero a, FromCBOR a) => FromCBOR (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroToCBOR a => ToCBOR (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero(Typeable a, DecCBOR a, HasZero a) => DecCBOR (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZeroEncCBOR a => EncCBOR (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero(ToPlutusData a, HasZero a) => ToPlutusData (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData
Instances17Bounded, Enum, Eq, Num, Ord, Show, …
Bounded BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockEnum BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockEq BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockNum BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockOrd BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockShow BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockGeneric BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockNFData BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockFromJSON BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockToJSON BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockSerialise BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockNoThunks BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockFromCBOR BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockToCBOR BlockNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.BlockDecCBOR BlockNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOREncCBOR BlockNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBORtype Rep BlockNo = D1 ('MetaDataDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Block"BlockNo"
"Cardano.Slotting.Block"
"cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL"
'True) (C1 ('MetaCons"BlockNo"
'PrefixI 'True) (S1 ('MetaSel ('Just"unBlockNo"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
Constructors
Instances14Eq, Ord, Show, Generic, NFData, FromJSON, …
Eq EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotOrd EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotShow EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotGeneric EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotNFData EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotFromJSON EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotToJSON EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotNoThunks EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotFromCBOR EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotToCBOR EpochIntervalDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotDecCBOR EpochIntervalDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOREncCBOR EpochIntervalDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBORToPlutusData EpochIntervalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusDatatype Rep EpochInterval = D1 ('MetaDataDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot"EpochInterval"
"Cardano.Slotting.Slot"
"cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL"
'True) (C1 ('MetaCons"EpochInterval"
'PrefixI 'True) (S1 ('MetaSel ('Just"unEpochInterval"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))
Instances15Enum, Eq, Ord, Show, Generic, NFData, …
Enum EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotEq EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotOrd EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotShow EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotGeneric EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotNFData EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotFromJSON EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotToJSON EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotSerialise EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotNoThunks EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotFromCBOR EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotToCBOR EpochNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotDecCBOR EpochNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOREncCBOR EpochNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBORtype Rep EpochNo = D1 ('MetaDataDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot"EpochNo"
"Cardano.Slotting.Slot"
"cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL"
'True) (C1 ('MetaCons"EpochNo"
'PrefixI 'True) (S1 ('MetaSel ('Just"unEpochNo"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
Constructors
Instances14Enum, Eq, Ord, Show, Generic, NFData, …
Enum EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotEq EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotOrd EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotShow EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotGeneric EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotNFData EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotFromJSON EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotToJSON EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotNoThunks EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotFromCBOR EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotToCBOR EpochSizeDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotDecCBOR EpochSizeDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOREncCBOR EpochSizeDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBORtype Rep EpochSize = D1 ('MetaDataDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot"EpochSize"
"Cardano.Slotting.Slot"
"cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL"
'True) (C1 ('MetaCons"EpochSize"
'PrefixI 'True) (S1 ('MetaSel ('Just"unEpochSize"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
Instances17Bounded, Enum, Eq, Num, Ord, Show, …
Bounded SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotEnum SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotEq SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotNum SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotOrd SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotShow SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotGeneric SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotNFData SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotFromJSON SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotToJSON SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotSerialise SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotNoThunks SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotFromCBOR SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotToCBOR SlotNoDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotDecCBOR SlotNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOREncCBOR SlotNoDefined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBORtype Rep SlotNo = D1 ('MetaDataDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot"SlotNo"
"Cardano.Slotting.Slot"
"cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL"
'True) (C1 ('MetaCons"SlotNo"
'PrefixI 'True) (S1 ('MetaSel ('Just"unSlotNo"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
Instances18Functor, Foldable, Traversable, Bounded, Eq, Ord, …
Functor WithOriginDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotFoldable WithOriginDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotTraversable WithOriginDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotBounded t => Bounded (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotEq t => Eq (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotOrd t => Ord (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotShow t => Show (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotGeneric (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotNFData a => NFData (WithOrigin a)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotFromJSON a => FromJSON (WithOrigin a)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotToJSON a => ToJSON (WithOrigin a)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotSerialise t => Serialise (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.SlotNoThunks t => NoThunks (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot(Serialise t, Typeable t) => FromCBOR (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot(Serialise t, Typeable t) => ToCBOR (WithOrigin t)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot(Serialise t, Typeable t) => DecCBOR (WithOrigin t)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBORSerialise t => EncCBOR (WithOrigin t)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBORtype Rep (WithOrigin t) = D1 ('MetaDataDefined in cardano-slotting-0.2.2.0 · Cardano.Slotting.Slot"WithOrigin"
"Cardano.Slotting.Slot"
"cardano-slotting-0.2.2.0-BzlFk4pU5l69Qn8jbrAsSL"
'False) (C1 ('MetaCons"Origin"
'PrefixI 'False) U1 :+: C1 ('MetaCons"At"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 t)))
Instances31Monad, Functor, MonadFail, Applicative, Foldable, Traversable, …
Monad StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictFunctor StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictMonadFail StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictApplicative StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictFoldable StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictTraversable StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictAlternative StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictEq1 StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictOrd1 StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictRead1 StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictShow1 StrictMaybeDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictHKDFunctor StrictMaybeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDHKDApplicative StrictMaybeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDEq a => Eq (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictOrd a => Ord (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictRead a => Read (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictShow a => Show (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictGeneric (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictSemigroup a => Semigroup (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictSemigroup a => Monoid (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictNFData a => NFData (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictFromJSON a => FromJSON (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictToJSON a => ToJSON (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictDefault (StrictMaybe t)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictNoThunks a => NoThunks (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictFromCBOR a => FromCBOR (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictToCBOR a => ToCBOR (StrictMaybe a)Defined in cardano-strict-containers-0.1.6.0 · Data.Maybe.StrictDecCBOR a => DecCBOR (StrictMaybe a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Decoding.DecCBOREncCBOR a => EncCBOR (StrictMaybe a)Defined in cardano-ledger-binary-1.9.1.0 · Cardano.Ledger.Binary.Encoding.EncCBORUpdatable (K1 t x a) (K1 t (StrictMaybe x) u)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParamstype Rep (StrictMaybe a) = D1 ('MetaDataDefined in cardano-strict-containers-0.1.6.0 · Data.Maybe.Strict"StrictMaybe"
"Data.Maybe.Strict"
"cardano-strict-containers-0.1.6.0-KgLpGvchdnF7RySowXvbKO"
'False) (C1 ('MetaCons"SNothing"
'PrefixI 'False) U1 :+: C1 ('MetaCons"SJust"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))