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

Generic Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Associated Types type Rep Environment ∷ Type → Type # Methods from ∷ Environment → Rep Environment x # to ∷ Rep Environment x → Environment #
Show Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods showsPrec ∷ Int → Environment → ShowS # show ∷ Environment → String # showList ∷ [Environment] → ShowS #
NFData Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods rnf ∷ Environment → () #
Eq Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods (==) ∷ Environment → Environment → Bool # (/=) ∷ Environment → Environment → Bool #
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-1.1.0.0-inplace" '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

Generic State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Associated Types type Rep State ∷ Type → Type # Methods from ∷ State → Rep State x # to ∷ Rep State x → State #
Show State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods showsPrec ∷ Int → State → ShowS # show ∷ State → String # showList ∷ [State] → ShowS #
FromCBOR State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods fromCBOR ∷ Decoder s State Source # label ∷ Proxy State → Text Source #
ToCBOR State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling 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.Scheduling 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.Scheduling 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.Scheduling Methods rnf ∷ State → () #
Eq State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods (==) ∷ State → State → Bool # (/=) ∷ State → State → Bool #
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-1.1.0.0-inplace" '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

Show Error Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods showsPrec ∷ Int → Error → ShowS # show ∷ Error → String # showList ∷ [Error] → ShowS #
FromCBOR Error Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods fromCBOR ∷ Decoder s Error Source # label ∷ Proxy Error → Text Source #
ToCBOR Error Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods toCBOR ∷ Error → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Error → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Error] → Size Source #
DecCBOR Error Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods decCBOR ∷ Decoder s Error Source # dropCBOR ∷ Proxy Error → Decoder s () Source # label ∷ Proxy Error → Text Source #
EncCBOR Error Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods encCBOR ∷ Error → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Error → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Error] → Size Source #
Eq Error Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods (==) ∷ Error → Error → Bool # (/=) ∷ Error → Error → Bool #

data ScheduledDelegation Source #

Constructors

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

Instances

Instances details

Generic ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Associated Types type Rep ScheduledDelegation ∷ Type → Type # Methods from ∷ ScheduledDelegation → Rep ScheduledDelegation x # to ∷ Rep ScheduledDelegation x → ScheduledDelegation #
Show ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods showsPrec ∷ Int → ScheduledDelegation → ShowS # show ∷ ScheduledDelegation → String # showList ∷ [ScheduledDelegation] → ShowS #
FromCBOR ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods fromCBOR ∷ Decoder s ScheduledDelegation Source # label ∷ Proxy ScheduledDelegation → Text Source #
ToCBOR ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods toCBOR ∷ ScheduledDelegation → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ScheduledDelegation → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ScheduledDelegation] → Size Source #
DecCBOR ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods decCBOR ∷ Decoder s ScheduledDelegation Source # dropCBOR ∷ Proxy ScheduledDelegation → Decoder s () Source # label ∷ Proxy ScheduledDelegation → Text Source #
EncCBOR ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods encCBOR ∷ ScheduledDelegation → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ScheduledDelegation → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ScheduledDelegation] → Size Source #
NFData ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods rnf ∷ ScheduledDelegation → () #
Eq ScheduledDelegation Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Scheduling Methods (==) ∷ ScheduledDelegation → ScheduledDelegation → Bool # (/=) ∷ ScheduledDelegation → ScheduledDelegation → Bool #
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-1.1.0.0-inplace" '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.