Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Dijkstra.TxCert

Contents

Orphan instances

Documentation

data DijkstraTxCertUpgradeError Source #

Instances

Instances details

Show DijkstraTxCertUpgradeError Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods showsPrec ∷ Int → DijkstraTxCertUpgradeError → ShowS # show ∷ DijkstraTxCertUpgradeError → String # showList ∷ [DijkstraTxCertUpgradeError] → ShowS #
Eq DijkstraTxCertUpgradeError Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods (==) ∷ DijkstraTxCertUpgradeError → DijkstraTxCertUpgradeError → Bool # (/=) ∷ DijkstraTxCertUpgradeError → DijkstraTxCertUpgradeError → Bool #

data DijkstraTxCert era Source #

Constructors

DijkstraTxCertDeleg !DijkstraDelegCert
DijkstraTxCertPool !PoolCert
DijkstraTxCertGov !ConwayGovCert

Instances

Instances details

Era era ⇒ ToJSON (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods toJSON ∷ DijkstraTxCert era → Value Source # toEncoding ∷ DijkstraTxCert era → Encoding Source # toJSONList ∷ [DijkstraTxCert era] → Value Source # toEncodingList ∷ [DijkstraTxCert era] → Encoding Source # omitField ∷ DijkstraTxCert era → Bool Source #
Generic (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Associated Types type Rep (DijkstraTxCert era) ∷ Type → Type # Methods from ∷ DijkstraTxCert era → Rep (DijkstraTxCert era) x # to ∷ Rep (DijkstraTxCert era) x → DijkstraTxCert era #
Show (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods showsPrec ∷ Int → DijkstraTxCert era → ShowS # show ∷ DijkstraTxCert era → String # showList ∷ [DijkstraTxCert era] → ShowS #
(EraTxCert era, TxCert era ~ DijkstraTxCert era) ⇒ FromCBOR (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods fromCBOR ∷ Decoder s (DijkstraTxCert era) Source # label ∷ Proxy (DijkstraTxCert era) → Text Source #
(Era era, Val (Value era)) ⇒ ToCBOR (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods toCBOR ∷ DijkstraTxCert era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (DijkstraTxCert era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DijkstraTxCert era] → Size Source #
(ConwayEraTxCert era, TxCert era ~ DijkstraTxCert era) ⇒ DecCBOR (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods decCBOR ∷ Decoder s (DijkstraTxCert era) Source # dropCBOR ∷ Proxy (DijkstraTxCert era) → Decoder s () Source # label ∷ Proxy (DijkstraTxCert era) → Text Source #
Era era ⇒ EncCBOR (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods encCBOR ∷ DijkstraTxCert era → Encoding Source #
NFData (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods rnf ∷ DijkstraTxCert era → () #
Eq (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods (==) ∷ DijkstraTxCert era → DijkstraTxCert era → Bool # (/=) ∷ DijkstraTxCert era → DijkstraTxCert era → Bool #
Ord (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods compare ∷ DijkstraTxCert era → DijkstraTxCert era → Ordering # (<) ∷ DijkstraTxCert era → DijkstraTxCert era → Bool # (<=) ∷ DijkstraTxCert era → DijkstraTxCert era → Bool # (>) ∷ DijkstraTxCert era → DijkstraTxCert era → Bool # (>=) ∷ DijkstraTxCert era → DijkstraTxCert era → Bool # max ∷ DijkstraTxCert era → DijkstraTxCert era → DijkstraTxCert era # min ∷ DijkstraTxCert era → DijkstraTxCert era → DijkstraTxCert era #
NoThunks (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods noThunks ∷ Context → DijkstraTxCert era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DijkstraTxCert era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DijkstraTxCert era) → String Source #
type Rep (DijkstraTxCert era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert type Rep (DijkstraTxCert era) = D1 ('MetaData "DijkstraTxCert" "Cardano.Ledger.Dijkstra.TxCert" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraTxCertDeleg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DijkstraDelegCert)) :+: (C1 ('MetaCons "DijkstraTxCertPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PoolCert)) :+: C1 ('MetaCons "DijkstraTxCertGov" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGovCert))))

data DijkstraDelegCert Source #

Constructors

DijkstraRegCert !StakeCredential !Coin
DijkstraUnRegCert !StakeCredential !Coin
DijkstraDelegCert !StakeCredential !Delegatee
DijkstraRegDelegCert !StakeCredential !Delegatee !Coin

Instances

Instances details

ToJSON DijkstraDelegCert Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods toJSON ∷ DijkstraDelegCert → Value Source # toEncoding ∷ DijkstraDelegCert → Encoding Source # toJSONList ∷ [DijkstraDelegCert] → Value Source # toEncodingList ∷ [DijkstraDelegCert] → Encoding Source # omitField ∷ DijkstraDelegCert → Bool Source #
Generic DijkstraDelegCert Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Associated Types type Rep DijkstraDelegCert ∷ Type → Type # Methods from ∷ DijkstraDelegCert → Rep DijkstraDelegCert x # to ∷ Rep DijkstraDelegCert x → DijkstraDelegCert #
Show DijkstraDelegCert Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods showsPrec ∷ Int → DijkstraDelegCert → ShowS # show ∷ DijkstraDelegCert → String # showList ∷ [DijkstraDelegCert] → ShowS #
EncCBOR DijkstraDelegCert Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods encCBOR ∷ DijkstraDelegCert → Encoding Source #
NFData DijkstraDelegCert Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods rnf ∷ DijkstraDelegCert → () #
Eq DijkstraDelegCert Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods (==) ∷ DijkstraDelegCert → DijkstraDelegCert → Bool # (/=) ∷ DijkstraDelegCert → DijkstraDelegCert → Bool #
Ord DijkstraDelegCert Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods compare ∷ DijkstraDelegCert → DijkstraDelegCert → Ordering # (<) ∷ DijkstraDelegCert → DijkstraDelegCert → Bool # (<=) ∷ DijkstraDelegCert → DijkstraDelegCert → Bool # (>) ∷ DijkstraDelegCert → DijkstraDelegCert → Bool # (>=) ∷ DijkstraDelegCert → DijkstraDelegCert → Bool # max ∷ DijkstraDelegCert → DijkstraDelegCert → DijkstraDelegCert # min ∷ DijkstraDelegCert → DijkstraDelegCert → DijkstraDelegCert #
NoThunks DijkstraDelegCert Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert Methods noThunks ∷ Context → DijkstraDelegCert → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DijkstraDelegCert → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy DijkstraDelegCert → String Source #
type Rep DijkstraDelegCert Source #
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert type Rep DijkstraDelegCert = D1 ('MetaData "DijkstraDelegCert" "Cardano.Ledger.Dijkstra.TxCert" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) ((C1 ('MetaCons "DijkstraRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)) :+: C1 ('MetaCons "DijkstraUnRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :+: (C1 ('MetaCons "DijkstraDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Delegatee)) :+: C1 ('MetaCons "DijkstraRegDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 StakeCredential) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Delegatee) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))))

Orphan instances

ConwayEraTxCert DijkstraEra Source #
Instance details Methods mkRegDepositTxCert ∷ StakeCredential → Coin → TxCert DijkstraEra Source # getRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (StakeCredential, Coin) Source # mkUnRegDepositTxCert ∷ StakeCredential → Coin → TxCert DijkstraEra Source # getUnRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (StakeCredential, Coin) Source # mkDelegTxCert ∷ StakeCredential → Delegatee → TxCert DijkstraEra Source # getDelegTxCert ∷ TxCert DijkstraEra → Maybe (StakeCredential, Delegatee) Source # mkRegDepositDelegTxCert ∷ StakeCredential → Delegatee → Coin → TxCert DijkstraEra Source # getRegDepositDelegTxCert ∷ TxCert DijkstraEra → Maybe (StakeCredential, Delegatee, Coin) Source # mkAuthCommitteeHotKeyTxCert ∷ Credential 'ColdCommitteeRole → Credential 'HotCommitteeRole → TxCert DijkstraEra Source # getAuthCommitteeHotKeyTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'ColdCommitteeRole, Credential 'HotCommitteeRole) Source # mkResignCommitteeColdTxCert ∷ Credential 'ColdCommitteeRole → StrictMaybe Anchor → TxCert DijkstraEra Source # getResignCommitteeColdTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'ColdCommitteeRole, StrictMaybe Anchor) Source # mkRegDRepTxCert ∷ Credential 'DRepRole → Coin → StrictMaybe Anchor → TxCert DijkstraEra Source # getRegDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, Coin, StrictMaybe Anchor) Source # mkUnRegDRepTxCert ∷ Credential 'DRepRole → Coin → TxCert DijkstraEra Source # getUnRegDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, Coin) Source # mkUpdateDRepTxCert ∷ Credential 'DRepRole → StrictMaybe Anchor → TxCert DijkstraEra Source # getUpdateDRepTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'DRepRole, StrictMaybe Anchor) Source #
EraTxCert DijkstraEra Source #
Instance details Associated Types type TxCert DijkstraEra = (r ∷ Type) Source # type TxCertUpgradeError DijkstraEra Source # Methods upgradeTxCert ∷ TxCert (PreviousEra DijkstraEra) → Either (TxCertUpgradeError DijkstraEra) (TxCert DijkstraEra) Source # getVKeyWitnessTxCert ∷ TxCert DijkstraEra → Maybe (KeyHash 'Witness) Source # getScriptWitnessTxCert ∷ TxCert DijkstraEra → Maybe ScriptHash Source # mkRegPoolTxCert ∷ PoolParams → TxCert DijkstraEra Source # getRegPoolTxCert ∷ TxCert DijkstraEra → Maybe PoolParams Source # mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert DijkstraEra Source # getRetirePoolTxCert ∷ TxCert DijkstraEra → Maybe (KeyHash 'StakePool, EpochNo) Source # lookupRegStakeTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking) Source # lookupUnRegStakeTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking) Source # getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams DijkstraEra → (KeyHash 'StakePool → Bool) → f (TxCert DijkstraEra) → Coin Source # getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams DijkstraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → f (TxCert DijkstraEra) → Coin Source #