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

Eq Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Interface Methods (==) :: Environment -> Environment -> Bool Source # (/=) :: Environment -> Environment -> Bool 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 #
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 #
NFData Environment Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Interface Methods rnf :: Environment -> () 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-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 "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

Eq State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Interface Methods (==) :: State -> State -> Bool Source # (/=) :: State -> State -> Bool 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 #
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 #
NFData State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Interface Methods rnf :: State -> () Source #
ToCBOR State Source #
Instance details Defined in Cardano.Chain.Delegation.Validation.Interface 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.Interface Methods fromCBOR :: Decoder s State Source # label :: Proxy State -> Text 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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 Certificate s

This corresponds to the DELEG rule from the Byron ledger specification