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

Cardano.Chain.Update.Validation.Endorsement

Synopsis

Documentation

data Endorsement Source #

Instances

Instances details
Generic Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Associated Types

type Rep EndorsementTypeType Source #

Show Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

FromCBOR Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

ToCBOR Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

toCBOREndorsementEncoding Source #

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

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

DecCBOR Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

EncCBOR Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

encCBOREndorsementEncoding Source #

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

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

NFData Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

rnfEndorsement → () Source #

Eq Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Ord Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

NoThunks Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

type Rep Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

type Rep Endorsement = D1 ('MetaData "Endorsement" "Cardano.Chain.Update.Validation.Endorsement" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "Endorsement" 'PrefixI 'True) (S1 ('MetaSel ('Just "endorsementProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtocolVersion) :*: S1 ('MetaSel ('Just "endorsementKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 KeyHash)))

data CandidateProtocolUpdate Source #

Constructors

CandidateProtocolUpdate 

Fields

  • cpuSlot ∷ !SlotNumber

    Slot at which this protocol version and parameters gathered enough endorsements and became a candidate. This is used to check which versions became candidates 2k slots before the end of an epoch (and only those can be adopted at that epoch). Versions that became candidates later than 2k slots before the end of an epoch can be adopted in following epochs.

  • cpuProtocolVersion ∷ !ProtocolVersion
     
  • cpuProtocolParameters ∷ !ProtocolParameters
     

Instances

Instances details
Generic CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Associated Types

type Rep CandidateProtocolUpdateTypeType Source #

Show CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

FromCBOR CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

ToCBOR CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

DecCBOR CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

EncCBOR CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

NFData CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Eq CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

NoThunks CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

type Rep CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

type Rep CandidateProtocolUpdate = D1 ('MetaData "CandidateProtocolUpdate" "Cardano.Chain.Update.Validation.Endorsement" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "CandidateProtocolUpdate" 'PrefixI 'True) (S1 ('MetaSel ('Just "cpuSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNumber) :*: (S1 ('MetaSel ('Just "cpuProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtocolVersion) :*: S1 ('MetaSel ('Just "cpuProtocolParameters") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtocolParameters))))

registerMonadError Error m ⇒ EnvironmentStateEndorsement → m State Source #

Register an endorsement.

This corresponds to the UPEND rule.

data Error Source #

Constructors

MultipleProposalsForProtocolVersion ProtocolVersion

Multiple proposals were found, which propose an update to the same protocol version.

Instances

Instances details
Show Error Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

FromCBOR Error Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

ToCBOR Error Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

toCBORErrorEncoding Source #

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

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

DecCBOR Error Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

EncCBOR Error Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

encCBORErrorEncoding Source #

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

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

Eq Error Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

(==)ErrorErrorBool Source #

(/=)ErrorErrorBool Source #