Safe Haskell	None
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

Eq State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Activation Methods (==) :: State -> State -> Bool Source # (/=) :: State -> State -> Bool 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 #
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 #
NFData State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Activation Methods rnf :: State -> () Source #
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 Methods fromCBOR :: Decoder s State Source # label :: Proxy State -> Text 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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.