Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Chain.Delegation.Validation.Activation
Contents
Synopsis
- data State = State {
- delegationMap :: !Map
- delegationSlots :: !(Map KeyHash SlotNumber)
- activateDelegation :: State -> ScheduledDelegation -> State
Activation
Maps containing, for each delegator, the active delegation and the slot it became active in.
Constructors
State | |
Fields
|
Instances
Eq State Source # | |
Show State Source # | |
Generic State Source # | |
NFData State Source # | |
ToCBOR State Source # | |
FromCBOR State Source # | |
NoThunks State Source # | |
type Rep State Source # | |
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.