Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Chain.Update.Validation.Endorsement
Synopsis
-
data
Environment
=
Environment
{
- k :: ! BlockCount
- currentSlot :: ! SlotNumber
- adoptionThreshold :: ! Int
- delegationMap :: ! Map
- confirmedProposals :: !( Map UpId SlotNumber )
- registeredProtocolUpdateProposals :: ! ProtocolUpdateProposals
- data State = State { }
- data Endorsement = Endorsement { }
- data CandidateProtocolUpdate = CandidateProtocolUpdate { }
- register :: MonadError Error m => Environment -> State -> Endorsement -> m State
- data Error = MultipleProposalsForProtocolVersion ProtocolVersion
Documentation
data Environment Source #
Constructors
Environment | |
Fields
|
Constructors
State | |
Fields |
data Endorsement Source #
Constructors
Endorsement | |
Fields |
Instances
data CandidateProtocolUpdate Source #
Constructors
CandidateProtocolUpdate | |
Fields
|
Instances
register :: MonadError Error m => Environment -> State -> Endorsement -> m State Source #
Register an endorsement.
This corresponds to the
UPEND
rule.