Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Delegation.Validation.Interface

Contents

Blockchain Interface

Synopsis

data Environment = Environment {
- protocolMagic ∷ !(Annotated ProtocolMagicId ByteString)
- allowedDelegators ∷ !(Set KeyHash)
- k ∷ !BlockCount
- currentEpoch ∷ !EpochNumber
- currentSlot ∷ !SlotNumber
}
data State = State {
- schedulingState ∷ !State
- activationState ∷ !State
}
activateDelegations ∷ SlotNumber → State → State
delegates ∷ State → VerificationKey → VerificationKey → Bool
delegationMap ∷ State → Map
initialState ∷ MonadError Error m ⇒ Environment → GenesisDelegation → m State
tickDelegation ∷ EpochNumber → SlotNumber → State → State
updateDelegation ∷ MonadError Error m ⇒ Environment → State → [ACertificate ByteString] → m State

Blockchain Interface

data Environment Source #

Constructors

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

Instances

Instances details

Generic Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Interface 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.Interface 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.Interface Methods rnf ∷ Environment → () Source #
Eq Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Interface Methods (==) ∷ Environment → Environment → Bool Source # (/=) ∷ Environment → Environment → Bool Source #
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.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 "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
Fields schedulingState ∷ !State activationState ∷ !State

Instances

Instances details

Generic State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Interface 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.Interface 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.Interface Methods fromCBOR ∷ Decoder s State Source # label ∷ Proxy State → Text Source #
ToCBOR State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Interface 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.Interface 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.Interface 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.Interface Methods rnf ∷ State → () Source #
Eq State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Interface Methods (==) ∷ State → State → Bool Source # (/=) ∷ State → State → Bool Source #
NoThunks State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Interface 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.Interface type Rep State = D1 ('MetaData "State" "Cardano.Chain.Delegation.Validation.Interface" "cardano-ledger-byron-1.0.1.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)))

activateDelegations ∷ SlotNumber → State → State Source #

Activate certificates up to this slot

delegates ∷ State → VerificationKey → VerificationKey → Bool Source #

Check whether a delegation is valid in the State

delegationMap ∷ State → Map Source #

initialState ∷ MonadError Error m ⇒ Environment → GenesisDelegation → m State Source #

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

tickDelegation ∷ EpochNumber → SlotNumber → State → State Source #

Perform delegation update without adding certificates

updateDelegation ∷ MonadError Error m ⇒ Environment → State → [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