Modulecardano-ledger-byron-1.3.0.0
Cardano.Chain.Update
- 22 types
- 28 values
- Packagecardano-ledger-byron-1.3.0.0
- Exports50
- LicenceApache-2.0
Constructors
Instances13Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameOrd ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameShow ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameGeneric ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameNFData ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameToJSON ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameNoThunks ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameBuildable ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameFromCBOR ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameToCBOR ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameDecCBOR ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameEncCBOR ApplicationNameDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNametype Rep ApplicationName = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationName"ApplicationName"
"Cardano.Chain.Update.ApplicationName"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'True) (C1 ('MetaCons"ApplicationName"
'PrefixI 'True) (S1 ('MetaSel ('Just"unApplicationName"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
Constructors
Instances8Eq, Data, Show, Buildable, FromCBOR, ToCBOR, …
Eq ApplicationNameErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameData ApplicationNameErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameShow ApplicationNameErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameBuildable ApplicationNameErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameFromCBOR ApplicationNameErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameToCBOR ApplicationNameErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameDecCBOR ApplicationNameErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationNameEncCBOR ApplicationNameErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ApplicationName
Constructors
Instances12Eq, Show, Generic, NFData, ToJSON, NoThunks, …
Eq InstallerHashDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHashShow InstallerHashDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHashGeneric InstallerHashDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHashNFData InstallerHashDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHashToJSON InstallerHashDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHashNoThunks InstallerHashDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHashBuildable InstallerHashDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHashFromCBOR InstallerHashDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHashToCBOR InstallerHashDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHashDecCBOR InstallerHashDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHashEncCBOR InstallerHashDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHashtype Rep InstallerHash = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.InstallerHash"InstallerHash"
"Cardano.Chain.Update.InstallerHash"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'True) (C1 ('MetaCons"InstallerHash"
'PrefixI 'True) (S1 ('MetaSel ('Just"unInstallerHash"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Raw))))
Constructors
APayloadpayloadProposal :: !Maybe (AProposal a)payloadVotes :: ![AVote a]payloadAnnotation :: a
Instances16Functor, Buildable, ToCBOR, EncCBOR, Eq, Show, …
Functor APayloadDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadBuildable PayloadDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadFromCBOR PayloadDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadToCBOR PayloadDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadDecCBOR PayloadDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadEncCBOR PayloadDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadEq a => Eq (APayload a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadShow a => Show (APayload a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadGeneric (APayload a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadNFData a => NFData (APayload a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadToJSON a => ToJSON (APayload a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadFromCBOR (APayload ByteSpan)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadDecoded (APayload ByteString)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.PayloadDecCBOR (APayload ByteSpan)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.Payloadtype Rep (APayload a) = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.Payload"APayload"
"Cardano.Chain.Update.Payload"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'False) (C1 ('MetaCons"APayload"
'PrefixI 'True) (S1 ('MetaSel ('Just"payloadProposal"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe (AProposal a))) :*: (S1 ('MetaSel ('Just"payloadVotes"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [AVote a]) :*: S1 ('MetaSel ('Just"payloadAnnotation"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))type BaseType (APayload ByteString) = PayloadDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.Payload
Constructors
AProposalaBody :: !Annotated ProposalBody aissuer :: !VerificationKeysignature :: !Signature ProposalBodyannotation :: !a
Instances17Functor, ToCBOR, EncCBOR, Eq, Show, Generic, …
Functor AProposalDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalFromCBOR ProposalDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalToCBOR ProposalDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalDecCBOR ProposalDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalEncCBOR ProposalDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalEq a => Eq (AProposal a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalShow a => Show (AProposal a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalGeneric (AProposal a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalNFData a => NFData (AProposal a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalToJSON a => ToJSON (AProposal a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalBuildable (AProposal ())Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalFromCBOR (AProposal ByteSpan)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalDecoded (AProposal ByteString)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalDecCBOR (AProposal ByteSpan)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalBuildable (Proposal, [Vote])Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.Votetype Rep (AProposal a) = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.Proposal"AProposal"
"Cardano.Chain.Update.Proposal"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'False) (C1 ('MetaCons"AProposal"
'PrefixI 'True) ((S1 ('MetaSel ('Just"aBody"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated ProposalBody a)) :*: S1 ('MetaSel ('Just"issuer"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey)) :*: (S1 ('MetaSel ('Just"signature"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Signature ProposalBody)) :*: S1 ('MetaSel ('Just"annotation"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))type BaseType (AProposal ByteString) = ProposalDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.Proposal
Instances10Eq, Show, Generic, NFData, ToJSON, FromCBOR, …
Eq ProposalBodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalShow ProposalBodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalGeneric ProposalBodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalNFData ProposalBodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalToJSON ProposalBodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalFromCBOR ProposalBodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalToCBOR ProposalBodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalDecCBOR ProposalBodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProposalEncCBOR ProposalBodyDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.Proposaltype Rep ProposalBody = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.Proposal"ProposalBody"
"Cardano.Chain.Update.Proposal"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'False) (C1 ('MetaCons"ProposalBody"
'PrefixI 'True) ((S1 ('MetaSel ('Just"protocolVersion"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ProtocolVersion) :*: S1 ('MetaSel ('Just"protocolParametersUpdate"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtocolParametersUpdate)) :*: (S1 ('MetaSel ('Just"softwareVersion"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftwareVersion) :*: S1 ('MetaSel ('Just"metadata"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map SystemTag InstallerHash)))))
Constructors
ProtocolParametersppScriptVersion :: !Word16ppSlotDuration :: !NaturalppMaxBlockSize :: !NaturalppMaxHeaderSize :: !NaturalppMaxTxSize :: !NaturalppMaxProposalSize :: !NaturalppMpcThd :: !LovelacePortionppHeavyDelThd :: !LovelacePortionppUpdateVoteThd :: !LovelacePortionppUpdateProposalThd :: !LovelacePortionppUpdateProposalTTL :: !SlotNumberppSoftforkRule :: !SoftforkRuleppTxFeePolicy :: !TxFeePolicyppUnlockStakeEpoch :: !EpochNumber
Instances14Eq, Ord, Show, Generic, NFData, NoThunks, …
Eq ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersOrd ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersShow ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersGeneric ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersNFData ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersNoThunks ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersBuildable ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersFromCBOR ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersToCBOR ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersDecCBOR ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersEncCBOR ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersMonadError SchemaError m => FromJSON m ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersMonad m => ToJSON m ProtocolParametersDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParameterstype Rep ProtocolParameters = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParameters"ProtocolParameters"
"Cardano.Chain.Update.ProtocolParameters"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'False) (C1 ('MetaCons"ProtocolParameters"
'PrefixI 'True) (((S1 ('MetaSel ('Just"ppScriptVersion"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word16) :*: (S1 ('MetaSel ('Just"ppSlotDuration"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Just"ppMaxBlockSize"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural))) :*: ((S1 ('MetaSel ('Just"ppMaxHeaderSize"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Just"ppMaxTxSize"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural)) :*: (S1 ('MetaSel ('Just"ppMaxProposalSize"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural) :*: S1 ('MetaSel ('Just"ppMpcThd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 LovelacePortion)))) :*: ((S1 ('MetaSel ('Just"ppHeavyDelThd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 LovelacePortion) :*: (S1 ('MetaSel ('Just"ppUpdateVoteThd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 LovelacePortion) :*: S1 ('MetaSel ('Just"ppUpdateProposalThd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 LovelacePortion))) :*: ((S1 ('MetaSel ('Just"ppUpdateProposalTTL"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 SlotNumber) :*: S1 ('MetaSel ('Just"ppSoftforkRule"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftforkRule)) :*: (S1 ('MetaSel ('Just"ppTxFeePolicy"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 TxFeePolicy) :*: S1 ('MetaSel ('Just"ppUnlockStakeEpoch"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNumber))))))
Constructors
ProtocolParametersUpdateppuScriptVersion :: !Maybe Word16ppuSlotDuration :: !Maybe NaturalppuMaxBlockSize :: !Maybe NaturalppuMaxHeaderSize :: !Maybe NaturalppuMaxTxSize :: !Maybe NaturalppuMaxProposalSize :: !Maybe NaturalppuMpcThd :: !Maybe LovelacePortionppuHeavyDelThd :: !Maybe LovelacePortionppuUpdateVoteThd :: !Maybe LovelacePortionppuUpdateProposalThd :: !Maybe LovelacePortionppuUpdateProposalTTL :: !Maybe SlotNumberppuSoftforkRule :: !Maybe SoftforkRuleppuTxFeePolicy :: !Maybe TxFeePolicyppuUnlockStakeEpoch :: !Maybe EpochNumber
Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq ProtocolParametersUpdateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdateOrd ProtocolParametersUpdateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdateShow ProtocolParametersUpdateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdateGeneric ProtocolParametersUpdateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdateNFData ProtocolParametersUpdateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdateToJSON ProtocolParametersUpdateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdateBuildable ProtocolParametersUpdateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdateFromCBOR ProtocolParametersUpdateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdateToCBOR ProtocolParametersUpdateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdateDecCBOR ProtocolParametersUpdateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdateEncCBOR ProtocolParametersUpdateDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdatetype Rep ProtocolParametersUpdate = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolParametersUpdate"ProtocolParametersUpdate"
"Cardano.Chain.Update.ProtocolParametersUpdate"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'False) (C1 ('MetaCons"ProtocolParametersUpdate"
'PrefixI 'True) (((S1 ('MetaSel ('Just"ppuScriptVersion"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Word16)) :*: (S1 ('MetaSel ('Just"ppuSlotDuration"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Just"ppuMaxBlockSize"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Natural)))) :*: ((S1 ('MetaSel ('Just"ppuMaxHeaderSize"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Just"ppuMaxTxSize"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Natural))) :*: (S1 ('MetaSel ('Just"ppuMaxProposalSize"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe Natural)) :*: S1 ('MetaSel ('Just"ppuMpcThd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe LovelacePortion))))) :*: ((S1 ('MetaSel ('Just"ppuHeavyDelThd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe LovelacePortion)) :*: (S1 ('MetaSel ('Just"ppuUpdateVoteThd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe LovelacePortion)) :*: S1 ('MetaSel ('Just"ppuUpdateProposalThd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe LovelacePortion)))) :*: ((S1 ('MetaSel ('Just"ppuUpdateProposalTTL"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe SlotNumber)) :*: S1 ('MetaSel ('Just"ppuSoftforkRule"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe SoftforkRule))) :*: (S1 ('MetaSel ('Just"ppuTxFeePolicy"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe TxFeePolicy)) :*: S1 ('MetaSel ('Just"ppuUnlockStakeEpoch"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe EpochNumber)))))))
Instances13Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersionOrd ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersionShow ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersionGeneric ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersionNFData ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersionToJSON ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersionNoThunks ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersionBuildable ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersionFromCBOR ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersionToCBOR ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersionDecCBOR ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersionEncCBOR ProtocolVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersiontype Rep ProtocolVersion = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.ProtocolVersion"ProtocolVersion"
"Cardano.Chain.Update.ProtocolVersion"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'False) (C1 ('MetaCons"ProtocolVersion"
'PrefixI 'True) (S1 ('MetaSel ('Just"pvMajor"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word16) :*: (S1 ('MetaSel ('Just"pvMinor"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word16) :*: S1 ('MetaSel ('Just"pvAlt"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word8))))
Constructors
Instances15Eq, Ord, Show, Generic, NFData, NoThunks, …
Eq SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleOrd SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleShow SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleGeneric SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleNFData SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleToJSON SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleNoThunks SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleBuildable SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleFromCBOR SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleToCBOR SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleDecCBOR SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleEncCBOR SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleMonadError SchemaError m => FromJSON m SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuleMonad m => ToJSON m SoftforkRuleDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRuletype Rep SoftforkRule = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftforkRule"SoftforkRule"
"Cardano.Chain.Update.SoftforkRule"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'False) (C1 ('MetaCons"SoftforkRule"
'PrefixI 'True) (S1 ('MetaSel ('Just"srInitThd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 LovelacePortion) :*: (S1 ('MetaSel ('Just"srMinThd"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 LovelacePortion) :*: S1 ('MetaSel ('Just"srThdDecrement"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 LovelacePortion))))
Constructors
Instances13Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionOrd SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionShow SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionGeneric SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionNFData SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionToJSON SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionNoThunks SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionBuildable SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionFromCBOR SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionToCBOR SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionDecCBOR SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionEncCBOR SoftwareVersionDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersiontype Rep SoftwareVersion = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersion"SoftwareVersion"
"Cardano.Chain.Update.SoftwareVersion"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'False) (C1 ('MetaCons"SoftwareVersion"
'PrefixI 'True) (S1 ('MetaSel ('Just"svAppName"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ApplicationName) :*: S1 ('MetaSel ('Just"svNumber"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 NumSoftwareVersion)))
Instances8Eq, Data, Show, Buildable, FromCBOR, ToCBOR, …
Eq SoftwareVersionErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionData SoftwareVersionErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionShow SoftwareVersionErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionBuildable SoftwareVersionErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionFromCBOR SoftwareVersionErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionToCBOR SoftwareVersionErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionDecCBOR SoftwareVersionErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersionEncCBOR SoftwareVersionErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SoftwareVersion
Constructors
Instances14Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagOrd SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagShow SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagGeneric SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagNFData SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagToJSON SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagToJSONKey SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagNoThunks SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagBuildable SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagFromCBOR SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagToCBOR SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagDecCBOR SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagEncCBOR SystemTagDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagtype Rep SystemTag = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTag"SystemTag"
"Cardano.Chain.Update.SystemTag"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'True) (C1 ('MetaCons"SystemTag"
'PrefixI 'True) (S1 ('MetaSel ('Just"getSystemTag"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))
Constructors
Instances8Eq, Data, Show, Buildable, FromCBOR, ToCBOR, …
Eq SystemTagErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagData SystemTagErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagShow SystemTagErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagBuildable SystemTagErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagFromCBOR SystemTagErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagToCBOR SystemTagErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagDecCBOR SystemTagErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTagEncCBOR SystemTagErrorDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.SystemTag
Constructors
UnsafeVotevoterVK :: !VerificationKeyaProposalId :: !Annotated UpId asignature :: !Signature (UpId, Bool)annotation :: !a
Instances17Functor, ToCBOR, EncCBOR, Eq, Show, Generic, …
Functor AVoteDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteFromCBOR VoteDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteToCBOR VoteDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteDecCBOR VoteDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteEncCBOR VoteDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteEq a => Eq (AVote a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteShow a => Show (AVote a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteGeneric (AVote a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteNFData a => NFData (AVote a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteToJSON a => ToJSON (AVote a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteBuildable (AVote a)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteFromCBOR (AVote ByteSpan)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteDecoded (AVote ByteString)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteDecCBOR (AVote ByteSpan)Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.VoteBuildable (Proposal, [Vote])Defined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.Votetype Rep (AVote a) = D1 ('MetaDataDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.Vote"AVote"
"Cardano.Chain.Update.Vote"
"cardano-ledger-byron-1.3.0.0-JpzuZ8LnhDz8ZWDSdGVXlU"
'False) (C1 ('MetaCons"UnsafeVote"
'PrefixI 'True) ((S1 ('MetaSel ('Just"voterVK"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey) :*: S1 ('MetaSel ('Just"aProposalId"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated UpId a))) :*: (S1 ('MetaSel ('Just"signature"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Signature (UpId, Bool))) :*: S1 ('MetaSel ('Just"annotation"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))type BaseType (AVote ByteString) = VoteDefined in cardano-ledger-byron-1.3.0.0 · Cardano.Chain.Update.Vote