Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Delegation.Validation.Activation

Contents

Activation

Synopsis

data State = State {
- delegationMap ∷ !Map
- delegationSlots ∷ !(Map KeyHash SlotNumber)
}
activateDelegation ∷ State → ScheduledDelegation → State

Activation

data State Source #

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

Constructors

State
Fields delegationMap ∷ !Map delegationSlots ∷ !(Map KeyHash SlotNumber)

Instances

Instances details

Generic State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Activation Associated Types type Rep State ∷ Type → Type Source # Methods from ∷ State → Rep State x Source # to ∷ Rep State x → State Source #
Show State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Activation Methods showsPrec ∷ Int → State → ShowS Source # show ∷ State → String Source # showList ∷ [State] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy State → Size 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 rnf ∷ State → () Source #
Eq State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Activation Methods (==) ∷ State → State → Bool Source # (/=) ∷ State → State → Bool Source #
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.0.1.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.