Modulecardano-ledger-conway-1.23.0.0

Cardano.Ledger.Conway.TxCert

Synopsis

pattern AuthCommitteeHotKeyTxCert
pattern DelegTxCert
pattern RegDRepTxCert
pattern RegDepositDelegTxCert
pattern RegDepositTxCert
pattern ResignCommitteeColdTxCert
pattern UnRegDRepTxCert
pattern UnRegDepositTxCert
pattern UpdateDRepTxCert
value conwayDRepDepositsTxCerts
value conwayDRepRefundsTxCerts
value conwayGovCertVKeyWitness
value conwayTotalDepositsTxCerts
value conwayTotalRefundsTxCerts
value conwayTxCertDelegDecoder
value fromShelleyDelegCert
value getDRepDelegatee
value getDelegateeTxCert
value getScriptWitnessConwayTxCert
value getStakePoolDelegatee
value getVKeyWitnessConwayTxCert
value mkDelegatee
value toShelleyDelegCert
data ConwayDelegCert
class ConwayEraTxCert
data ConwayGovCert
data ConwayTxCert
data ConwayTxCertUpgradeError
data Delegatee

Packagecardano-ledger-conway-1.23.0.0
Exports29
LicenceApache-2.0

pattern

pattern AuthCommitteeHotKeyTxCert :: ConwayEraTxCert era => Credential ColdCommitteeRole -> Credential HotCommitteeRole -> TxCert era

patternpattern DelegTxCert :: ConwayEraTxCert era => Credential Staking -> Delegatee -> TxCert era

patternpattern RegDRepTxCert :: ConwayEraTxCert era => Credential DRepRole -> Coin -> StrictMaybe Anchor -> TxCert era

patternpattern RegDepositDelegTxCert :: ConwayEraTxCert era => Credential Staking -> Delegatee -> Coin -> TxCert era

patternpattern RegDepositTxCert :: ConwayEraTxCert era => Credential Staking -> Coin -> TxCert era

pattern

pattern ResignCommitteeColdTxCert :: ConwayEraTxCert era => Credential ColdCommitteeRole -> StrictMaybe Anchor -> TxCert era

patternpattern UnRegDRepTxCert :: ConwayEraTxCert era => Credential DRepRole -> Coin -> TxCert era

patternpattern UnRegDepositTxCert :: ConwayEraTxCert era => Credential Staking -> Coin -> TxCert era

patternpattern UpdateDRepTxCert :: ConwayEraTxCert era => Credential DRepRole -> StrictMaybe Anchor -> TxCert era

valueconwayDRepDepositsTxCerts

:: (ConwayEraPParams era, Foldable f, ConwayEraTxCert era)
=> PParams era
-> f (TxCert era)
-> Coin

valueconwayDRepRefundsTxCerts

:: (Foldable f, ConwayEraTxCert era)
=> f (TxCert era)
-> Coin

valueconwayGovCertVKeyWitness :: ConwayGovCert -> Maybe (KeyHash Witness)

valueconwayTotalDepositsTxCerts

:: (ConwayEraPParams era, Foldable f, ConwayEraTxCert era)
=> PParams era
-> KeyHash StakePool -> Bool
-> f (TxCert era)
-> Coin

valueconwayTotalRefundsTxCerts

:: (EraPParams era, Foldable f, ConwayEraTxCert era)
=> PParams era
-> Credential Staking -> Maybe Coin
-> f (TxCert era)
-> Coin

valueconwayTxCertDelegDecoder

:: ConwayEraTxCert era
=> Word
-> Decoder s (Int, TxCert era)

valuefromShelleyDelegCert :: ShelleyDelegCert -> ConwayDelegCert

valuegetDRepDelegatee :: Delegatee -> Maybe DRep

valuegetDelegateeTxCert :: ConwayEraTxCert era => TxCert era -> Maybe Delegatee

valuegetScriptWitnessConwayTxCert :: ConwayTxCert era -> Maybe ScriptHash

valuegetStakePoolDelegatee :: Delegatee -> Maybe (KeyHash StakePool)

valuegetVKeyWitnessConwayTxCert :: ConwayTxCert era -> Maybe (KeyHash Witness)

valuemkDelegatee :: Maybe (KeyHash StakePool) -> Maybe DRep -> Maybe Delegatee

valuetoShelleyDelegCert :: ConwayDelegCert -> Maybe ShelleyDelegCert

datadata ConwayDelegCert

Constructors

ConwayRegCert !(Credential Staking) !(StrictMaybe Coin)
ConwayUnRegCert !(Credential Staking) !(StrictMaybe Coin)
ConwayDelegCert !(Credential Staking) !Delegatee
ConwayRegDelegCert !(Credential Staking) !Delegatee !Coin

Instances9Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq ConwayDelegCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Ord ConwayDelegCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Show ConwayDelegCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Generic ConwayDelegCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NFData ConwayDelegCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
ToJSON ConwayDelegCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NoThunks ConwayDelegCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
EncCBOR ConwayDelegCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
type Rep ConwayDelegCert = D1 ('MetaData "ConwayDelegCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'False) ((C1 ('MetaCons "ConwayRegCert" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin))) :+: C1 ('MetaCons "ConwayUnRegCert" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin)))) :+: (C1 ('MetaCons "ConwayDelegCert" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Delegatee)) :+: C1 ('MetaCons "ConwayRegDelegCert" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Delegatee) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert

classclass EraTxCert era => ConwayEraTxCert era where

Methods

mkRegDepositTxCert :: Credential Staking -> Coin -> TxCert era
getRegDepositTxCert :: TxCert era -> Maybe (Credential Staking, Coin)
mkUnRegDepositTxCert :: Credential Staking -> Coin -> TxCert era
getUnRegDepositTxCert :: TxCert era -> Maybe (Credential Staking, Coin)
mkDelegTxCert :: Credential Staking -> Delegatee -> TxCert era
getDelegTxCert :: TxCert era -> Maybe (Credential Staking, Delegatee)
mkRegDepositDelegTxCert :: Credential Staking -> Delegatee -> Coin -> TxCert era
getRegDepositDelegTxCert :: TxCert era -> Maybe (Credential Staking, Delegatee, Coin)
mkAuthCommitteeHotKeyTxCert :: Credential ColdCommitteeRole -> Credential HotCommitteeRole -> TxCert era
getAuthCommitteeHotKeyTxCert :: TxCert era -> Maybe (Credential ColdCommitteeRole, Credential HotCommitteeRole)
mkResignCommitteeColdTxCert :: Credential ColdCommitteeRole -> StrictMaybe Anchor -> TxCert era
getResignCommitteeColdTxCert :: TxCert era -> Maybe (Credential ColdCommitteeRole, StrictMaybe Anchor)
mkRegDRepTxCert :: Credential DRepRole -> Coin -> StrictMaybe Anchor -> TxCert era
getRegDRepTxCert :: TxCert era -> Maybe (Credential DRepRole, Coin, StrictMaybe Anchor)
mkUnRegDRepTxCert :: Credential DRepRole -> Coin -> TxCert era
getUnRegDRepTxCert :: TxCert era -> Maybe (Credential DRepRole, Coin)
mkUpdateDRepTxCert :: Credential DRepRole -> StrictMaybe Anchor -> TxCert era
getUpdateDRepTxCert :: TxCert era -> Maybe (Credential DRepRole, StrictMaybe Anchor)

Instances1ConwayEraTxCert

ConwayEraTxCert ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert

datadata ConwayGovCert

Constructors

ConwayRegDRep !(Credential DRepRole) !Coin !(StrictMaybe Anchor)
ConwayUnRegDRep !(Credential DRepRole) !Coin
ConwayUpdateDRep !(Credential DRepRole) !(StrictMaybe Anchor)
ConwayAuthCommitteeHotKey !(Credential ColdCommitteeRole) !(Credential HotCommitteeRole)
ConwayResignCommitteeColdKey !(Credential ColdCommitteeRole) !(StrictMaybe Anchor)

Instances9Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq ConwayGovCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Ord ConwayGovCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Show ConwayGovCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Generic ConwayGovCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NFData ConwayGovCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
ToJSON ConwayGovCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NoThunks ConwayGovCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
EncCBOR ConwayGovCertDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
type Rep ConwayGovCert = D1 ('MetaData "ConwayGovCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'False) ((C1 ('MetaCons "ConwayRegDRep" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential DRepRole)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor)))) :+: C1 ('MetaCons "ConwayUnRegDRep" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential DRepRole)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :+: (C1 ('MetaCons "ConwayUpdateDRep" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential DRepRole)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))) :+: (C1 ('MetaCons "ConwayAuthCommitteeHotKey" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential ColdCommitteeRole)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential HotCommitteeRole))) :+: C1 ('MetaCons "ConwayResignCommitteeColdKey" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential ColdCommitteeRole)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Anchor))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert

datadata ConwayTxCert era

Instances12Eq, Ord, Show, Generic, NFData, ToJSON, …

Eq (ConwayTxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Ord (ConwayTxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Show (ConwayTxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Generic (ConwayTxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NFData (ConwayTxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Era era => ToJSON (ConwayTxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NoThunks (ConwayTxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
(ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) => FromCBOR (ConwayTxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
(Era era, Val (Value era)) => ToCBOR (ConwayTxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
(ShelleyEraTxCert era, ConwayEraTxCert era, TxCert era ~ ConwayTxCert era) => DecCBOR (ConwayTxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Era era => EncCBOR (ConwayTxCert era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
type Rep (ConwayTxCert era) = D1 ('MetaData "ConwayTxCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'False) (C1 ('MetaCons "ConwayTxCertDeleg" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayDelegCert)) :+: (C1 ('MetaCons "ConwayTxCertPool" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolCert)) :+: C1 ('MetaCons "ConwayTxCertGov" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGovCert))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert

datadata ConwayTxCertUpgradeError

MirTxCertExpunged GenesisDelegTxCertExpunged

Instances2Eq, Show

Eq ConwayTxCertUpgradeErrorDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Show ConwayTxCertUpgradeErrorDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert

datadata Delegatee

Constructors

DelegStake !(KeyHash StakePool)
DelegVote !DRep
DelegStakeVote !(KeyHash StakePool) !DRep

Instances11Eq, Ord, Show, Generic, NFData, FromJSON, …

Eq DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Ord DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Show DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
Generic DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NFData DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
FromJSON DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
ToJSON DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
NoThunks DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
DecCBOR DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
EncCBOR DelegateeDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert
type Rep Delegatee = D1 ('MetaData "Delegatee" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'False) (C1 ('MetaCons "DelegStake" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool))) :+: (C1 ('MetaCons "DelegVote" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DRep)) :+: C1 ('MetaCons "DelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash StakePool)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DRep))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxCert

Orphan instances

2 instances