cardano-ledger-dijkstra-0.1.0.0: Cardano ledger with nested transactions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Dijkstra.Tx

Documentation

data family Tx era Source #

Instances

Instances details
TranslateEra DijkstraEra Tx Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Translation

Associated Types

type TranslationError DijkstraEra Tx Source #

Generic (Tx DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Associated Types

type Rep (Tx DijkstraEra) ∷ TypeType #

Show (Tx DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

ToCBOR (Tx DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

toCBORTx DijkstraEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx DijkstraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx DijkstraEra] → Size Source #

DecCBOR (Annotator (Tx DijkstraEra)) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

EncCBOR (Tx DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

encCBORTx DijkstraEraEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Tx DijkstraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Tx DijkstraEra] → Size Source #

EqRaw (Tx DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

NFData (Tx DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

rnfTx DijkstraEra → () #

Eq (Tx DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

NoThunks (Tx DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

newtype Tx AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

newtype Tx ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Tx

newtype Tx DijkstraEra Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

newtype Tx MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type TranslationError AllegraEra Tx 
Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AlonzoEra Tx 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError BabbageEra Tx 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError ConwayEra Tx 
Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError DijkstraEra Tx Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Translation

type TranslationError MaryEra Tx 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type Rep (Tx AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

type Rep (Tx AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.8.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx AllegraEra))))
type Rep (Tx AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (Tx AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.14.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx AlonzoEra))))
type Rep (Tx BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type Rep (Tx BabbageEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Babbage.Tx" "cardano-ledger-babbage-1.12.0.0-inplace" 'True) (C1 ('MetaCons "MkBabbageTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBabbageTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx BabbageEra))))
type Rep (Tx ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Tx

type Rep (Tx ConwayEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Conway.Tx" "cardano-ledger-conway-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkConwayTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unConwayTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx ConwayEra))))
type Rep (Tx DijkstraEra) Source # 
Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

type Rep (Tx DijkstraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Dijkstra.Tx" "cardano-ledger-dijkstra-0.1.0.0-inplace" 'True) (C1 ('MetaCons "MkDijkstraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDijkstraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx DijkstraEra))))
type Rep (Tx MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Tx

type Rep (Tx MaryEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Mary.Tx" "cardano-ledger-mary-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx MaryEra))))
type Rep (Tx ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (Tx ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx ShelleyEra))))

Orphan instances

AlonzoEraTx DijkstraEra Source # 
Instance details

EraTx DijkstraEra Source # 
Instance details

Associated Types

data Tx DijkstraEra Source #

Generic (Tx DijkstraEra) Source # 
Instance details

Associated Types

type Rep (Tx DijkstraEra) ∷ TypeType #

Show (Tx DijkstraEra) Source # 
Instance details

ToCBOR (Tx DijkstraEra) Source # 
Instance details

Methods

toCBORTx DijkstraEraEncoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx DijkstraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx DijkstraEra] → Size Source #

DecCBOR (Annotator (Tx DijkstraEra)) Source # 
Instance details

EncCBOR (Tx DijkstraEra) Source # 
Instance details

Methods

encCBORTx DijkstraEraEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Tx DijkstraEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Tx DijkstraEra] → Size Source #

EqRaw (Tx DijkstraEra) Source # 
Instance details

NFData (Tx DijkstraEra) Source # 
Instance details

Methods

rnfTx DijkstraEra → () #

Eq (Tx DijkstraEra) Source # 
Instance details

NoThunks (Tx DijkstraEra) Source # 
Instance details