Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.Delegation.Certificates
Synopsis
- data DCert era
- = DCertDeleg !(DelegCert era)
- | DCertPool !(PoolCert era)
- | DCertGenesis !(GenesisDelegCert era)
- | DCertMir !(MIRCert era)
- data DelegCert era
- = RegKey !(StakeCredential era)
- | DeRegKey !(StakeCredential era)
- | Delegate !(Delegation era)
- data PoolCert era
- = RegPool !(PoolParams era)
- | RetirePool !(KeyHash 'StakePool (Crypto era)) !EpochNo
- data GenesisDelegCert era = GenesisDelegCert !(KeyHash 'Genesis (Crypto era)) !(KeyHash 'GenesisDelegate (Crypto era)) !(Hash (Crypto era) (VerKeyVRF (Crypto era)))
- data MIRCert era = MIRCert {
- mirPot ∷ MIRPot
- mirRewards ∷ Map (Credential 'Staking era) Coin
- newtype StakeCreds era = StakeCreds {
- unStakeCreds ∷ Map (Credential 'Staking era) SlotNo
- newtype PoolDistr crypto = PoolDistr {
- unPoolDistr ∷ Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)
- data IndividualPoolStake crypto = IndividualPoolStake {
- individualPoolStake ∷ !Rational
- individualPoolStakeVrf ∷ !(Hash crypto (VerKeyVRF crypto))
- delegCWitness ∷ DelegCert era → Credential 'Staking era
- poolCWitness ∷ PoolCert era → Credential 'StakePool era
- genesisCWitness ∷ GenesisDelegCert era → KeyHash 'Genesis (Crypto era)
- isRegKey ∷ DCert era → Bool
- isDeRegKey ∷ DCert era → Bool
- isDelegation ∷ DCert era → Bool
- isGenesisDelegation ∷ DCert era → Bool
- isRegPool ∷ DCert era → Bool
- isRetirePool ∷ DCert era → Bool
- isInstantaneousRewards ∷ DCert era → Bool
- isReservesMIRCert ∷ DCert era → Bool
- isTreasuryMIRCert ∷ DCert era → Bool
- requiresVKeyWitness ∷ DCert era → Bool
Documentation
A heavyweight certificate.
Constructors
DCertDeleg !(DelegCert era) | |
DCertPool !(PoolCert era) | |
DCertGenesis !(GenesisDelegCert era) | |
DCertMir !(MIRCert era) |
Instances
Constructors
RegKey !(StakeCredential era) | A stake key registration certificate. |
DeRegKey !(StakeCredential era) | A stake key deregistration certificate. |
Delegate !(Delegation era) | A stake delegation certificate. |
Instances
Eq (DelegCert era) Source # | |
Show (DelegCert era) Source # | |
Generic (DelegCert era) Source # | |
NoThunks (DelegCert era) Source # | |
type Rep (DelegCert era) Source # | |
Defined in Shelley.Spec.Ledger.TxBody type Rep (DelegCert era) = D1 ('MetaData "DelegCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "RegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential era))) :+: (C1 ('MetaCons "DeRegKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential era))) :+: C1 ('MetaCons "Delegate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Delegation era))))) |
Constructors
RegPool !(PoolParams era) | A stake pool registration certificate. |
RetirePool !(KeyHash 'StakePool (Crypto era)) !EpochNo | A stake pool retirement certificate. |
Instances
Eq (PoolCert era) Source # | |
Show (PoolCert era) Source # | |
Generic (PoolCert era) Source # | |
NoThunks (PoolCert era) Source # | |
type Rep (PoolCert era) Source # | |
Defined in Shelley.Spec.Ledger.TxBody type Rep (PoolCert era) = D1 ('MetaData "PoolCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolParams era))) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool (Crypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo))) |
data GenesisDelegCert era Source #
Genesis key delegation certificate
Constructors
GenesisDelegCert !(KeyHash 'Genesis (Crypto era)) !(KeyHash 'GenesisDelegate (Crypto era)) !(Hash (Crypto era) (VerKeyVRF (Crypto era))) |
Instances
Move instantaneous rewards certificate
Constructors
MIRCert | |
Fields
|
Instances
Eq (MIRCert era) Source # | |
Show (MIRCert era) Source # | |
Generic (MIRCert era) Source # | |
(Era era, ToCBOR (Script era)) ⇒ ToCBOR (MIRCert era) Source # | |
(Era era, Typeable (Script era), FromCBOR (Annotator (Script era))) ⇒ FromCBOR (MIRCert era) Source # | |
NoThunks (MIRCert era) Source # | |
type Rep (MIRCert era) Source # | |
Defined in Shelley.Spec.Ledger.TxBody type Rep (MIRCert era) = D1 ('MetaData "MIRCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "MIRCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "mirPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MIRPot) :*: S1 ('MetaSel ('Just "mirRewards") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking era) Coin)))) |
newtype StakeCreds era Source #
Constructors
StakeCreds | |
Fields
|
Instances
newtype PoolDistr crypto Source #
Constructors
PoolDistr | |
Fields
|
Instances
data IndividualPoolStake crypto Source #
Constructors
IndividualPoolStake | |
Fields
|
Instances
delegCWitness ∷ DelegCert era → Credential 'Staking era Source #
Determine the certificate author
poolCWitness ∷ PoolCert era → Credential 'StakePool era Source #
genesisCWitness ∷ GenesisDelegCert era → KeyHash 'Genesis (Crypto era) Source #
isDelegation ∷ DCert era → Bool Source #
Check for Delegation
constructor
isGenesisDelegation ∷ DCert era → Bool Source #
Check for GenesisDelegate
constructor
isRetirePool ∷ DCert era → Bool Source #
Check for RetirePool
constructor
isInstantaneousRewards ∷ DCert era → Bool Source #
isReservesMIRCert ∷ DCert era → Bool Source #
isTreasuryMIRCert ∷ DCert era → Bool Source #
requiresVKeyWitness ∷ DCert era → Bool Source #
Returns True for delegation certificates that require at least
one witness, and False otherwise. It is mainly used to ensure
that calling a variant of cwitness
is safe.