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

data DCert era Source #

A heavyweight certificate.

Constructors

DCertDeleg !(DelegCert era)
DCertPool !(PoolCert era)
DCertGenesis !(GenesisDelegCert era)
DCertMir !(MIRCert era)

Instances

Instances details

HasField "certs" (TxBody era) (StrictSeq (DCert era)) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictSeq (DCert era) #
Eq (DCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods (==) ∷ DCert era → DCert era → Bool # (/=) ∷ DCert era → DCert era → Bool #
Show (DCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods showsPrec ∷ Int → DCert era → ShowS # show ∷ DCert era → String # showList ∷ [DCert era] → ShowS #
Generic (DCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Associated Types type Rep (DCert era) ∷ Type → Type # Methods from ∷ DCert era → Rep (DCert era) x # to ∷ Rep (DCert era) x → DCert era #
(Era era, ToCBOR (Script era)) ⇒ ToCBOR (DCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods toCBOR ∷ DCert era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (DCert era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DCert era] → Size Source #
(Era era, Typeable (Script era), FromCBOR (Annotator (Script era))) ⇒ FromCBOR (DCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods fromCBOR ∷ Decoder s (DCert era) Source # label ∷ Proxy (DCert era) → Text Source #
NoThunks (DCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods noThunks ∷ Context → DCert era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → DCert era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (DCert era) → String
type Rep (DCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody type Rep (DCert era) = D1 ('MetaData "DCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) ((C1 ('MetaCons "DCertDeleg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DelegCert era))) :+: C1 ('MetaCons "DCertPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolCert era)))) :+: (C1 ('MetaCons "DCertGenesis" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GenesisDelegCert era))) :+: C1 ('MetaCons "DCertMir" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MIRCert era)))))

data DelegCert era Source #

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

Instances details

Eq (DelegCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods (==) ∷ DelegCert era → DelegCert era → Bool # (/=) ∷ DelegCert era → DelegCert era → Bool #
Show (DelegCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods showsPrec ∷ Int → DelegCert era → ShowS # show ∷ DelegCert era → String # showList ∷ [DelegCert era] → ShowS #
Generic (DelegCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Associated Types type Rep (DelegCert era) ∷ Type → Type # Methods from ∷ DelegCert era → Rep (DelegCert era) x # to ∷ Rep (DelegCert era) x → DelegCert era #
NoThunks (DelegCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods noThunks ∷ Context → DelegCert era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → DelegCert era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (DelegCert era) → String
type Rep (DelegCert era) Source #
Instance details 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)))))

data PoolCert era Source #

Constructors

RegPool !(PoolParams era)	A stake pool registration certificate.
RetirePool !(KeyHash 'StakePool (Crypto era)) !EpochNo	A stake pool retirement certificate.

Instances

Instances details

Eq (PoolCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods (==) ∷ PoolCert era → PoolCert era → Bool # (/=) ∷ PoolCert era → PoolCert era → Bool #
Show (PoolCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods showsPrec ∷ Int → PoolCert era → ShowS # show ∷ PoolCert era → String # showList ∷ [PoolCert era] → ShowS #
Generic (PoolCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Associated Types type Rep (PoolCert era) ∷ Type → Type # Methods from ∷ PoolCert era → Rep (PoolCert era) x # to ∷ Rep (PoolCert era) x → PoolCert era #
NoThunks (PoolCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods noThunks ∷ Context → PoolCert era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PoolCert era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PoolCert era) → String
type Rep (PoolCert era) Source #
Instance details 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

Instances details

Eq (GenesisDelegCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods (==) ∷ GenesisDelegCert era → GenesisDelegCert era → Bool # (/=) ∷ GenesisDelegCert era → GenesisDelegCert era → Bool #
Show (GenesisDelegCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods showsPrec ∷ Int → GenesisDelegCert era → ShowS # show ∷ GenesisDelegCert era → String # showList ∷ [GenesisDelegCert era] → ShowS #
Generic (GenesisDelegCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Associated Types type Rep (GenesisDelegCert era) ∷ Type → Type # Methods from ∷ GenesisDelegCert era → Rep (GenesisDelegCert era) x # to ∷ Rep (GenesisDelegCert era) x → GenesisDelegCert era #
NoThunks (GenesisDelegCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods noThunks ∷ Context → GenesisDelegCert era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → GenesisDelegCert era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (GenesisDelegCert era) → String
type Rep (GenesisDelegCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody type Rep (GenesisDelegCert era) = D1 ('MetaData "GenesisDelegCert" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "GenesisDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis (Crypto era))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate (Crypto era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash (Crypto era) (VerKeyVRF (Crypto era)))))))

data MIRCert era Source #

Move instantaneous rewards certificate

Constructors

MIRCert
Fields mirPot ∷ MIRPot mirRewards ∷ Map (Credential 'Staking era) Coin

Instances

Instances details

Eq (MIRCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods (==) ∷ MIRCert era → MIRCert era → Bool # (/=) ∷ MIRCert era → MIRCert era → Bool #
Show (MIRCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods showsPrec ∷ Int → MIRCert era → ShowS # show ∷ MIRCert era → String # showList ∷ [MIRCert era] → ShowS #
Generic (MIRCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Associated Types type Rep (MIRCert era) ∷ Type → Type # Methods from ∷ MIRCert era → Rep (MIRCert era) x # to ∷ Rep (MIRCert era) x → MIRCert era #
(Era era, ToCBOR (Script era)) ⇒ ToCBOR (MIRCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods toCBOR ∷ MIRCert era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MIRCert era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MIRCert era] → Size Source #
(Era era, Typeable (Script era), FromCBOR (Annotator (Script era))) ⇒ FromCBOR (MIRCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods fromCBOR ∷ Decoder s (MIRCert era) Source # label ∷ Proxy (MIRCert era) → Text Source #
NoThunks (MIRCert era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods noThunks ∷ Context → MIRCert era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → MIRCert era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (MIRCert era) → String
type Rep (MIRCert era) Source #
Instance details 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 unStakeCreds ∷ Map (Credential 'Staking era) SlotNo

Instances

Instances details

Eq (StakeCreds era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods (==) ∷ StakeCreds era → StakeCreds era → Bool # (/=) ∷ StakeCreds era → StakeCreds era → Bool #
Show (StakeCreds era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods showsPrec ∷ Int → StakeCreds era → ShowS # show ∷ StakeCreds era → String # showList ∷ [StakeCreds era] → ShowS #
Generic (StakeCreds era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Associated Types type Rep (StakeCreds era) ∷ Type → Type # Methods from ∷ StakeCreds era → Rep (StakeCreds era) x # to ∷ Rep (StakeCreds era) x → StakeCreds era #
NFData (StakeCreds era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods rnf ∷ StakeCreds era → () #
(Era era, ToCBOR (Script era)) ⇒ ToCBOR (StakeCreds era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods toCBOR ∷ StakeCreds era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StakeCreds era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StakeCreds era] → Size Source #
(Era era, Typeable (Script era)) ⇒ FromCBOR (StakeCreds era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods fromCBOR ∷ Decoder s (StakeCreds era) Source # label ∷ Proxy (StakeCreds era) → Text Source #
NoThunks (StakeCreds era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods noThunks ∷ Context → StakeCreds era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → StakeCreds era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (StakeCreds era) → String
Era era ⇒ FromJSON (StakeCreds era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods parseJSON ∷ Value → Parser (StakeCreds era) parseJSONList ∷ Value → Parser [StakeCreds era]
Era era ⇒ ToJSON (StakeCreds era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods toJSON ∷ StakeCreds era → Value toEncoding ∷ StakeCreds era → Encoding toJSONList ∷ [StakeCreds era] → Value toEncodingList ∷ [StakeCreds era] → Encoding
Embed (StakeCreds era) (Map (Credential 'Staking era) SlotNo) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods toBase ∷ StakeCreds era → Map (Credential 'Staking era) SlotNo Source # fromBase ∷ Map (Credential 'Staking era) SlotNo → StakeCreds era Source #
HasExp (StakeCreds era) (Map (Credential 'Staking era) SlotNo) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods toExp ∷ StakeCreds era → Exp (Map (Credential 'Staking era) SlotNo) Source #
type Rep (StakeCreds era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody type Rep (StakeCreds era) = D1 ('MetaData "StakeCreds" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "StakeCreds" 'PrefixI 'True) (S1 ('MetaSel ('Just "unStakeCreds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Credential 'Staking era) SlotNo))))

newtype PoolDistr crypto Source #

Constructors

PoolDistr
Fields unPoolDistr ∷ Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)

Instances

Instances details

Eq (PoolDistr crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods (==) ∷ PoolDistr crypto → PoolDistr crypto → Bool # (/=) ∷ PoolDistr crypto → PoolDistr crypto → Bool #
Show (PoolDistr crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods showsPrec ∷ Int → PoolDistr crypto → ShowS # show ∷ PoolDistr crypto → String # showList ∷ [PoolDistr crypto] → ShowS #
NFData (PoolDistr crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods rnf ∷ PoolDistr crypto → () #
Crypto crypto ⇒ ToCBOR (PoolDistr crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods toCBOR ∷ PoolDistr crypto → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PoolDistr crypto) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PoolDistr crypto] → Size Source #
Crypto crypto ⇒ FromCBOR (PoolDistr crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods fromCBOR ∷ Decoder s (PoolDistr crypto) Source # label ∷ Proxy (PoolDistr crypto) → Text Source #
Relation (PoolDistr crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Associated Types type Domain (PoolDistr crypto) Source # type Range (PoolDistr crypto) Source # Methods singleton ∷ Domain (PoolDistr crypto) → Range (PoolDistr crypto) → PoolDistr crypto Source # dom ∷ PoolDistr crypto → Set (Domain (PoolDistr crypto)) Source # range ∷ PoolDistr crypto → Set (Range (PoolDistr crypto)) Source # (◁) ∷ Set (Domain (PoolDistr crypto)) → PoolDistr crypto → PoolDistr crypto Source # (<\|) ∷ Set (Domain (PoolDistr crypto)) → PoolDistr crypto → PoolDistr crypto Source # (⋪) ∷ Set (Domain (PoolDistr crypto)) → PoolDistr crypto → PoolDistr crypto Source # (</\|) ∷ Set (Domain (PoolDistr crypto)) → PoolDistr crypto → PoolDistr crypto Source # (▷) ∷ PoolDistr crypto → Set (Range (PoolDistr crypto)) → PoolDistr crypto Source # (\|>) ∷ PoolDistr crypto → Set (Range (PoolDistr crypto)) → PoolDistr crypto Source # (⋫) ∷ PoolDistr crypto → Set (Range (PoolDistr crypto)) → PoolDistr crypto Source # (\|/>) ∷ PoolDistr crypto → Set (Range (PoolDistr crypto)) → PoolDistr crypto Source # (∪) ∷ PoolDistr crypto → PoolDistr crypto → PoolDistr crypto Source # (⨃) ∷ PoolDistr crypto → PoolDistr crypto → PoolDistr crypto Source # size ∷ Integral n ⇒ PoolDistr crypto → n Source # haskey ∷ Domain (PoolDistr crypto) → PoolDistr crypto → Bool Source # addpair ∷ Domain (PoolDistr crypto) → Range (PoolDistr crypto) → PoolDistr crypto → PoolDistr crypto Source # removekey ∷ Domain (PoolDistr crypto) → PoolDistr crypto → PoolDistr crypto Source #
NoThunks (PoolDistr crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods noThunks ∷ Context → PoolDistr crypto → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PoolDistr crypto → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PoolDistr crypto) → String
Embed (PoolDistr crypto) (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods toBase ∷ PoolDistr crypto → Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto) Source # fromBase ∷ Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto) → PoolDistr crypto Source #
HasExp (PoolDistr crypto) (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods toExp ∷ PoolDistr crypto → Exp (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source #
type Range (PoolDistr crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates type Range (PoolDistr crypto) = Range (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto))
type Domain (PoolDistr crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates type Domain (PoolDistr crypto) = Domain (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto))

data IndividualPoolStake crypto Source #

Constructors

IndividualPoolStake
Fields individualPoolStake ∷ !Rational individualPoolStakeVrf ∷ !(Hash crypto (VerKeyVRF crypto))

Instances

Instances details

Eq (IndividualPoolStake crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods (==) ∷ IndividualPoolStake crypto → IndividualPoolStake crypto → Bool # (/=) ∷ IndividualPoolStake crypto → IndividualPoolStake crypto → Bool #
Show (IndividualPoolStake crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods showsPrec ∷ Int → IndividualPoolStake crypto → ShowS # show ∷ IndividualPoolStake crypto → String # showList ∷ [IndividualPoolStake crypto] → ShowS #
Generic (IndividualPoolStake crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Associated Types type Rep (IndividualPoolStake crypto) ∷ Type → Type # Methods from ∷ IndividualPoolStake crypto → Rep (IndividualPoolStake crypto) x # to ∷ Rep (IndividualPoolStake crypto) x → IndividualPoolStake crypto #
NFData (IndividualPoolStake crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods rnf ∷ IndividualPoolStake crypto → () #
Crypto crypto ⇒ ToCBOR (IndividualPoolStake crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods toCBOR ∷ IndividualPoolStake crypto → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (IndividualPoolStake crypto) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [IndividualPoolStake crypto] → Size Source #
Crypto crypto ⇒ FromCBOR (IndividualPoolStake crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods fromCBOR ∷ Decoder s (IndividualPoolStake crypto) Source # label ∷ Proxy (IndividualPoolStake crypto) → Text Source #
NoThunks (IndividualPoolStake crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods noThunks ∷ Context → IndividualPoolStake crypto → IO (Maybe ThunkInfo) wNoThunks ∷ Context → IndividualPoolStake crypto → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (IndividualPoolStake crypto) → String
Embed (PoolDistr crypto) (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods toBase ∷ PoolDistr crypto → Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto) Source # fromBase ∷ Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto) → PoolDistr crypto Source #
HasExp (PoolDistr crypto) (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates Methods toExp ∷ PoolDistr crypto → Exp (Map (KeyHash 'StakePool crypto) (IndividualPoolStake crypto)) Source #
type Rep (IndividualPoolStake crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Delegation.Certificates type Rep (IndividualPoolStake crypto) = D1 ('MetaData "IndividualPoolStake" "Shelley.Spec.Ledger.Delegation.Certificates" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "IndividualPoolStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "individualPoolStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :*: S1 ('MetaSel ('Just "individualPoolStakeVrf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash crypto (VerKeyVRF crypto)))))

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 #

isRegKey ∷ DCert era → Bool Source #

Check for RegKey constructor

isDeRegKey ∷ DCert era → Bool Source #

Check for DeRegKey constructor

isDelegation ∷ DCert era → Bool Source #

Check for Delegation constructor

isGenesisDelegation ∷ DCert era → Bool Source #

Check for GenesisDelegate constructor

isRegPool ∷ DCert era → Bool Source #

Check for RegPool 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.