cardano-ledger-0.1.0.0: The blockchain layer of Cardano
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 

Instances

Instances details
Eq State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

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

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

Show State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

showsPrec :: Int -> State -> ShowS #

show :: State -> String #

showList :: [State] -> ShowS #

Generic State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Associated Types

type Rep State :: Type -> Type #

Methods

from :: State -> Rep State x #

to :: Rep State x -> State #

NFData State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

rnf :: State -> () #

ToCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

Methods

toCBOR :: State -> Encoding Source #

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

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

FromCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Activation

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