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

Cardano.Chain.Delegation.Validation.Activation

Contents

Synopsis

Activation

data State Source #

Maps containing, for each delegator, the active delegation and the slot it became active in.

Constructors

State 

Fields

Instances

Instances details
FromCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

fromCBOR ∷ Decoder s State Source #

label ∷ Proxy State → Text Source #

ToCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

toCBOR ∷ State → Encoding Source #

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

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

DecCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

decCBOR ∷ Decoder s State Source #

dropCBOR ∷ Proxy State → Decoder s () Source #

label ∷ Proxy State → Text Source #

EncCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

encCBOR ∷ State → Encoding Source #

NFData State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

rnf ∷ State → () #

Generic State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Associated Types

type Rep State 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

type Rep State = D1 ('MetaData "State" "Cardano.Chain.Delegation.Validation.Activation" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "State" 'PrefixI 'True) (S1 ('MetaSel ('Just "delegationMap") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Map) :*: S1 ('MetaSel ('Just "delegationSlots") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map KeyHash SlotNumber))))

Methods

from ∷ State → Rep State x #

to ∷ Rep State x → State #

Show State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

showsPrec ∷ Int → State → ShowS #

show ∷ State → String #

showList ∷ [State] → ShowS #

Eq State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

(==) ∷ State → State → Bool #

(/=) ∷ State → State → Bool #

NoThunks State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

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

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

showTypeOf ∷ Proxy State → String Source #

type Rep State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

type Rep State = D1 ('MetaData "State" "Cardano.Chain.Delegation.Validation.Activation" "cardano-ledger-byron-1.3.0.0-inplace" 'False) (C1 ('MetaCons "State" 'PrefixI 'True) (S1 ('MetaSel ('Just "delegationMap") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Map) :*: S1 ('MetaSel ('Just "delegationSlots") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map KeyHash SlotNumber))))

activateDelegation ∷ State → ScheduledDelegation → State Source #

Activate a ScheduledDelegation if its activation slot is less than the previous delegation slot for this delegate, otherwise discard it. This is an implementation of the delegation activation rule in the ledger specification.