Safe Haskell	None
Language	Haskell2010

Cardano.Chain.Delegation.Validation.Scheduling

Contents

Scheduling

Synopsis

data Environment = Environment {
- protocolMagic :: !( Annotated ProtocolMagicId ByteString )
- allowedDelegators :: !( Set KeyHash )
- currentEpoch :: ! EpochNumber
- currentSlot :: ! SlotNumber
- k :: ! BlockCount
}
data State = State {
- scheduledDelegations :: !( Seq ScheduledDelegation )
- keyEpochDelegations :: !( Set ( EpochNumber , KeyHash ))
}
data Error
data ScheduledDelegation = ScheduledDelegation {
- sdSlot :: ! SlotNumber
- sdDelegator :: ! KeyHash
- sdDelegate :: ! KeyHash
}
scheduleCertificate :: MonadError Error m => Environment -> State -> ACertificate ByteString -> m State

Scheduling

data Environment Source #

Constructors

Environment
Fields protocolMagic :: !( Annotated ProtocolMagicId ByteString ) allowedDelegators :: !( Set KeyHash ) currentEpoch :: ! EpochNumber currentSlot :: ! SlotNumber k :: ! BlockCount

Instances

Instances details

Eq Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods (==) :: Environment -> Environment -> Bool Source # (/=) :: Environment -> Environment -> Bool Source #
Show Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods showsPrec :: Int -> Environment -> ShowS Source # show :: Environment -> String Source # showList :: [ Environment ] -> ShowS Source #
Generic Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Associated Types type Rep Environment :: Type -> Type Source # Methods from :: Environment -> Rep Environment x Source # to :: Rep Environment x -> Environment Source #
NFData Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods rnf :: Environment -> () Source #
type Rep Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling type Rep Environment = D1 (' MetaData "Environment" "Cardano.Chain.Delegation.Validation.Scheduling" "cardano-ledger-byron-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' False ) ( C1 (' MetaCons "Environment" ' PrefixI ' True ) (( S1 (' MetaSel (' Just "protocolMagic") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Annotated ProtocolMagicId ByteString )) :: S1 (' MetaSel (' Just "allowedDelegators") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Set KeyHash ))) :: ( S1 (' MetaSel (' Just "currentEpoch") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 EpochNumber ) :: ( S1 (' MetaSel (' Just "currentSlot") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SlotNumber ) :: S1 (' MetaSel (' Just "k") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 BlockCount )))))

data State Source #

Constructors

State
Fields scheduledDelegations :: !( Seq ScheduledDelegation ) keyEpochDelegations :: !( Set ( EpochNumber , KeyHash ))

Instances

Instances details

Eq State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods (==) :: State -> State -> Bool Source # (/=) :: State -> State -> Bool Source #
Show State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling 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.Scheduling 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.Scheduling Methods rnf :: State -> () Source #
ToCBOR State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling 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.Scheduling Methods fromCBOR :: Decoder s State Source # label :: Proxy State -> Text Source #
NoThunks State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling 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.Scheduling type Rep State = D1 (' MetaData "State" "Cardano.Chain.Delegation.Validation.Scheduling" "cardano-ledger-byron-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' False ) ( C1 (' MetaCons "State" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "scheduledDelegations") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Seq ScheduledDelegation )) :*: S1 (' MetaSel (' Just "keyEpochDelegations") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Set ( EpochNumber , KeyHash )))))

data Error Source #

Constructors

InvalidCertificate	The delegation certificate has an invalid signature
MultipleDelegationsForEpoch EpochNumber KeyHash	This delegator has already delegated for the given epoch
MultipleDelegationsForSlot SlotNumber KeyHash	This delegator has already delgated in this slot
NonGenesisDelegator KeyHash	This delegator is not one of the allowed genesis keys
WrongEpoch EpochNumber EpochNumber	This delegation is for a past or for a too future epoch

Instances

Instances details

Eq Error Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods (==) :: Error -> Error -> Bool Source # (/=) :: Error -> Error -> Bool Source #
Show Error Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods showsPrec :: Int -> Error -> ShowS Source # show :: Error -> String Source # showList :: [ Error ] -> ShowS Source #
ToCBOR Error Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods toCBOR :: Error -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy Error -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Error ] -> Size Source #
FromCBOR Error Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods fromCBOR :: Decoder s Error Source # label :: Proxy Error -> Text Source #

data ScheduledDelegation Source #

Constructors

ScheduledDelegation
Fields sdSlot :: ! SlotNumber sdDelegator :: ! KeyHash sdDelegate :: ! KeyHash

Instances

Instances details

Eq ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods (==) :: ScheduledDelegation -> ScheduledDelegation -> Bool Source # (/=) :: ScheduledDelegation -> ScheduledDelegation -> Bool Source #
Show ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods showsPrec :: Int -> ScheduledDelegation -> ShowS Source # show :: ScheduledDelegation -> String Source # showList :: [ ScheduledDelegation ] -> ShowS Source #
Generic ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Associated Types type Rep ScheduledDelegation :: Type -> Type Source # Methods from :: ScheduledDelegation -> Rep ScheduledDelegation x Source # to :: Rep ScheduledDelegation x -> ScheduledDelegation Source #
NFData ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods rnf :: ScheduledDelegation -> () Source #
ToCBOR ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods toCBOR :: ScheduledDelegation -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ScheduledDelegation -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ ScheduledDelegation ] -> Size Source #
FromCBOR ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods fromCBOR :: Decoder s ScheduledDelegation Source # label :: Proxy ScheduledDelegation -> Text Source #
NoThunks ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods noThunks :: Context -> ScheduledDelegation -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ScheduledDelegation -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ScheduledDelegation -> String Source #
type Rep ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling type Rep ScheduledDelegation = D1 (' MetaData "ScheduledDelegation" "Cardano.Chain.Delegation.Validation.Scheduling" "cardano-ledger-byron-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' False ) ( C1 (' MetaCons "ScheduledDelegation" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "sdSlot") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SlotNumber ) :: ( S1 (' MetaSel (' Just "sdDelegator") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 KeyHash ) :: S1 (' MetaSel (' Just "sdDelegate") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 KeyHash ))))

scheduleCertificate :: MonadError Error m => Environment -> State -> ACertificate ByteString -> m State Source #

Update the delegation State with a Certificate if it passes all the validation rules. This is an implementation of the delegation scheduling inference rule from the ledger specification.