Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Dijkstra.Tx

Contents

Orphan instances

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 # Methods translateEra ∷ TranslationContext DijkstraEra → Tx (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra Tx) (Tx DijkstraEra) Source #
Generic (Tx DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Associated Types type Rep (Tx DijkstraEra) ∷ Type → Type # Methods from ∷ Tx DijkstraEra → Rep (Tx DijkstraEra) x # to ∷ Rep (Tx DijkstraEra) x → Tx DijkstraEra #
Show (Tx DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods showsPrec ∷ Int → Tx DijkstraEra → ShowS # show ∷ Tx DijkstraEra → String # showList ∷ [Tx DijkstraEra] → ShowS #
ToCBOR (Tx DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods toCBOR ∷ Tx DijkstraEra → Encoding 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 Methods decCBOR ∷ Decoder s (Annotator (Tx DijkstraEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx DijkstraEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx DijkstraEra)) → Text Source #
EncCBOR (Tx DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods encCBOR ∷ Tx DijkstraEra → Encoding 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 Methods eqRaw ∷ Tx DijkstraEra → Tx DijkstraEra → Bool Source #
NFData (Tx DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods rnf ∷ Tx DijkstraEra → () #
Eq (Tx DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods (==) ∷ Tx DijkstraEra → Tx DijkstraEra → Bool # (/=) ∷ Tx DijkstraEra → Tx DijkstraEra → Bool #
NoThunks (Tx DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods noThunks ∷ Context → Tx DijkstraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx DijkstraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx DijkstraEra) → String Source #
newtype Tx AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.Tx newtype Tx AllegraEra = MkAllegraTx { unAllegraTx ∷ ShelleyTx AllegraEra }
newtype Tx AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.Tx newtype Tx AlonzoEra = MkAlonzoTx { unAlonzoTx ∷ AlonzoTx AlonzoEra }
newtype Tx BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Tx newtype Tx BabbageEra = MkBabbageTx { unBabbageTx ∷ AlonzoTx BabbageEra }
newtype Tx ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Tx newtype Tx ConwayEra = MkConwayTx { unConwayTx ∷ AlonzoTx ConwayEra }
newtype Tx DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx newtype Tx DijkstraEra = MkDijkstraTx { unDijkstraTx ∷ AlonzoTx DijkstraEra }
newtype Tx MaryEra
Instance details Defined in Cardano.Ledger.Mary.Tx newtype Tx MaryEra = MkMaryTx { unMaryTx ∷ ShelleyTx MaryEra }
newtype Tx ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx newtype Tx ShelleyEra = MkShelleyTx { unShelleyTx ∷ ShelleyTx ShelleyEra }
type TranslationError AllegraEra Tx
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra Tx = DecoderError
type TranslationError AlonzoEra Tx
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra Tx = DecoderError
type TranslationError BabbageEra Tx
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra Tx = DecoderError
type TranslationError ConwayEra Tx
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra Tx = DecoderError
type TranslationError DijkstraEra Tx Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra Tx = DecoderError
type TranslationError MaryEra Tx
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra Tx = DecoderError
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.9.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.15.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.1.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.21.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.2.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.1-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.2.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx ShelleyEra))))

validateDijkstraNativeScript ∷ (EraTx era, DijkstraEraTxBody era, DijkstraEraScript era, NativeScript era ~ DijkstraNativeScript era) ⇒ Tx era → NativeScript era → Bool Source #

Orphan instances

AlonzoEraTx DijkstraEra Source #
Instance details Methods isValidTxL ∷ Lens' (Tx DijkstraEra) IsValid Source #
EraTx DijkstraEra Source #
Instance details Associated Types data Tx DijkstraEra Source # Methods mkBasicTx ∷ TxBody DijkstraEra → Tx DijkstraEra Source # bodyTxL ∷ Lens' (Tx DijkstraEra) (TxBody DijkstraEra) Source # witsTxL ∷ Lens' (Tx DijkstraEra) (TxWits DijkstraEra) Source # auxDataTxL ∷ Lens' (Tx DijkstraEra) (StrictMaybe (TxAuxData DijkstraEra)) Source # sizeTxF ∷ SimpleGetter (Tx DijkstraEra) Word32 Source # sizeTxForFeeCalculation ∷ Tx DijkstraEra → Word32 Source # validateNativeScript ∷ Tx DijkstraEra → NativeScript DijkstraEra → Bool Source # getMinFeeTx ∷ PParams DijkstraEra → Tx DijkstraEra → Int → Coin Source #
Generic (Tx DijkstraEra) Source #
Instance details Associated Types type Rep (Tx DijkstraEra) ∷ Type → Type # Methods from ∷ Tx DijkstraEra → Rep (Tx DijkstraEra) x # to ∷ Rep (Tx DijkstraEra) x → Tx DijkstraEra #
Show (Tx DijkstraEra) Source #
Instance details Methods showsPrec ∷ Int → Tx DijkstraEra → ShowS # show ∷ Tx DijkstraEra → String # showList ∷ [Tx DijkstraEra] → ShowS #
ToCBOR (Tx DijkstraEra) Source #
Instance details Methods toCBOR ∷ Tx DijkstraEra → Encoding 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 Methods decCBOR ∷ Decoder s (Annotator (Tx DijkstraEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx DijkstraEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx DijkstraEra)) → Text Source #
EncCBOR (Tx DijkstraEra) Source #
Instance details Methods encCBOR ∷ Tx DijkstraEra → Encoding 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 Methods eqRaw ∷ Tx DijkstraEra → Tx DijkstraEra → Bool Source #
NFData (Tx DijkstraEra) Source #
Instance details Methods rnf ∷ Tx DijkstraEra → () #
Eq (Tx DijkstraEra) Source #
Instance details Methods (==) ∷ Tx DijkstraEra → Tx DijkstraEra → Bool # (/=) ∷ Tx DijkstraEra → Tx DijkstraEra → Bool #
NoThunks (Tx DijkstraEra) Source #
Instance details Methods noThunks ∷ Context → Tx DijkstraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx DijkstraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx DijkstraEra) → String Source #