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

Cardano.Chain.Delegation.Validation.Interface

Synopsis

Blockchain Interface

data Environment Source #

Instances

Instances details
Generic Environment Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

Associated Types

type Rep EnvironmentTypeType Source #

Show Environment Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

NFData Environment Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

Methods

rnfEnvironment → () Source #

Eq Environment Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

type Rep Environment Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

type Rep Environment = D1 ('MetaData "Environment" "Cardano.Chain.Delegation.Validation.Interface" "cardano-ledger-byron-1.0.2.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 "k") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BlockCount) :*: (S1 ('MetaSel ('Just "currentEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNumber) :*: S1 ('MetaSel ('Just "currentSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNumber)))))

data State Source #

State shared between the blockchain and the ledger

Constructors

State 

Instances

Instances details
Generic State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

Associated Types

type Rep StateTypeType Source #

Methods

fromStateRep State x Source #

toRep State x → State Source #

Show State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

FromCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

ToCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

Methods

toCBORStateEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy StateSize Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [State] → Size Source #

DecCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

EncCBOR State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

Methods

encCBORStateEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy StateSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [State] → Size Source #

NFData State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

Methods

rnfState → () Source #

Eq State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

Methods

(==)StateStateBool Source #

(/=)StateStateBool Source #

NoThunks State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

type Rep State Source # 
Instance details

Defined in Cardano.Chain.Delegation.Validation.Interface

type Rep State = D1 ('MetaData "State" "Cardano.Chain.Delegation.Validation.Interface" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "State" 'PrefixI 'True) (S1 ('MetaSel ('Just "schedulingState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 State) :*: S1 ('MetaSel ('Just "activationState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 State)))

activateDelegationsSlotNumberStateState Source #

Activate certificates up to this slot

delegatesStateVerificationKeyVerificationKeyBool Source #

Check whether a delegation is valid in the State

initialStateMonadError Error m ⇒ EnvironmentGenesisDelegation → m State Source #

The initial state maps each genesis key to itself and overrides this using certificates from the genesis block.

tickDelegationEpochNumberSlotNumberStateState Source #

Perform delegation update without adding certificates

updateDelegationMonadError Error m ⇒ EnvironmentState → [ACertificate ByteString] → m State Source #

Update the State with a list of new Certificates

This corresponds to the DELEG rule from the Byron ledger specification