ouroboros-consensus-cardano-0.25.0.1: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Cardano.Ledger

Synopsis

Documentation

data CardanoTxOut c Source #

Constructors

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

Instances

Instances details
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-cardano-0.25.0.1-inplace" 'False) ((C1 ('MetaCons "ShelleyTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (TPraos c) ShelleyEra))))) :+: (C1 ('MetaCons "AllegraTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (TPraos c) AllegraEra))))) :+: C1 ('MetaCons "MaryTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (TPraos c) MaryEra))))))) :+: (C1 ('MetaCons "AlonzoTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (TPraos c) AlonzoEra))))) :+: (C1 ('MetaCons "BabbageTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (Praos c) BabbageEra))))) :+: C1 ('MetaCons "ConwayTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (Praos c) ConwayEra))))))))

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 #

Eq (CardanoTxOut c) Source # 
Instance details

Defined in Ouroboros.Consensus.Cardano.Ledger

Methods

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

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

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 #

CardanoHardForkConstraints c ⇒ IndexedMemPack (LedgerState (HardForkBlock (CardanoEras c)) EmptyMK) (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 ⇒ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → Unpack b (CardanoTxOut c) Source #

indexedTypeName ∷ LedgerState (HardForkBlock (CardanoEras c)) EmptyMK → 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-cardano-0.25.0.1-inplace" 'False) ((C1 ('MetaCons "ShelleyTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (TPraos c) ShelleyEra))))) :+: (C1 ('MetaCons "AllegraTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (TPraos c) AllegraEra))))) :+: C1 ('MetaCons "MaryTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (TPraos c) MaryEra))))))) :+: (C1 ('MetaCons "AlonzoTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (TPraos c) AlonzoEra))))) :+: (C1 ('MetaCons "BabbageTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (Praos c) BabbageEra))))) :+: C1 ('MetaCons "ConwayTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxOut (LedgerState (ShelleyBlock (Praos c) ConwayEra))))))))

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

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

Orphan instances

Show (CanonicalTxIn (CardanoEras c)) Source # 
Instance details

Methods

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

show ∷ CanonicalTxIn (CardanoEras c) → String #

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

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

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 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 {}

Methods

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

ejectCanonicalTxIn ∷ Index (CardanoEras c) x → CanonicalTxIn (CardanoEras c) → TxIn (LedgerState 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 (LedgerState x) → HardForkTxOut (CardanoEras c) Source #

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

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

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

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

Methods

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

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