Modulecardano-ledger-shelley-1.19.0.1
Cardano.Ledger.Shelley.TxCert
- 7 types
- 2 classes
- 21 values
- Packagecardano-ledger-shelley-1.19.0.1
- Exports37
- LicenceApache-2.0
pattern
pattern DelegStakeTxCert :: ShelleyEraTxCert era => Credential Staking -> KeyHash StakePool -> TxCert erapattern
pattern GenesisDelegTxCert :: (ShelleyEraTxCert era, AtMostEra "Babbage"
era) => KeyHash GenesisRole -> KeyHash GenesisDelegate -> VRFVerKeyHash GenDelegVRF -> TxCert eraclass
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 whereAssociated types
type family TxCert eratype family TxCertUpgradeError era
Methods
upgradeTxCert :: EraTxCert (PreviousEra era) => TxCert (PreviousEra era) -> Either (TxCertUpgradeError era) (TxCert era)getVKeyWitnessTxCert :: TxCert era -> Maybe (KeyHash Witness)getScriptWitnessTxCert :: TxCert era -> Maybe ScriptHashmkRegPoolTxCert :: StakePoolParams -> TxCert eragetRegPoolTxCert :: TxCert era -> Maybe StakePoolParamsmkRetirePoolTxCert :: KeyHash StakePool -> EpochNo -> TxCert eragetRetirePoolTxCert :: TxCert era -> Maybe (KeyHash StakePool, EpochNo)lookupRegStakeTxCert :: TxCert era -> Maybe (Credential Staking)lookupUnRegStakeTxCert :: TxCert era -> Maybe (Credential Staking)getTotalDepositsTxCerts :: Foldable f => PParams era -> (KeyHash StakePool -> Bool) -> f (TxCert era) -> CoingetTotalRefundsTxCerts :: Foldable f => PParams era -> (Credential Staking -> Maybe Coin) -> f (TxCert era) -> Coin
Instances1EraTxCert
EraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert · orphan
Constructors
Instances8Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCertOrd PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCertShow PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCertGeneric PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCertNFData PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCertToJSON PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCertNoThunks PoolCertDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCerttype Rep PoolCert = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.TxCert"PoolCert"
"Cardano.Ledger.Core.TxCert"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"RegPool"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakePoolParams)) :+: C1 ('MetaCons"RetirePool"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo)))
Constructors
Instances8Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq GenesisDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertOrd GenesisDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertShow GenesisDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertGeneric GenesisDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNFData GenesisDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertToJSON GenesisDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNoThunks GenesisDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCerttype Rep GenesisDelegCert = D1 ('MetaDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert"GenesisDelegCert"
"Cardano.Ledger.Shelley.TxCert"
"cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P"
'False) (C1 ('MetaCons"GenesisDelegCert"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash GenesisRole)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash GenesisDelegate)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash GenDelegVRF)))))
Constructors
MIRCertmirPot :: !MIRPotmirRewards :: !MIRTarget
Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertOrd MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertShow MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertGeneric MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNFData MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertToJSON MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNoThunks MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertDecCBOR MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertEncCBOR MIRCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCerttype Rep MIRCert = D1 ('MetaDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert"MIRCert"
"Cardano.Ledger.Shelley.TxCert"
"cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P"
'False) (C1 ('MetaCons"MIRCert"
'PrefixI 'True) (S1 ('MetaSel ('Just"mirPot"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: S1 ('MetaSel ('Just"mirRewards"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRTarget)))
Instances12Bounded, Enum, Eq, Ord, Show, Generic, …
Bounded MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertEnum MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertEq MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertOrd MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertShow MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertGeneric MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNFData MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertToJSON MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNoThunks MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertDecCBOR MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertEncCBOR MIRPotDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCerttype Rep MIRPot = D1 ('MetaDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert"MIRPot"
"Cardano.Ledger.Shelley.TxCert"
"cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P"
'False) (C1 ('MetaCons"ReservesMIR"
'PrefixI 'False) U1 :+: C1 ('MetaCons"TreasuryMIR"
'PrefixI 'False) U1)
Constructors
Instances10Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertOrd MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertShow MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertGeneric MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNFData MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertToJSON MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNoThunks MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertDecCBOR MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertEncCBOR MIRTargetDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCerttype Rep MIRTarget = D1 ('MetaDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert"MIRTarget"
"Cardano.Ledger.Shelley.TxCert"
"cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P"
'False) (C1 ('MetaCons"StakeAddressesMIR"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential Staking) DeltaCoin))) :+: C1 ('MetaCons"SendToOppositePotMIR"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))
Constructors
Instances8Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq ShelleyDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertOrd ShelleyDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertShow ShelleyDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertGeneric ShelleyDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNFData ShelleyDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertToJSON ShelleyDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNoThunks ShelleyDelegCertDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCerttype Rep ShelleyDelegCert = D1 ('MetaDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert"ShelleyDelegCert"
"Cardano.Ledger.Shelley.TxCert"
"cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P"
'False) (C1 ('MetaCons"ShelleyRegCert"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking))) :+: (C1 ('MetaCons"ShelleyUnRegCert"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking))) :+: C1 ('MetaCons"ShelleyDelegCert"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool)))))
Methods
mkRegTxCert :: Credential Staking -> TxCert eragetRegTxCert :: TxCert era -> Maybe (Credential Staking)mkUnRegTxCert :: Credential Staking -> TxCert eragetUnRegTxCert :: TxCert era -> Maybe (Credential Staking)mkDelegStakeTxCert :: Credential Staking -> KeyHash StakePool -> TxCert eragetDelegStakeTxCert :: TxCert era -> Maybe (Credential Staking, KeyHash StakePool)mkGenesisDelegTxCert :: AtMostEra"Babbage"
era => GenesisDelegCert -> TxCert eragetGenesisDelegTxCert :: AtMostEra"Babbage"
era => TxCert era -> Maybe GenesisDelegCertmkMirTxCert :: AtMostEra"Babbage"
era => MIRCert -> TxCert eragetMirTxCert :: AtMostEra"Babbage"
era => TxCert era -> Maybe MIRCert
Instances1ShelleyEraTxCert
ShelleyEraTxCert ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert
Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …
Eq (ShelleyTxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertOrd (ShelleyTxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertShow (ShelleyTxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertGeneric (ShelleyTxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNFData (ShelleyTxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertEra era => ToJSON (ShelleyTxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertNoThunks (ShelleyTxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert(ShelleyEraTxCert era, TxCert era ~ ShelleyTxCert era) => FromCBOR (ShelleyTxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertEra era => ToCBOR (ShelleyTxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert(ShelleyEraTxCert era, TxCert era ~ ShelleyTxCert era) => DecCBOR (ShelleyTxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCertEra era => EncCBOR (ShelleyTxCert era)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCerttype Rep (ShelleyTxCert era) = D1 ('MetaDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxCert"ShelleyTxCert"
"Cardano.Ledger.Shelley.TxCert"
"cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P"
'False) ((C1 ('MetaCons"ShelleyTxCertDelegCert"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyDelegCert)) :+: C1 ('MetaCons"ShelleyTxCertPool"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolCert))) :+: (C1 ('MetaCons"ShelleyTxCertGenesisDeleg"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GenesisDelegCert)) :+: C1 ('MetaCons"ShelleyTxCertMir"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRCert))))