cardano-ledger-byron-1.0.1.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Chain.Delegation.Validation.Scheduling

Contents

Synopsis

Scheduling

data Environment Source #

Constructors

Environment 

Fields

Instances

Instances details
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 #

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 #

NFData Environment Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Scheduling

Methods

rnf ∷ Environment → () Source #

Eq Environment Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Scheduling

Methods

(==) ∷ Environment → Environment → Bool Source #

(/=) ∷ Environment → Environment → Bool 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-1.0.1.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

Instances

Instances details
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 #

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 #

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 → () Source #

Eq State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Scheduling

Methods

(==) ∷ State → State → Bool Source #

(/=) ∷ State → State → Bool 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-1.0.1.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 Source #

show ∷ Error → String Source #

showList ∷ [Error] → ShowS Source #

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 Source #

(/=) ∷ Error → Error → Bool Source #

data ScheduledDelegation Source #

Constructors

ScheduledDelegation 

Fields

Instances

Instances details
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 #

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 #

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 → () Source #

Eq ScheduledDelegation Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Scheduling

Methods

(==) ∷ ScheduledDelegation → ScheduledDelegation → Bool Source #

(/=) ∷ ScheduledDelegation → ScheduledDelegation → Bool 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-1.0.1.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.