cardano-ledger-shelley-1.12.2.1: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.TxCert

Synopsis

Documentation

class EraTxCert era ⇒ ShelleyEraTxCert era where Source #

pattern MirTxCert ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ MIRCert (EraCrypto era) → TxCert era Source #

data ShelleyDelegCert c Source #

Constructors

ShelleyRegCert !(StakeCredential c)

A stake credential registration certificate.

ShelleyUnRegCert !(StakeCredential c)

A stake credential deregistration certificate.

ShelleyDelegCert !(StakeCredential c) !(KeyHash 'StakePool c)

A stake delegation certificate.

Bundled Patterns

pattern RegKeyStakeCredential c → ShelleyDelegCert c

Deprecated: In favor of ShelleyRegCert

pattern DeRegKeyStakeCredential c → ShelleyDelegCert c

Deprecated: In favor of ShelleyUnRegCert

pattern DelegateDelegation c → ShelleyDelegCert c

Deprecated: In favor of ShelleyDelegCert

Instances

Instances details
Crypto c ⇒ ToJSON (ShelleyDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Generic (ShelleyDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep (ShelleyDelegCert c) ∷ TypeType Source #

Show (ShelleyDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

NFData (ShelleyDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnfShelleyDelegCert c → () Source #

Eq (ShelleyDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Ord (ShelleyDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

NoThunks (ShelleyDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (ShelleyDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (ShelleyDelegCert c) = D1 ('MetaData "ShelleyDelegCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "ShelleyRegCert" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c))) :+: (C1 ('MetaCons "ShelleyUnRegCert" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c))) :+: C1 ('MetaCons "ShelleyDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)))))

delegCWitnessShelleyDelegCert c → Credential 'Staking c Source #

Deprecated: This was a partial function, logic rewritten in a safer way

Determine the certificate author

data ShelleyTxCert era Source #

A heavyweight certificate.

Instances

Instances details
Era era ⇒ ToJSON (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Generic (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep (ShelleyTxCert era) ∷ TypeType Source #

Methods

fromShelleyTxCert era → Rep (ShelleyTxCert era) x Source #

toRep (ShelleyTxCert era) x → ShelleyTxCert era Source #

Show (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

(ShelleyEraTxCert era, TxCert era ~ ShelleyTxCert era) ⇒ FromCBOR (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Era era ⇒ ToCBOR (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

toCBORShelleyTxCert era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxCert era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxCert era] → Size Source #

(ShelleyEraTxCert era, TxCert era ~ ShelleyTxCert era) ⇒ DecCBOR (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Era era ⇒ EncCBOR (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

encCBORShelleyTxCert era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxCert era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxCert era] → Size Source #

NFData (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnfShelleyTxCert era → () Source #

Eq (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==)ShelleyTxCert era → ShelleyTxCert era → Bool Source #

(/=)ShelleyTxCert era → ShelleyTxCert era → Bool Source #

Ord (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

NoThunks (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (ShelleyTxCert era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (ShelleyTxCert era) = D1 ('MetaData "ShelleyTxCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) ((C1 ('MetaCons "ShelleyTxCertDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyDelegCert (EraCrypto era)))) :+: C1 ('MetaCons "ShelleyTxCertPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolCert (EraCrypto era))))) :+: (C1 ('MetaCons "ShelleyTxCertGenesisDeleg" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GenesisDelegCert (EraCrypto era)))) :+: C1 ('MetaCons "ShelleyTxCertMir" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MIRCert (EraCrypto era))))))

GenesisDelegCert

data GenesisDelegCert c Source #

Genesis key delegation certificate

Instances

Instances details
Crypto c ⇒ ToJSON (GenesisDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Generic (GenesisDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep (GenesisDelegCert c) ∷ TypeType Source #

Show (GenesisDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

NFData (GenesisDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnfGenesisDelegCert c → () Source #

Eq (GenesisDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Ord (GenesisDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

NoThunks (GenesisDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (GenesisDelegCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (GenesisDelegCert c) = D1 ('MetaData "GenesisDelegCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "GenesisDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis c)) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate c)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash c (VerKeyVRF c))))))

MIRCert

data MIRCert c Source #

Move instantaneous rewards certificate

Constructors

MIRCert 

Fields

Instances

Instances details
Crypto c ⇒ ToJSON (MIRCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Generic (MIRCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep (MIRCert c) ∷ TypeType Source #

Methods

fromMIRCert c → Rep (MIRCert c) x Source #

toRep (MIRCert c) x → MIRCert c Source #

Show (MIRCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

showsPrecIntMIRCert c → ShowS Source #

showMIRCert c → String Source #

showList ∷ [MIRCert c] → ShowS Source #

Crypto c ⇒ DecCBOR (MIRCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

decCBORDecoder s (MIRCert c) Source #

dropCBORProxy (MIRCert c) → Decoder s () Source #

labelProxy (MIRCert c) → Text Source #

Crypto c ⇒ EncCBOR (MIRCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

encCBORMIRCert c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MIRCert c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MIRCert c] → Size Source #

NFData (MIRCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnfMIRCert c → () Source #

Eq (MIRCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==)MIRCert c → MIRCert c → Bool Source #

(/=)MIRCert c → MIRCert c → Bool Source #

Ord (MIRCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

compareMIRCert c → MIRCert c → Ordering Source #

(<)MIRCert c → MIRCert c → Bool Source #

(<=)MIRCert c → MIRCert c → Bool Source #

(>)MIRCert c → MIRCert c → Bool Source #

(>=)MIRCert c → MIRCert c → Bool Source #

maxMIRCert c → MIRCert c → MIRCert c Source #

minMIRCert c → MIRCert c → MIRCert c Source #

NoThunks (MIRCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (MIRCert c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (MIRCert c) = D1 ('MetaData "MIRCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "MIRCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "mirPot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: S1 ('MetaSel ('Just "mirRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MIRTarget c))))

data MIRPot Source #

Constructors

ReservesMIR 
TreasuryMIR 

Instances

Instances details
ToJSON MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Bounded MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Enum MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Generic MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep MIRPotTypeType Source #

Methods

fromMIRPotRep MIRPot x Source #

toRep MIRPot x → MIRPot Source #

Show MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

DecCBOR MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

EncCBOR MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

encCBORMIRPotEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy MIRPotSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MIRPot] → Size Source #

NFData MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnfMIRPot → () Source #

Eq MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==)MIRPotMIRPotBool Source #

(/=)MIRPotMIRPotBool Source #

Ord MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

NoThunks MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep MIRPot Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep MIRPot = D1 ('MetaData "MIRPot" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "ReservesMIR" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "TreasuryMIR" 'PrefixI 'False) (U1TypeType))

data MIRTarget c Source #

MIRTarget specifies if funds from either the reserves or the treasury are to be handed out to a collection of reward accounts or instead transfered to the opposite pot.

Instances

Instances details
Crypto c ⇒ ToJSON (MIRTarget c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Generic (MIRTarget c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type Rep (MIRTarget c) ∷ TypeType Source #

Methods

fromMIRTarget c → Rep (MIRTarget c) x Source #

toRep (MIRTarget c) x → MIRTarget c Source #

Show (MIRTarget c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Crypto c ⇒ DecCBOR (MIRTarget c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Crypto c ⇒ EncCBOR (MIRTarget c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

encCBORMIRTarget c → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (MIRTarget c) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [MIRTarget c] → Size Source #

NFData (MIRTarget c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

rnfMIRTarget c → () Source #

Eq (MIRTarget c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

(==)MIRTarget c → MIRTarget c → Bool Source #

(/=)MIRTarget c → MIRTarget c → Bool Source #

Ord (MIRTarget c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

NoThunks (MIRTarget c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (MIRTarget c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

type Rep (MIRTarget c) = D1 ('MetaData "MIRTarget" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "StakeAddressesMIR" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) DeltaCoin))) :+: C1 ('MetaCons "SendToOppositePotMIR" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))

isRegKeyShelleyEraTxCert era ⇒ TxCert era → Bool Source #

Deprecated: Use isRegStakeTxCert instead

Check for ShelleyRegCert constructor

isDeRegKeyShelleyEraTxCert era ⇒ TxCert era → Bool Source #

Deprecated: Use isUnRegStakeTxCert instead

Check for ShelleyUnRegCert constructor

isDelegationShelleyEraTxCert era ⇒ TxCert era → Bool Source #

Check for ShelleyDelegCert constructor

isRegPoolEraTxCert era ⇒ TxCert era → Bool Source #

Check for RegPool constructor

isRetirePoolEraTxCert era ⇒ TxCert era → Bool Source #

Check for RetirePool constructor

isGenesisDelegation ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ TxCert era → Bool Source #

Check for GenesisDelegate constructor

requiresVKeyWitness ∷ (ShelleyEraTxCert era, ProtVerAtMost era 8) ⇒ TxCert era → Bool Source #

Deprecated: In favor of getVKeyWitnessTxCert

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.

Note: This will not compile for Conway, because it is incorrect for Conway, use getVKeyWitnessTxCert instead.

Serialization helpers

Deposits and Refunds

shelleyTotalDepositsTxCerts Source #

Arguments

∷ (EraPParams era, Foldable f, EraTxCert era) 
PParams era 
→ (KeyHash 'StakePool (EraCrypto era) → Bool)

Check whether a pool with a supplied PoolStakeId is already registered.

→ f (TxCert era) 
Coin 

Determine the total deposit amount needed from a TxBody. The block may (legitimately) contain multiple registration certificates for the same pool, where the first will be treated as a registration and any subsequent ones as re-registration. As such, we must only take a deposit for the first such registration. It is even possible for a single transaction to have multiple pool registration for the same pool, so as we process pool registrations, we must keep track of those that are already registered, so we do not add a Deposit for the same pool twice.

Note that this is not an issue for key registrations since subsequent registration certificates would be invalid.

shelleyTotalRefundsTxCerts Source #

Arguments

∷ (EraPParams era, Foldable f, EraTxCert era) 
PParams era 
→ (StakeCredential (EraCrypto era) → Maybe Coin)

Function that can lookup current deposit, in case when the stake key is registered.

→ f (TxCert era) 
Coin 

Compute the key deregistration refunds in a transaction

Re-exports

class (Era era, ToJSON (TxCert era), DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Ord (TxCert era), Eq (TxCert era)) ⇒ EraTxCert era where Source #

Associated Types

type TxCert era = (r ∷ Type) | r → era Source #

type TxCertUpgradeError era Source #

Methods

upgradeTxCertTxCert (PreviousEra era) → Either (TxCertUpgradeError era) (TxCert era) Source #

Every era, except Shelley, must be able to upgrade a TxCert from a previous era. However, not all certificates can be upgraded, because some eras lose some of the certificates, thus return type is an Either. Eg. from Babbage to Conway: MIR and Genesis certificates were removed.

getVKeyWitnessTxCertTxCert era → Maybe (KeyHash 'Witness (EraCrypto era)) Source #

Return a witness key whenever a certificate requires one

getScriptWitnessTxCertTxCert era → Maybe (ScriptHash (EraCrypto era)) Source #

Return a ScriptHash for certificate types that require a witness

mkRegPoolTxCertPoolParams (EraCrypto era) → TxCert era Source #

getRegPoolTxCertTxCert era → Maybe (PoolParams (EraCrypto era)) Source #

mkRetirePoolTxCertKeyHash 'StakePool (EraCrypto era) → EpochNoTxCert era Source #

getRetirePoolTxCertTxCert era → Maybe (KeyHash 'StakePool (EraCrypto era), EpochNo) Source #

lookupRegStakeTxCertTxCert era → Maybe (Credential 'Staking (EraCrypto era)) Source #

Extract staking credential from any certificate that can register such credential

lookupUnRegStakeTxCertTxCert era → Maybe (Credential 'Staking (EraCrypto era)) Source #

Extract staking credential from any certificate that can unregister such credential

getTotalDepositsTxCerts Source #

Arguments

Foldable f 
PParams era 
→ (KeyHash 'StakePool (EraCrypto era) → Bool)

Check whether stake pool is registered or not

→ f (TxCert era) 
Coin 

Compute the total deposits from a list of certificates.

getTotalRefundsTxCerts Source #

Arguments

Foldable f 
PParams era 
→ (Credential 'Staking (EraCrypto era) → Maybe Coin)

Lookup current deposit for Staking credential if one is registered

→ (Credential 'DRepRole (EraCrypto era) → Maybe Coin)

Lookup current deposit for DRep credential if one is registered

→ f (TxCert era) 
Coin 

Compute the total refunds from a list of certificates.

Instances

Instances details
Crypto c ⇒ EraTxCert (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Associated Types

type TxCert (ShelleyEra c) = (r ∷ Type) Source #

type TxCertUpgradeError (ShelleyEra c) Source #

pattern RegPoolTxCertEraTxCert era ⇒ PoolParams (EraCrypto era) → TxCert era Source #

pattern RetirePoolTxCertEraTxCert era ⇒ KeyHash 'StakePool (EraCrypto era) → EpochNoTxCert era Source #

data Delegation c Source #

The delegation of one stake key to another.

Constructors

Delegation 

Instances

Instances details
Generic (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Associated Types

type Rep (Delegation c) ∷ TypeType Source #

Methods

fromDelegation c → Rep (Delegation c) x Source #

toRep (Delegation c) x → Delegation c Source #

Show (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

NFData (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

rnfDelegation c → () Source #

Eq (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

(==)Delegation c → Delegation c → Bool Source #

(/=)Delegation c → Delegation c → Bool Source #

NoThunks (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep (Delegation c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep (Delegation c) = D1 ('MetaData "Delegation" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "Delegation" 'PrefixI 'True) (S1 ('MetaSel ('Just "dDelegator") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: S1 ('MetaSel ('Just "dDelegatee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c))))

data PoolCert c Source #

Constructors

RegPool !(PoolParams c)

A stake pool registration certificate.

RetirePool !(KeyHash 'StakePool c) !EpochNo

A stake pool retirement certificate.

Instances

Instances details
Crypto c ⇒ ToJSON (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Generic (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Associated Types

type Rep (PoolCert c) ∷ TypeType Source #

Methods

fromPoolCert c → Rep (PoolCert c) x Source #

toRep (PoolCert c) x → PoolCert c Source #

Show (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

NFData (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

rnfPoolCert c → () Source #

Eq (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

(==)PoolCert c → PoolCert c → Bool Source #

(/=)PoolCert c → PoolCert c → Bool Source #

Ord (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

Methods

comparePoolCert c → PoolCert c → Ordering Source #

(<)PoolCert c → PoolCert c → Bool Source #

(<=)PoolCert c → PoolCert c → Bool Source #

(>)PoolCert c → PoolCert c → Bool Source #

(>=)PoolCert c → PoolCert c → Bool Source #

maxPoolCert c → PoolCert c → PoolCert c Source #

minPoolCert c → PoolCert c → PoolCert c Source #

NoThunks (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep (PoolCert c) 
Instance details

Defined in Cardano.Ledger.Core.TxCert

type Rep (PoolCert c) = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolParams c))) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo)))

isRegStakeTxCertEraTxCert era ⇒ TxCert era → Bool Source #

Check if supplied TxCert is a stake registering certificate

isUnRegStakeTxCertEraTxCert era ⇒ TxCert era → Bool Source #

Check if supplied TxCert is a stake un-registering certificate

Orphan instances

Crypto c ⇒ EraTxCert (ShelleyEra c) Source # 
Instance details

Associated Types

type TxCert (ShelleyEra c) = (r ∷ Type) Source #

type TxCertUpgradeError (ShelleyEra c) Source #