Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Cardano.Ledger

Contents

Orphan instances

Synopsis

data CardanoTxOut c
- = ShelleyTxOut !(TxOut (ShelleyBlock (TPraos c) ShelleyEra))
- | AllegraTxOut !(TxOut (ShelleyBlock (TPraos c) AllegraEra))
- | MaryTxOut !(TxOut (ShelleyBlock (TPraos c) MaryEra))
- | AlonzoTxOut !(TxOut (ShelleyBlock (TPraos c) AlonzoEra))
- | BabbageTxOut !(TxOut (ShelleyBlock (Praos c) BabbageEra))
- | ConwayTxOut !(TxOut (ShelleyBlock (Praos c) ConwayEra))
- | DijkstraTxOut !(TxOut (ShelleyBlock (Praos c) DijkstraEra))
eliminateCardanoTxOut ∷ ∀ r c. CardanoHardForkConstraints c ⇒ (∀ x. IsShelleyBlock x ⇒ Index (CardanoEras c) x → TxOut x → r) → CardanoTxOut c → r

Documentation

data CardanoTxOut c Source #

Constructors

ShelleyTxOut !(TxOut (ShelleyBlock (TPraos c) ShelleyEra))
AllegraTxOut !(TxOut (ShelleyBlock (TPraos c) AllegraEra))
MaryTxOut !(TxOut (ShelleyBlock (TPraos c) MaryEra))
AlonzoTxOut !(TxOut (ShelleyBlock (TPraos c) AlonzoEra))
BabbageTxOut !(TxOut (ShelleyBlock (Praos c) BabbageEra))
ConwayTxOut !(TxOut (ShelleyBlock (Praos c) ConwayEra))
DijkstraTxOut !(TxOut (ShelleyBlock (Praos c) DijkstraEra))

Instances

Instances details

CardanoHardForkConstraints c ⇒ IndexedMemPack LedgerState (HardForkBlock (CardanoEras c)) (CardanoTxOut c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

indexedPackedByteCount ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Int Source #

indexedPackM ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → CardanoTxOut c → Pack s () Source #

indexedUnpackM ∷ Buffer b ⇒ ∀ s. LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack s b (CardanoTxOut c) Source #

indexedTypeName ∷ Proxy (CardanoTxOut c) → LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → String Source #

Eq (CardanoTxOut c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

(==) ∷ CardanoTxOut c → CardanoTxOut c → Bool #

(/=) ∷ CardanoTxOut c → CardanoTxOut c → Bool #

Generic (CardanoTxOut c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Associated Types

type Rep (CardanoTxOut c)

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

type Rep (CardanoTxOut c) = D1 ('MetaData "CardanoTxOut" "Ouroboros.Consensus.Cardano.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) ((C1 ('MetaCons "ShelleyTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (TPraos c) ShelleyEra)))) :+: (C1 ('MetaCons "AllegraTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (TPraos c) AllegraEra)))) :+: C1 ('MetaCons "MaryTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (TPraos c) MaryEra)))))) :+: ((C1 ('MetaCons "AlonzoTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (TPraos c) AlonzoEra)))) :+: C1 ('MetaCons "BabbageTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (Praos c) BabbageEra))))) :+: (C1 ('MetaCons "ConwayTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (Praos c) ConwayEra)))) :+: C1 ('MetaCons "DijkstraTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (Praos c) DijkstraEra)))))))

Methods

from ∷ CardanoTxOut c → Rep (CardanoTxOut c) x #

to ∷ Rep (CardanoTxOut c) x → CardanoTxOut c #

Show (CardanoTxOut c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

showsPrec ∷ Int → CardanoTxOut c → ShowS #

show ∷ CardanoTxOut c → String #

showList ∷ [CardanoTxOut c] → ShowS #

NoThunks (CardanoTxOut c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

noThunks ∷ Context → CardanoTxOut c → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CardanoTxOut c → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CardanoTxOut c) → String Source #

type Rep (CardanoTxOut c) Source #

Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

type Rep (CardanoTxOut c) = D1 ('MetaData "CardanoTxOut" "Ouroboros.Consensus.Cardano.Ledger" "ouroboros-consensus-4.0.0.0-inplace-cardano" 'False) ((C1 ('MetaCons "ShelleyTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (TPraos c) ShelleyEra)))) :+: (C1 ('MetaCons "AllegraTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (TPraos c) AllegraEra)))) :+: C1 ('MetaCons "MaryTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (TPraos c) MaryEra)))))) :+: ((C1 ('MetaCons "AlonzoTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (TPraos c) AlonzoEra)))) :+: C1 ('MetaCons "BabbageTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (Praos c) BabbageEra))))) :+: (C1 ('MetaCons "ConwayTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (Praos c) ConwayEra)))) :+: C1 ('MetaCons "DijkstraTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (ShelleyBlock (Praos c) DijkstraEra)))))))

eliminateCardanoTxOut ∷ ∀ r c. CardanoHardForkConstraints c ⇒ (∀ x. IsShelleyBlock x ⇒ Index (CardanoEras c) x → TxOut x → r) → CardanoTxOut c → r Source #

Eliminate the wrapping of CardanoTxOut with the provided function. Similar to hcimap on an NS.

Orphan instances

CardanoHardForkConstraints c ⇒ SerializeTablesWithHint LedgerState (HardForkBlock (CardanoEras c)) Source #

Instance details

Methods

encodeTablesWithHint ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → LedgerTables (HardForkBlock (CardanoEras c)) ValuesMK → Encoding Source #

decodeTablesWithHint ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Decoder s (LedgerTables (HardForkBlock (CardanoEras c)) ValuesMK) Source #

Eq (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

(==) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(/=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

Ord (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

compare ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Ordering #

(<) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(<=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

(>=) ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → Bool #

max ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

min ∷ CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) → CanonicalTxIn (CardanoEras c) #

Show (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

showsPrec ∷ Int → CanonicalTxIn (CardanoEras c) → ShowS #

show ∷ CanonicalTxIn (CardanoEras c) → String #

showList ∷ [CanonicalTxIn (CardanoEras c)] → ShowS #

CardanoHardForkConstraints c ⇒ MemPack (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ CanonicalTxIn (CardanoEras c) → Int Source #

packM ∷ CanonicalTxIn (CardanoEras c) → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (CanonicalTxIn (CardanoEras c)) Source #

NoThunks (CanonicalTxIn (CardanoEras c)) Source #

Instance details

Methods

noThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → CanonicalTxIn (CardanoEras c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (CanonicalTxIn (CardanoEras c)) → String Source #

CardanoHardForkConstraints c ⇒ HasCanonicalTxIn (CardanoEras c) Source #

Instance details

Associated Types

newtype CanonicalTxIn (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger newtype CanonicalTxIn (CardanoEras c) = CardanoTxIn { getCardanoTxIn ∷ BigEndianTxIn }

Methods

injectCanonicalTxIn ∷ Index (CardanoEras c) x → TxIn x → CanonicalTxIn (CardanoEras c) Source #

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn x Source #

CardanoHardForkConstraints c ⇒ HasHardForkTxOut (CardanoEras c) Source #

Instance details

Associated Types

type HardForkTxOut (CardanoEras c)
Instance details Defined in Ouroboros.Consensus.Cardano.Ledger type HardForkTxOut (CardanoEras c) = CardanoTxOut c

Methods

injectHardForkTxOut ∷ Index (CardanoEras c) x → TxOut x → HardForkTxOut (CardanoEras c) Source #

ejectHardForkTxOut ∷ Index (CardanoEras c) x → HardForkTxOut (CardanoEras c) → TxOut x Source #

txOutEjections ∷ NP ((K (NS WrapTxOut (CardanoEras c)) ∷ Type → Type) -.-> WrapTxOut) (CardanoEras c) Source #

txOutTranslations ∷ Tails (Fn2 WrapTxOut) (CardanoEras c) Source #