cardano-ledger-byron-1.0.2.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Chain.Update

Synopsis

Documentation

newtype SystemTag Source #

Tag of system for which update data is purposed, e.g. win64, mac32

Constructors

SystemTag 

Fields

Instances

Instances details
ToJSON SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

ToJSONKey SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Generic SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Associated Types

type Rep SystemTagTypeType Source #

Show SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

FromCBOR SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

ToCBOR SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

toCBORSystemTagEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SystemTagSize Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SystemTag] → Size Source #

DecCBOR SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

EncCBOR SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

encCBORSystemTagEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SystemTagSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SystemTag] → Size Source #

NFData SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

rnfSystemTag → () Source #

Buildable SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

buildSystemTagBuilder Source #

Eq SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Ord SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

NoThunks SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

type Rep SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

type Rep SystemTag = D1 ('MetaData "SystemTag" "Cardano.Chain.Update.SystemTag" "cardano-ledger-byron-1.0.2.0-inplace" 'True) (C1 ('MetaCons "SystemTag" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSystemTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data SystemTagError Source #

Instances

Instances details
Data SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SystemTagError → c SystemTagError Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SystemTagError Source #

toConstrSystemTagErrorConstr Source #

dataTypeOfSystemTagErrorDataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SystemTagError) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SystemTagError) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → SystemTagErrorSystemTagError Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SystemTagError → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SystemTagError → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → SystemTagError → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → SystemTagError → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → SystemTagError → m SystemTagError Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SystemTagError → m SystemTagError Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SystemTagError → m SystemTagError Source #

Show SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

FromCBOR SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

ToCBOR SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

DecCBOR SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

EncCBOR SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Buildable SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Eq SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

osHelperOSText Source #

Helper to turn an OS into a Text compatible with the systemTag previously used in 'configuration.yaml'

archHelperArchText Source #

Helper to turn an Arch into a Text compatible with the systemTag previously used in 'configuration.yaml'

data SoftwareVersion Source #

Software version

Instances

Instances details
ToJSON SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Generic SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Associated Types

type Rep SoftwareVersionTypeType Source #

Show SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

FromCBOR SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

ToCBOR SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

DecCBOR SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

EncCBOR SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

NFData SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

rnfSoftwareVersion → () Source #

Buildable SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Eq SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Ord SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

NoThunks SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

type Rep SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

type Rep SoftwareVersion = D1 ('MetaData "SoftwareVersion" "Cardano.Chain.Update.SoftwareVersion" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "SoftwareVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "svAppName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ApplicationName) :*: S1 ('MetaSel ('Just "svNumber") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NumSoftwareVersion)))

data SoftwareVersionError Source #

Instances

Instances details
Data SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → SoftwareVersionError → c SoftwareVersionError Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c SoftwareVersionError Source #

toConstrSoftwareVersionErrorConstr Source #

dataTypeOfSoftwareVersionErrorDataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SoftwareVersionError) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SoftwareVersionError) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → SoftwareVersionErrorSoftwareVersionError Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → SoftwareVersionError → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → SoftwareVersionError → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → SoftwareVersionError → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → SoftwareVersionError → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → SoftwareVersionError → m SoftwareVersionError Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SoftwareVersionError → m SoftwareVersionError Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SoftwareVersionError → m SoftwareVersionError Source #

Show SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

FromCBOR SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

ToCBOR SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

DecCBOR SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

EncCBOR SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Buildable SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Eq SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

type NumSoftwareVersion = Word32 Source #

Numeric software version associated with ApplicationName

checkSoftwareVersionMonadError SoftwareVersionError m ⇒ SoftwareVersion → m () Source #

A software version is valid iff its application name is valid

data SoftforkRule Source #

Values defining softfork resolution rule

If a proposal is confirmed at the s-th epoch, softfork resolution threshold at the t-th epoch will be 'max spMinThd (spInitThd - (t - s) * spThdDecrement)'.

Softfork resolution threshold is the portion of total stake such that if total stake of issuers of blocks with some block version is greater than this portion, this block version becomes adopted.

Constructors

SoftforkRule 

Fields

Instances

Instances details
ToJSON SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Generic SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Associated Types

type Rep SoftforkRuleTypeType Source #

Show SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

FromCBOR SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

ToCBOR SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

toCBORSoftforkRuleEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SoftforkRuleSize Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SoftforkRule] → Size Source #

DecCBOR SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

EncCBOR SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

NFData SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

rnfSoftforkRule → () Source #

Buildable SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Eq SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Ord SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

NoThunks SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

MonadError SchemaError m ⇒ FromJSON m SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Monad m ⇒ ToJSON m SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

type Rep SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

type Rep SoftforkRule = D1 ('MetaData "SoftforkRule" "Cardano.Chain.Update.SoftforkRule" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "SoftforkRule" 'PrefixI 'True) (S1 ('MetaSel ('Just "srInitThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion) :*: (S1 ('MetaSel ('Just "srMinThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion) :*: S1 ('MetaSel ('Just "srThdDecrement") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion))))

data ProtocolVersion Source #

Communication protocol version

Constructors

ProtocolVersion 

Fields

Instances

Instances details
ToJSON ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Generic ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Associated Types

type Rep ProtocolVersionTypeType Source #

Show ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

FromCBOR ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

ToCBOR ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

DecCBOR ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

EncCBOR ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

NFData ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

rnfProtocolVersion → () Source #

Buildable ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Eq ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Ord ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

NoThunks ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

type Rep ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

type Rep ProtocolVersion = D1 ('MetaData "ProtocolVersion" "Cardano.Chain.Update.ProtocolVersion" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "ProtocolVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: (S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16) :*: S1 ('MetaSel ('Just "pvAlt") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8))))

data ProtocolParametersUpdate Source #

Data which represents modifications of block (aka protocol) version

Instances

Instances details
ToJSON ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Generic ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Associated Types

type Rep ProtocolParametersUpdateTypeType Source #

Show ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

FromCBOR ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

ToCBOR ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

DecCBOR ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

EncCBOR ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

NFData ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Buildable ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Eq ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Ord ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

type Rep ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

type Rep ProtocolParametersUpdate = D1 ('MetaData "ProtocolParametersUpdate" "Cardano.Chain.Update.ProtocolParametersUpdate" "cardano-ledger-byron-1.0.2.0-inplace" '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)))))))

data ProtocolParameters Source #

Data which is associated with BlockVersion

Constructors

ProtocolParameters 

Fields

Instances

Instances details
Generic ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Associated Types

type Rep ProtocolParametersTypeType Source #

Show ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

FromCBOR ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

ToCBOR ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

DecCBOR ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

EncCBOR ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

NFData ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

rnfProtocolParameters → () Source #

Buildable ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Eq ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Ord ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

NoThunks ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

MonadError SchemaError m ⇒ FromJSON m ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Monad m ⇒ ToJSON m ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

type Rep ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

type Rep ProtocolParameters = D1 ('MetaData "ProtocolParameters" "Cardano.Chain.Update.ProtocolParameters" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "ProtocolParameters" 'PrefixI 'True) (((S1 ('MetaSel ('Just "ppScriptVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (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 'DecidedStrict) (Rec0 LovelacePortion)))) :*: ((S1 ('MetaSel ('Just "ppHeavyDelThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion) :*: (S1 ('MetaSel ('Just "ppUpdateVoteThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion) :*: S1 ('MetaSel ('Just "ppUpdateProposalThd") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LovelacePortion))) :*: ((S1 ('MetaSel ('Just "ppUpdateProposalTTL") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNumber) :*: S1 ('MetaSel ('Just "ppSoftforkRule") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftforkRule)) :*: (S1 ('MetaSel ('Just "ppTxFeePolicy") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxFeePolicy) :*: S1 ('MetaSel ('Just "ppUnlockStakeEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNumber))))))

upAdptThdWord8ProtocolParametersInt Source #

In Byron we do not have a upAdptThd protocol parameter, so we have to use the existing ones.

lovelacePortionToRational . srMinThd . ppSoftforkRule will give us the ratio (in the interval [0, 1]) of the total stake that has to endorse a protocol version to become adopted. In genesis configuration, this ratio will evaluate to 0.6, so if we have 7 genesis keys, upAdptThd = 4.

isBootstrapEraPPProtocolParametersEpochNumberBool Source #

Version of isBootstrapEra which takes ProtocolParameters instead of unlock stake epoch

type Proof = Hash Payload Source #

Proof that body of update message contains Payload

data APayload a Source #

Update System payload

Constructors

APayload 

Instances

Instances details
Functor APayload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

fmap ∷ (a → b) → APayload a → APayload b Source #

(<$) ∷ a → APayload b → APayload a Source #

FromCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

ToCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

toCBORPayloadEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy PayloadSize Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Payload] → Size Source #

DecCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

EncCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

encCBORPayloadEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy PayloadSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Payload] → Size Source #

Buildable Payload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

buildPayloadBuilder Source #

ToJSON a ⇒ ToJSON (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Generic (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Associated Types

type Rep (APayload a) ∷ TypeType Source #

Methods

fromAPayload a → Rep (APayload a) x Source #

toRep (APayload a) x → APayload a Source #

Show a ⇒ Show (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

FromCBOR (APayload ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Decoded (APayload ByteString) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Associated Types

type BaseType (APayload ByteString) Source #

DecCBOR (APayload ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

NFData a ⇒ NFData (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

rnfAPayload a → () Source #

Eq a ⇒ Eq (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

(==)APayload a → APayload a → Bool Source #

(/=)APayload a → APayload a → Bool Source #

type Rep (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

type Rep (APayload a) = D1 ('MetaData "APayload" "Cardano.Chain.Update.Payload" "cardano-ledger-byron-1.0.2.0-inplace" '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) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

newtype InstallerHash Source #

The hash of the installer of the new application

Constructors

InstallerHash 

Instances

Instances details
ToJSON InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Generic InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Associated Types

type Rep InstallerHashTypeType Source #

Show InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

FromCBOR InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

ToCBOR InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

DecCBOR InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

EncCBOR InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

NFData InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Methods

rnfInstallerHash → () Source #

Buildable InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Eq InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

NoThunks InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

type Rep InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

type Rep InstallerHash = D1 ('MetaData "InstallerHash" "Cardano.Chain.Update.InstallerHash" "cardano-ledger-byron-1.0.2.0-inplace" 'True) (C1 ('MetaCons "InstallerHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unInstallerHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Raw))))

newtype ApplicationName Source #

Constructors

ApplicationName 

Instances

Instances details
ToJSON ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Generic ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Associated Types

type Rep ApplicationNameTypeType Source #

Show ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

FromCBOR ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

ToCBOR ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

DecCBOR ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

EncCBOR ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

NFData ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

rnfApplicationName → () Source #

Buildable ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Eq ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Ord ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

NoThunks ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

type Rep ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

type Rep ApplicationName = D1 ('MetaData "ApplicationName" "Cardano.Chain.Update.ApplicationName" "cardano-ledger-byron-1.0.2.0-inplace" 'True) (C1 ('MetaCons "ApplicationName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unApplicationName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data ApplicationNameError Source #

Instances

Instances details
Data ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → ApplicationNameError → c ApplicationNameError Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c ApplicationNameError Source #

toConstrApplicationNameErrorConstr Source #

dataTypeOfApplicationNameErrorDataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ApplicationNameError) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ApplicationNameError) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → ApplicationNameErrorApplicationNameError Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → ApplicationNameError → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → ApplicationNameError → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → ApplicationNameError → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → ApplicationNameError → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → ApplicationNameError → m ApplicationNameError Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApplicationNameError → m ApplicationNameError Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApplicationNameError → m ApplicationNameError Source #

Show ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

FromCBOR ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

ToCBOR ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

DecCBOR ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

EncCBOR ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Buildable ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Eq ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName