Safe Haskell	None
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 era)
DijkstraTxCertGov !ConwayGovCert

Instances

Instances details

Era era ⇒ FromJSON (DijkstraTxCert era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.TxCert

Methods

parseJSON ∷ Value → Parser (DijkstraTxCert era) Source #

parseJSONList ∷ Value → Parser [DijkstraTxCert era] Source #

omittedField ∷ Maybe (DijkstraTxCert era) Source #

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 #

(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 → () #

Generic (DijkstraTxCert era) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.TxCert

Associated Types

type Rep (DijkstraTxCert era)

Instance details

Defined in Cardano.Ledger.Dijkstra.TxCert

type Rep (DijkstraTxCert era) = D1 ('MetaData "DijkstraTxCert" "Cardano.Ledger.Dijkstra.TxCert" "cardano-ledger-dijkstra-0.4.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 era))) :+: C1 ('MetaCons "DijkstraTxCertGov" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGovCert))))

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 #

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.4.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 era))) :+: C1 ('MetaCons "DijkstraTxCertGov" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGovCert))))

data DijkstraDelegCert Source #

Constructors

DijkstraRegCert !(Credential 'Staking) !Coin
DijkstraUnRegCert !(Credential 'Staking) !Coin
DijkstraDelegCert !(Credential 'Staking) !Delegatee
DijkstraRegDelegCert !(Credential 'Staking) !Delegatee !Coin

Instances

Instances details

FromJSON DijkstraDelegCert Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.TxCert

Methods

parseJSON ∷ Value → Parser DijkstraDelegCert Source #

parseJSONList ∷ Value → Parser [DijkstraDelegCert] Source #

omittedField ∷ Maybe DijkstraDelegCert Source #

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 #

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 → () #

Generic DijkstraDelegCert Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.TxCert

Associated Types

type Rep DijkstraDelegCert

Instance details

Defined in Cardano.Ledger.Dijkstra.TxCert

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 #

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

dijkstraToConwayDelegCert ∷ DijkstraDelegCert → ConwayDelegCert Source #

Orphan instances

ConwayEraTxCert DijkstraEra Source #

Instance details

Methods

mkRegDepositTxCert ∷ Credential 'Staking → Coin → TxCert DijkstraEra Source #

getRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Coin) Source #

mkUnRegDepositTxCert ∷ Credential 'Staking → Coin → TxCert DijkstraEra Source #

getUnRegDepositTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Coin) Source #

mkDelegTxCert ∷ Credential 'Staking → Delegatee → TxCert DijkstraEra Source #

getDelegTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, Delegatee) Source #

mkRegDepositDelegTxCert ∷ Credential 'Staking → Delegatee → Coin → TxCert DijkstraEra Source #

getRegDepositDelegTxCert ∷ TxCert DijkstraEra → Maybe (Credential 'Staking, 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
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert type TxCert DijkstraEra = DijkstraTxCert DijkstraEra
type TxCertUpgradeError DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.TxCert type TxCertUpgradeError DijkstraEra = DijkstraTxCertUpgradeError

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 ∷ StakePoolParams DijkstraEra → TxCert DijkstraEra Source #

getRegPoolTxCert ∷ TxCert DijkstraEra → Maybe (StakePoolParams DijkstraEra) 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) → f (TxCert DijkstraEra) → Coin Source #