cardano-ledger-byron-1.0.2.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
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 

Instances

Instances details
Generic State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Associated Types

type Rep StateTypeType Source #

Methods

fromStateRep State x Source #

toRep State x → State Source #

Show State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

FromCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

ToCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

toCBORStateEncoding Source #

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

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

DecCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

EncCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

encCBORStateEncoding Source #

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

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

NFData State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

rnfState → () Source #

Eq State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

(==)StateStateBool Source #

(/=)StateStateBool Source #

NoThunks State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

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

activateDelegationStateScheduledDelegationState 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.