cardano-ledger-byron-1.3.0.0: The blockchain layer of Cardano during the Byron era
Safe HaskellNone
LanguageHaskell2010

Cardano.Chain.Update

Synopsis

Documentation

module Cardano.Chain.Update.Proposal

module Cardano.Chain.Update.Vote

apply ∷ ProtocolParametersUpdate → ProtocolParameters → ProtocolParameters Source #

Apply ProtocolParametersUpdate to ProtocolParameters

isEmpty ∷ ProtocolParametersUpdate → Bool Source #

type Proof = Hash Payload Source #

Proof that body of update message contains Payload

mkProof ∷ Payload → Proof Source #

payload ∷ Maybe Proposal → [Vote] → Payload Source #

data ProtocolVersion Source #

Communication protocol version

Constructors

ProtocolVersion 

Fields

Instances

Instances details
ToJSON ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

toJSON ∷ ProtocolVersion → Value Source #

toEncoding ∷ ProtocolVersion → Encoding Source #

toJSONList ∷ [ProtocolVersion] → Value Source #

toEncodingList ∷ [ProtocolVersion] → Encoding Source #

omitField ∷ ProtocolVersion → Bool Source #

FromCBOR ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

fromCBOR ∷ Decoder s ProtocolVersion Source #

label ∷ Proxy ProtocolVersion → Text Source #

ToCBOR ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

toCBOR ∷ ProtocolVersion → Encoding Source #

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

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

DecCBOR ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

decCBOR ∷ Decoder s ProtocolVersion Source #

dropCBOR ∷ Proxy ProtocolVersion → Decoder s () Source #

label ∷ Proxy ProtocolVersion → Text Source #

EncCBOR ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

encCBOR ∷ ProtocolVersion → Encoding Source #

NFData ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

rnf ∷ ProtocolVersion → () #

Buildable ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

build ∷ ProtocolVersion → Builder Source #

Generic ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Associated Types

type Rep ProtocolVersion 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

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

Methods

from ∷ ProtocolVersion → Rep ProtocolVersion x #

to ∷ Rep ProtocolVersion x → ProtocolVersion #

Show ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

showsPrec ∷ Int → ProtocolVersion → ShowS #

show ∷ ProtocolVersion → String #

showList ∷ [ProtocolVersion] → ShowS #

Eq ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

(==) ∷ ProtocolVersion → ProtocolVersion → Bool #

(/=) ∷ ProtocolVersion → ProtocolVersion → Bool #

Ord ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

compare ∷ ProtocolVersion → ProtocolVersion → Ordering #

(<) ∷ ProtocolVersion → ProtocolVersion → Bool #

(<=) ∷ ProtocolVersion → ProtocolVersion → Bool #

(>) ∷ ProtocolVersion → ProtocolVersion → Bool #

(>=) ∷ ProtocolVersion → ProtocolVersion → Bool #

max ∷ ProtocolVersion → ProtocolVersion → ProtocolVersion #

min ∷ ProtocolVersion → ProtocolVersion → ProtocolVersion #

NoThunks ProtocolVersion Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolVersion

Methods

noThunks ∷ Context → ProtocolVersion → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ProtocolVersion → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ProtocolVersion → String Source #

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.3.0.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))))

type Payload = APayload () Source #

data ProtocolParameters Source #

Data which is associated with BlockVersion

Constructors

ProtocolParameters 

Fields

Instances

Instances details
FromCBOR ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

fromCBOR ∷ Decoder s ProtocolParameters Source #

label ∷ Proxy ProtocolParameters → Text Source #

ToCBOR ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

toCBOR ∷ ProtocolParameters → Encoding Source #

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

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

DecCBOR ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

decCBOR ∷ Decoder s ProtocolParameters Source #

dropCBOR ∷ Proxy ProtocolParameters → Decoder s () Source #

label ∷ Proxy ProtocolParameters → Text Source #

EncCBOR ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

encCBOR ∷ ProtocolParameters → Encoding Source #

NFData ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

rnf ∷ ProtocolParameters → () #

Buildable ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

build ∷ ProtocolParameters → Builder Source #

Generic ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Associated Types

type Rep ProtocolParameters 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

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

Methods

from ∷ ProtocolParameters → Rep ProtocolParameters x #

to ∷ Rep ProtocolParameters x → ProtocolParameters #

Show ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

showsPrec ∷ Int → ProtocolParameters → ShowS #

show ∷ ProtocolParameters → String #

showList ∷ [ProtocolParameters] → ShowS #

Eq ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

(==) ∷ ProtocolParameters → ProtocolParameters → Bool #

(/=) ∷ ProtocolParameters → ProtocolParameters → Bool #

Ord ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

compare ∷ ProtocolParameters → ProtocolParameters → Ordering #

(<) ∷ ProtocolParameters → ProtocolParameters → Bool #

(<=) ∷ ProtocolParameters → ProtocolParameters → Bool #

(>) ∷ ProtocolParameters → ProtocolParameters → Bool #

(>=) ∷ ProtocolParameters → ProtocolParameters → Bool #

max ∷ ProtocolParameters → ProtocolParameters → ProtocolParameters #

min ∷ ProtocolParameters → ProtocolParameters → ProtocolParameters #

NoThunks ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

noThunks ∷ Context → ProtocolParameters → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ProtocolParameters → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ProtocolParameters → String Source #

MonadError SchemaError m ⇒ FromJSON m ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

fromJSON ∷ JSValue → m ProtocolParameters Source #

Monad m ⇒ ToJSON m ProtocolParameters Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParameters

Methods

toJSON ∷ ProtocolParameters → m JSValue Source #

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.3.0.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))))))

newtype ApplicationName Source #

Constructors

ApplicationName 

Fields

Instances

Instances details
ToJSON ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

toJSON ∷ ApplicationName → Value Source #

toEncoding ∷ ApplicationName → Encoding Source #

toJSONList ∷ [ApplicationName] → Value Source #

toEncodingList ∷ [ApplicationName] → Encoding Source #

omitField ∷ ApplicationName → Bool Source #

FromCBOR ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

fromCBOR ∷ Decoder s ApplicationName Source #

label ∷ Proxy ApplicationName → Text Source #

ToCBOR ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

toCBOR ∷ ApplicationName → Encoding Source #

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

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

DecCBOR ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

decCBOR ∷ Decoder s ApplicationName Source #

dropCBOR ∷ Proxy ApplicationName → Decoder s () Source #

label ∷ Proxy ApplicationName → Text Source #

EncCBOR ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

encCBOR ∷ ApplicationName → Encoding Source #

NFData ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

rnf ∷ ApplicationName → () #

Buildable ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

build ∷ ApplicationName → Builder Source #

Generic ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Associated Types

type Rep ApplicationName 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

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

Methods

from ∷ ApplicationName → Rep ApplicationName x #

to ∷ Rep ApplicationName x → ApplicationName #

Show ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

showsPrec ∷ Int → ApplicationName → ShowS #

show ∷ ApplicationName → String #

showList ∷ [ApplicationName] → ShowS #

Eq ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

(==) ∷ ApplicationName → ApplicationName → Bool #

(/=) ∷ ApplicationName → ApplicationName → Bool #

Ord ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

compare ∷ ApplicationName → ApplicationName → Ordering #

(<) ∷ ApplicationName → ApplicationName → Bool #

(<=) ∷ ApplicationName → ApplicationName → Bool #

(>) ∷ ApplicationName → ApplicationName → Bool #

(>=) ∷ ApplicationName → ApplicationName → Bool #

max ∷ ApplicationName → ApplicationName → ApplicationName #

min ∷ ApplicationName → ApplicationName → ApplicationName #

NoThunks ApplicationName Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

noThunks ∷ Context → ApplicationName → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ApplicationName → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ApplicationName → String Source #

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.3.0.0-inplace" 'True) (C1 ('MetaCons "ApplicationName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unApplicationName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype InstallerHash Source #

The hash of the installer of the new application

Constructors

InstallerHash 

Fields

Instances

Instances details
ToJSON InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Methods

toJSON ∷ InstallerHash → Value Source #

toEncoding ∷ InstallerHash → Encoding Source #

toJSONList ∷ [InstallerHash] → Value Source #

toEncodingList ∷ [InstallerHash] → Encoding Source #

omitField ∷ InstallerHash → Bool Source #

FromCBOR InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Methods

fromCBOR ∷ Decoder s InstallerHash Source #

label ∷ Proxy InstallerHash → Text Source #

ToCBOR InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Methods

toCBOR ∷ InstallerHash → Encoding Source #

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

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

DecCBOR InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Methods

decCBOR ∷ Decoder s InstallerHash Source #

dropCBOR ∷ Proxy InstallerHash → Decoder s () Source #

label ∷ Proxy InstallerHash → Text Source #

EncCBOR InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Methods

encCBOR ∷ InstallerHash → Encoding Source #

NFData InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Methods

rnf ∷ InstallerHash → () #

Buildable InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Methods

build ∷ InstallerHash → Builder Source #

Generic InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Associated Types

type Rep InstallerHash 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

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

Methods

from ∷ InstallerHash → Rep InstallerHash x #

to ∷ Rep InstallerHash x → InstallerHash #

Show InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Methods

showsPrec ∷ Int → InstallerHash → ShowS #

show ∷ InstallerHash → String #

showList ∷ [InstallerHash] → ShowS #

Eq InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Methods

(==) ∷ InstallerHash → InstallerHash → Bool #

(/=) ∷ InstallerHash → InstallerHash → Bool #

NoThunks InstallerHash Source # 
Instance details

Defined in Cardano.Chain.Update.InstallerHash

Methods

noThunks ∷ Context → InstallerHash → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → InstallerHash → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy InstallerHash → String Source #

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.3.0.0-inplace" 'True) (C1 ('MetaCons "InstallerHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "unInstallerHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Raw))))

data ProtocolParametersUpdate Source #

Data which represents modifications of block (aka protocol) version

Constructors

ProtocolParametersUpdate 

Fields

Instances

Instances details
ToJSON ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Methods

toJSON ∷ ProtocolParametersUpdate → Value Source #

toEncoding ∷ ProtocolParametersUpdate → Encoding Source #

toJSONList ∷ [ProtocolParametersUpdate] → Value Source #

toEncodingList ∷ [ProtocolParametersUpdate] → Encoding Source #

omitField ∷ ProtocolParametersUpdate → Bool Source #

FromCBOR ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Methods

fromCBOR ∷ Decoder s ProtocolParametersUpdate Source #

label ∷ Proxy ProtocolParametersUpdate → Text Source #

ToCBOR ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Methods

toCBOR ∷ ProtocolParametersUpdate → Encoding Source #

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

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

DecCBOR ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Methods

decCBOR ∷ Decoder s ProtocolParametersUpdate Source #

dropCBOR ∷ Proxy ProtocolParametersUpdate → Decoder s () Source #

label ∷ Proxy ProtocolParametersUpdate → Text Source #

EncCBOR ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Methods

encCBOR ∷ ProtocolParametersUpdate → Encoding Source #

NFData ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Methods

rnf ∷ ProtocolParametersUpdate → () #

Buildable ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Methods

build ∷ ProtocolParametersUpdate → Builder Source #

Generic ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Associated Types

type Rep ProtocolParametersUpdate 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

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

Methods

from ∷ ProtocolParametersUpdate → Rep ProtocolParametersUpdate x #

to ∷ Rep ProtocolParametersUpdate x → ProtocolParametersUpdate #

Show ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Methods

showsPrec ∷ Int → ProtocolParametersUpdate → ShowS #

show ∷ ProtocolParametersUpdate → String #

showList ∷ [ProtocolParametersUpdate] → ShowS #

Eq ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Methods

(==) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → Bool #

(/=) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → Bool #

Ord ProtocolParametersUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.ProtocolParametersUpdate

Methods

compare ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → Ordering #

(<) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → Bool #

(<=) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → Bool #

(>) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → Bool #

(>=) ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → Bool #

max ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → ProtocolParametersUpdate #

min ∷ ProtocolParametersUpdate → ProtocolParametersUpdate → 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.3.0.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 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

Methods

toJSON ∷ SoftforkRule → Value Source #

toEncoding ∷ SoftforkRule → Encoding Source #

toJSONList ∷ [SoftforkRule] → Value Source #

toEncodingList ∷ [SoftforkRule] → Encoding Source #

omitField ∷ SoftforkRule → Bool Source #

FromCBOR SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

fromCBOR ∷ Decoder s SoftforkRule Source #

label ∷ Proxy SoftforkRule → Text Source #

ToCBOR SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

toCBOR ∷ SoftforkRule → Encoding Source #

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

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

DecCBOR SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

decCBOR ∷ Decoder s SoftforkRule Source #

dropCBOR ∷ Proxy SoftforkRule → Decoder s () Source #

label ∷ Proxy SoftforkRule → Text Source #

EncCBOR SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

encCBOR ∷ SoftforkRule → Encoding Source #

NFData SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

rnf ∷ SoftforkRule → () #

Buildable SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

build ∷ SoftforkRule → Builder Source #

Generic SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Associated Types

type Rep SoftforkRule 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

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

Methods

from ∷ SoftforkRule → Rep SoftforkRule x #

to ∷ Rep SoftforkRule x → SoftforkRule #

Show SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

showsPrec ∷ Int → SoftforkRule → ShowS #

show ∷ SoftforkRule → String #

showList ∷ [SoftforkRule] → ShowS #

Eq SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

(==) ∷ SoftforkRule → SoftforkRule → Bool #

(/=) ∷ SoftforkRule → SoftforkRule → Bool #

Ord SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

compare ∷ SoftforkRule → SoftforkRule → Ordering #

(<) ∷ SoftforkRule → SoftforkRule → Bool #

(<=) ∷ SoftforkRule → SoftforkRule → Bool #

(>) ∷ SoftforkRule → SoftforkRule → Bool #

(>=) ∷ SoftforkRule → SoftforkRule → Bool #

max ∷ SoftforkRule → SoftforkRule → SoftforkRule #

min ∷ SoftforkRule → SoftforkRule → SoftforkRule #

NoThunks SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

noThunks ∷ Context → SoftforkRule → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SoftforkRule → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy SoftforkRule → String Source #

MonadError SchemaError m ⇒ FromJSON m SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

fromJSON ∷ JSValue → m SoftforkRule Source #

Monad m ⇒ ToJSON m SoftforkRule Source # 
Instance details

Defined in Cardano.Chain.Update.SoftforkRule

Methods

toJSON ∷ SoftforkRule → m JSValue Source #

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.3.0.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 SoftwareVersion Source #

Software version

Constructors

SoftwareVersion 

Fields

Instances

Instances details
ToJSON SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

toJSON ∷ SoftwareVersion → Value Source #

toEncoding ∷ SoftwareVersion → Encoding Source #

toJSONList ∷ [SoftwareVersion] → Value Source #

toEncodingList ∷ [SoftwareVersion] → Encoding Source #

omitField ∷ SoftwareVersion → Bool Source #

FromCBOR SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

fromCBOR ∷ Decoder s SoftwareVersion Source #

label ∷ Proxy SoftwareVersion → Text Source #

ToCBOR SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

toCBOR ∷ SoftwareVersion → Encoding Source #

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

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

DecCBOR SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

decCBOR ∷ Decoder s SoftwareVersion Source #

dropCBOR ∷ Proxy SoftwareVersion → Decoder s () Source #

label ∷ Proxy SoftwareVersion → Text Source #

EncCBOR SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

encCBOR ∷ SoftwareVersion → Encoding Source #

NFData SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

rnf ∷ SoftwareVersion → () #

Buildable SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

build ∷ SoftwareVersion → Builder Source #

Generic SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Associated Types

type Rep SoftwareVersion 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

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

Methods

from ∷ SoftwareVersion → Rep SoftwareVersion x #

to ∷ Rep SoftwareVersion x → SoftwareVersion #

Show SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

showsPrec ∷ Int → SoftwareVersion → ShowS #

show ∷ SoftwareVersion → String #

showList ∷ [SoftwareVersion] → ShowS #

Eq SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

(==) ∷ SoftwareVersion → SoftwareVersion → Bool #

(/=) ∷ SoftwareVersion → SoftwareVersion → Bool #

Ord SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

compare ∷ SoftwareVersion → SoftwareVersion → Ordering #

(<) ∷ SoftwareVersion → SoftwareVersion → Bool #

(<=) ∷ SoftwareVersion → SoftwareVersion → Bool #

(>) ∷ SoftwareVersion → SoftwareVersion → Bool #

(>=) ∷ SoftwareVersion → SoftwareVersion → Bool #

max ∷ SoftwareVersion → SoftwareVersion → SoftwareVersion #

min ∷ SoftwareVersion → SoftwareVersion → SoftwareVersion #

NoThunks SoftwareVersion Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

noThunks ∷ Context → SoftwareVersion → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SoftwareVersion → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy SoftwareVersion → String Source #

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.3.0.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)))

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

Methods

toJSON ∷ SystemTag → Value Source #

toEncoding ∷ SystemTag → Encoding Source #

toJSONList ∷ [SystemTag] → Value Source #

toEncodingList ∷ [SystemTag] → Encoding Source #

omitField ∷ SystemTag → Bool Source #

ToJSONKey SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

toJSONKey ∷ ToJSONKeyFunction SystemTag Source #

toJSONKeyList ∷ ToJSONKeyFunction [SystemTag] Source #

FromCBOR SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

fromCBOR ∷ Decoder s SystemTag Source #

label ∷ Proxy SystemTag → Text Source #

ToCBOR SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

toCBOR ∷ SystemTag → Encoding Source #

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

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

DecCBOR SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

decCBOR ∷ Decoder s SystemTag Source #

dropCBOR ∷ Proxy SystemTag → Decoder s () Source #

label ∷ Proxy SystemTag → Text Source #

EncCBOR SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

encCBOR ∷ SystemTag → Encoding Source #

NFData SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

rnf ∷ SystemTag → () #

Buildable SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

build ∷ SystemTag → Builder Source #

Generic SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Associated Types

type Rep SystemTag 
Instance details

Defined in Cardano.Chain.Update.SystemTag

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

Methods

from ∷ SystemTag → Rep SystemTag x #

to ∷ Rep SystemTag x → SystemTag #

Show SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

showsPrec ∷ Int → SystemTag → ShowS #

show ∷ SystemTag → String #

showList ∷ [SystemTag] → ShowS #

Eq SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

(==) ∷ SystemTag → SystemTag → Bool #

(/=) ∷ SystemTag → SystemTag → Bool #

Ord SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

compare ∷ SystemTag → SystemTag → Ordering #

(<) ∷ SystemTag → SystemTag → Bool #

(<=) ∷ SystemTag → SystemTag → Bool #

(>) ∷ SystemTag → SystemTag → Bool #

(>=) ∷ SystemTag → SystemTag → Bool #

max ∷ SystemTag → SystemTag → SystemTag #

min ∷ SystemTag → SystemTag → SystemTag #

NoThunks SystemTag Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

noThunks ∷ Context → SystemTag → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → SystemTag → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy SystemTag → String Source #

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.3.0.0-inplace" 'True) (C1 ('MetaCons "SystemTag" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSystemTag") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

upAdptThd ∷ Word8 → ProtocolParameters → Int 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.

type NumSoftwareVersion = Word32 Source #

Numeric software version associated with ApplicationName

data SoftwareVersionError Source #

Constructors

SoftwareVersionApplicationNameError ApplicationNameError 

Instances

Instances details
FromCBOR SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

fromCBOR ∷ Decoder s SoftwareVersionError Source #

label ∷ Proxy SoftwareVersionError → Text Source #

ToCBOR SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

toCBOR ∷ SoftwareVersionError → Encoding Source #

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

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

DecCBOR SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

decCBOR ∷ Decoder s SoftwareVersionError Source #

dropCBOR ∷ Proxy SoftwareVersionError → Decoder s () Source #

label ∷ Proxy SoftwareVersionError → Text Source #

EncCBOR SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

encCBOR ∷ SoftwareVersionError → Encoding Source #

Buildable SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

build ∷ SoftwareVersionError → Builder Source #

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 #

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

toConstr ∷ SoftwareVersionError → Constr #

dataTypeOf ∷ SoftwareVersionError → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SoftwareVersionError) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SoftwareVersionError) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → SoftwareVersionError → SoftwareVersionError #

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

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

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

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SoftwareVersionError → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SoftwareVersionError → m SoftwareVersionError #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SoftwareVersionError → m SoftwareVersionError #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SoftwareVersionError → m SoftwareVersionError #

Show SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

showsPrec ∷ Int → SoftwareVersionError → ShowS #

show ∷ SoftwareVersionError → String #

showList ∷ [SoftwareVersionError] → ShowS #

Eq SoftwareVersionError Source # 
Instance details

Defined in Cardano.Chain.Update.SoftwareVersion

Methods

(==) ∷ SoftwareVersionError → SoftwareVersionError → Bool #

(/=) ∷ SoftwareVersionError → SoftwareVersionError → Bool #

checkSoftwareVersion ∷ MonadError SoftwareVersionError m ⇒ SoftwareVersion → m () Source #

A software version is valid iff its application name is valid

data SystemTagError Source #

Constructors

SystemTagNotAscii Text 
SystemTagTooLong Text 

Instances

Instances details
FromCBOR SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

fromCBOR ∷ Decoder s SystemTagError Source #

label ∷ Proxy SystemTagError → Text Source #

ToCBOR SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

toCBOR ∷ SystemTagError → Encoding Source #

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

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

DecCBOR SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

decCBOR ∷ Decoder s SystemTagError Source #

dropCBOR ∷ Proxy SystemTagError → Decoder s () Source #

label ∷ Proxy SystemTagError → Text Source #

EncCBOR SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

encCBOR ∷ SystemTagError → Encoding Source #

Buildable SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

build ∷ SystemTagError → Builder Source #

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 #

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

toConstr ∷ SystemTagError → Constr #

dataTypeOf ∷ SystemTagError → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c SystemTagError) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c SystemTagError) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → SystemTagError → SystemTagError #

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

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

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

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → SystemTagError → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → SystemTagError → m SystemTagError #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SystemTagError → m SystemTagError #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → SystemTagError → m SystemTagError #

Show SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

showsPrec ∷ Int → SystemTagError → ShowS #

show ∷ SystemTagError → String #

showList ∷ [SystemTagError] → ShowS #

Eq SystemTagError Source # 
Instance details

Defined in Cardano.Chain.Update.SystemTag

Methods

(==) ∷ SystemTagError → SystemTagError → Bool #

(/=) ∷ SystemTagError → SystemTagError → Bool #

checkSystemTag ∷ MonadError SystemTagError m ⇒ SystemTag → m () Source #

recoverProof ∷ APayload ByteString → Proof Source #

data APayload a Source #

Update System payload

Constructors

APayload 

Fields

Instances

Instances details
FromCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

fromCBOR ∷ Decoder s Payload Source #

label ∷ Proxy Payload → Text Source #

ToCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

toCBOR ∷ Payload → Encoding Source #

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

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

DecCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

decCBOR ∷ Decoder s Payload Source #

dropCBOR ∷ Proxy Payload → Decoder s () Source #

label ∷ Proxy Payload → Text Source #

EncCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

encCBOR ∷ Payload → Encoding Source #

Buildable Payload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

build ∷ Payload → Builder Source #

Functor APayload Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

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

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

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

Defined in Cardano.Chain.Update.Payload

Methods

toJSON ∷ APayload a → Value Source #

toEncoding ∷ APayload a → Encoding Source #

toJSONList ∷ [APayload a] → Value Source #

toEncodingList ∷ [APayload a] → Encoding Source #

omitField ∷ APayload a → Bool Source #

FromCBOR (APayload ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

fromCBOR ∷ Decoder s (APayload ByteSpan) Source #

label ∷ Proxy (APayload ByteSpan) → Text Source #

Decoded (APayload ByteString) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Associated Types

type BaseType (APayload ByteString) 
Instance details

Defined in Cardano.Chain.Update.Payload

type BaseType (APayload ByteString) = Payload

Methods

recoverBytes ∷ APayload ByteString → ByteString Source #

DecCBOR (APayload ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Methods

decCBOR ∷ Decoder s (APayload ByteSpan) Source #

dropCBOR ∷ Proxy (APayload ByteSpan) → Decoder s () Source #

label ∷ Proxy (APayload ByteSpan) → Text Source #

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

Defined in Cardano.Chain.Update.Payload

Methods

rnf ∷ APayload a → () #

Generic (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

Associated Types

type Rep (APayload a) 
Instance details

Defined in Cardano.Chain.Update.Payload

type Rep (APayload a) = D1 ('MetaData "APayload" "Cardano.Chain.Update.Payload" "cardano-ledger-byron-1.3.0.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))))

Methods

from ∷ APayload a → Rep (APayload a) x #

to ∷ Rep (APayload a) x → APayload a #

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

Defined in Cardano.Chain.Update.Payload

Methods

showsPrec ∷ Int → APayload a → ShowS #

show ∷ APayload a → String #

showList ∷ [APayload a] → ShowS #

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

Defined in Cardano.Chain.Update.Payload

Methods

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

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

type BaseType (APayload ByteString) Source # 
Instance details

Defined in Cardano.Chain.Update.Payload

type BaseType (APayload ByteString) = Payload
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.3.0.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))))

applicationNameMaxLength ∷ Integral i ⇒ i Source #

data ApplicationNameError Source #

Constructors

ApplicationNameTooLong Text 
ApplicationNameNotAscii Text 

Instances

Instances details
FromCBOR ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

fromCBOR ∷ Decoder s ApplicationNameError Source #

label ∷ Proxy ApplicationNameError → Text Source #

ToCBOR ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

toCBOR ∷ ApplicationNameError → Encoding Source #

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

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

DecCBOR ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

decCBOR ∷ Decoder s ApplicationNameError Source #

dropCBOR ∷ Proxy ApplicationNameError → Decoder s () Source #

label ∷ Proxy ApplicationNameError → Text Source #

EncCBOR ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

encCBOR ∷ ApplicationNameError → Encoding Source #

Buildable ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

build ∷ ApplicationNameError → Builder Source #

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 #

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

toConstr ∷ ApplicationNameError → Constr #

dataTypeOf ∷ ApplicationNameError → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c ApplicationNameError) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c ApplicationNameError) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → ApplicationNameError → ApplicationNameError #

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

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

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

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → ApplicationNameError → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → ApplicationNameError → m ApplicationNameError #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApplicationNameError → m ApplicationNameError #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → ApplicationNameError → m ApplicationNameError #

Show ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

showsPrec ∷ Int → ApplicationNameError → ShowS #

show ∷ ApplicationNameError → String #

showList ∷ [ApplicationNameError] → ShowS #

Eq ApplicationNameError Source # 
Instance details

Defined in Cardano.Chain.Update.ApplicationName

Methods

(==) ∷ ApplicationNameError → ApplicationNameError → Bool #

(/=) ∷ ApplicationNameError → ApplicationNameError → Bool #

checkApplicationName ∷ MonadError ApplicationNameError m ⇒ ApplicationName → m () Source #

Smart constructor of ApplicationName

isBootstrapEraPP ∷ ProtocolParameters → EpochNumber → Bool Source #

Version of isBootstrapEra which takes ProtocolParameters instead of unlock stake epoch

systemTagMaxLength ∷ Integral i ⇒ i Source #