cardano-ledger-0.1.0.0: The blockchain layer of Cardano
Safe HaskellNone
LanguageHaskell2010

Cardano.Chain.Update.Validation.Endorsement

Synopsis

Documentation

data Endorsement Source #

Instances

Instances details
Eq Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Ord Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Show Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Generic Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Associated Types

type Rep Endorsement :: Type -> Type #

NFData Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

rnf :: Endorsement -> () #

ToCBOR Endorsement Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

FromCBOR 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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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
Eq CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Show CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Generic CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Associated Types

type Rep CandidateProtocolUpdate :: Type -> Type #

NFData CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

rnf :: CandidateProtocolUpdate -> () #

ToCBOR CandidateProtocolUpdate Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

FromCBOR 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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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))))

register :: MonadError Error m => Environment -> State -> Endorsement -> 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
Eq Error Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

(==) :: Error -> Error -> Bool #

(/=) :: Error -> Error -> Bool #

Show Error Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

showsPrec :: Int -> Error -> ShowS #

show :: Error -> String #

showList :: [Error] -> ShowS #

ToCBOR Error Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement

Methods

toCBOR :: Error -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Error -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Error] -> Size Source #

FromCBOR Error Source # 
Instance details

Defined in Cardano.Chain.Update.Validation.Endorsement