Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Dijkstra.Tx

Contents

Orphan instances

Synopsis

data DijkstraTx (l ∷ TxLevel) era where
- DijkstraTx ∷ ∀ era. {..} → DijkstraTx 'TopTx era
- DijkstraSubTx ∷ ∀ era. {..} → DijkstraTx 'SubTx era
data family Tx (l ∷ TxLevel) era
class AlonzoEraTx era ⇒ DijkstraEraTx era where
- hashTx ∷ Tx 'TopTx era → SafeHash EraIndependentTx
data DijkstraStAnnTx (l ∷ TxLevel) era where
- DijkstraStAnnTopTx ∷ ∀ era. {..} → DijkstraStAnnTx 'TopTx era
- DijkstraStAnnSubTx ∷ ∀ era. {..} → DijkstraStAnnTx 'SubTx era
validateDijkstraNativeScript ∷ ∀ era (l ∷ TxLevel). (EraTx era, DijkstraEraTxBody era, DijkstraEraScript era, NativeScript era ~ DijkstraNativeScript era) ⇒ Tx l era → NativeScript era → Bool
decodeDijkstraTopTx ∷ EraTx era ⇒ Decoder s (Annotator (DijkstraTx 'TopTx era))
decodeDijkstraTopTxInBlock ∷ EraTx era ⇒ Decoder s (Annotator (DijkstraTx 'TopTx era))
toCBORForBlockInclusion ∷ AlonzoEraTx era ⇒ Tx 'TopTx era → Encoding

Documentation

data DijkstraTx (l ∷ TxLevel) era where Source #

Constructors

DijkstraTx
Fields ∷ ∀ era. { dtBody ∷ !(TxBody 'TopTx era) , dtWits ∷ !(TxWits era) , dtIsPhase2Valid ∷ !IsPhase2Valid , dtAuxData ∷ !(StrictMaybe (TxAuxData era)) } → DijkstraTx 'TopTx era
DijkstraSubTx
Fields ∷ ∀ era. { dstBody ∷ !(TxBody 'SubTx era) , dstWits ∷ !(TxWits era) , dstAuxData ∷ !(StrictMaybe (TxAuxData era)) } → DijkstraTx 'SubTx era

Instances

Instances details

HasEraTxLevel DijkstraTx DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods toSTxLevel ∷ ∀ (l ∷ TxLevel). DijkstraTx l DijkstraEra → STxLevel l DijkstraEra Source #
(EraTx era, Typeable l) ⇒ DecCBOR (Annotator (DijkstraTx l era)) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods decCBOR ∷ Decoder s (Annotator (DijkstraTx l era)) Source # dropCBOR ∷ Proxy (Annotator (DijkstraTx l era)) → Decoder s () Source # label ∷ Proxy (Annotator (DijkstraTx l era)) → Text Source #
(EraTx era, Typeable l) ⇒ ToCBOR (DijkstraTx l era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods toCBOR ∷ DijkstraTx l era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (DijkstraTx l era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DijkstraTx l era] → Size Source #
EraTx era ⇒ EncCBOR (DijkstraTx l era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods encCBOR ∷ DijkstraTx l era → Encoding Source #
(ToJSON (TxBody 'TopTx DijkstraEra), ToJSON (TxWits DijkstraEra), ToJSON (TxAuxData DijkstraEra)) ⇒ ToKeyValuePairs (DijkstraTx 'TopTx DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods toKeyValuePairs ∷ KeyValue e kv ⇒ DijkstraTx 'TopTx DijkstraEra → [kv] Source #
(EraTx era, NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (DijkstraTx l era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods rnf ∷ DijkstraTx l era → () #
EraTx era ⇒ Show (DijkstraTx l era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods showsPrec ∷ Int → DijkstraTx l era → ShowS # show ∷ DijkstraTx l era → String # showList ∷ [DijkstraTx l era] → ShowS #
EraTx era ⇒ Eq (DijkstraTx l era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods (==) ∷ DijkstraTx l era → DijkstraTx l era → Bool # (/=) ∷ DijkstraTx l era → DijkstraTx l era → Bool #
(Era era, Typeable l) ⇒ NoThunks (DijkstraTx l era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods noThunks ∷ Context → DijkstraTx l era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DijkstraTx l era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DijkstraTx l era) → String Source #

data family Tx (l ∷ TxLevel) era Source #

Instances

Instances details

HasEraTxLevel Tx AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AllegraEra → STxLevel l AllegraEra Source #

HasEraTxLevel Tx AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AlonzoEra → STxLevel l AlonzoEra Source #

HasEraTxLevel Tx BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l BabbageEra → STxLevel l BabbageEra Source #

HasEraTxLevel Tx ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l ConwayEra → STxLevel l ConwayEra Source #

HasEraTxLevel Tx DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l DijkstraEra → STxLevel l DijkstraEra Source #

HasEraTxLevel Tx MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l MaryEra → STxLevel l MaryEra Source #

HasEraTxLevel Tx ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l ShelleyEra → STxLevel l ShelleyEra Source #

TranslateEra AllegraEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Allegra.Translation

Associated Types

type TranslationError AllegraEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AllegraEra → Tx 'TopTx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra (Tx 'TopTx)) (Tx 'TopTx AllegraEra) Source #

TranslateEra AlonzoEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AlonzoEra → Tx 'TopTx (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra (Tx 'TopTx)) (Tx 'TopTx AlonzoEra) Source #

TranslateEra BabbageEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Babbage.Translation

Associated Types

type TranslationError BabbageEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError BabbageEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext BabbageEra → Tx 'TopTx (PreviousEra BabbageEra) → Except (TranslationError BabbageEra (Tx 'TopTx)) (Tx 'TopTx BabbageEra) Source #

TranslateEra ConwayEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Conway.Translation

Associated Types

type TranslationError ConwayEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Conway.Translation type TranslationError ConwayEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext ConwayEra → Tx 'TopTx (PreviousEra ConwayEra) → Except (TranslationError ConwayEra (Tx 'TopTx)) (Tx 'TopTx ConwayEra) Source #

TranslateEra DijkstraEra (Tx 'TopTx) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Translation

Associated Types

type TranslationError DijkstraEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Dijkstra.Translation type TranslationError DijkstraEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext DijkstraEra → Tx 'TopTx (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra (Tx 'TopTx)) (Tx 'TopTx DijkstraEra) Source #

TranslateEra MaryEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra (Tx 'TopTx)
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError MaryEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext MaryEra → Tx 'TopTx (PreviousEra MaryEra) → Except (TranslationError MaryEra (Tx 'TopTx)) (Tx 'TopTx MaryEra) Source #

EraTx era ⇒ HasOKey TxId (Tx l era)

Instance details

Defined in Cardano.Ledger.Core

Methods

toOKey ∷ Tx l era → TxId Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l AlonzoEra))

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l AlonzoEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l BabbageEra))

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l BabbageEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l BabbageEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l BabbageEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l ConwayEra))

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l ConwayEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l ConwayEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l ConwayEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l DijkstraEra)) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l DijkstraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l DijkstraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l DijkstraEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l ShelleyEra))

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l ShelleyEra)) → Text Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t AllegraEra))

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t AllegraEra)) → Text Source #

Typeable t ⇒ DecCBOR (Annotator (Tx t MaryEra))

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx t MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx t MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx t MaryEra)) → Text Source #

(FromJSON (TxBody 'SubTx DijkstraEra), FromJSON (TxWits DijkstraEra), FromJSON (TxAuxData DijkstraEra)) ⇒ FromJSON (Tx 'SubTx DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'SubTx DijkstraEra) Source #

parseJSONList ∷ Value → Parser [Tx 'SubTx DijkstraEra] Source #

omittedField ∷ Maybe (Tx 'SubTx DijkstraEra) Source #

FromJSON (Tx 'TopTx AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx AllegraEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx AllegraEra] Source #

omittedField ∷ Maybe (Tx 'TopTx AllegraEra) Source #

FromJSON (Tx 'TopTx AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx AlonzoEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx AlonzoEra] Source #

omittedField ∷ Maybe (Tx 'TopTx AlonzoEra) Source #

FromJSON (Tx 'TopTx BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx BabbageEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx BabbageEra] Source #

omittedField ∷ Maybe (Tx 'TopTx BabbageEra) Source #

FromJSON (Tx 'TopTx ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx ConwayEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx ConwayEra] Source #

omittedField ∷ Maybe (Tx 'TopTx ConwayEra) Source #

(FromJSON (TxBody 'TopTx DijkstraEra), FromJSON (TxWits DijkstraEra), FromJSON (TxAuxData DijkstraEra)) ⇒ FromJSON (Tx 'TopTx DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx DijkstraEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx DijkstraEra] Source #

omittedField ∷ Maybe (Tx 'TopTx DijkstraEra) Source #

FromJSON (Tx 'TopTx MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx MaryEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx MaryEra] Source #

omittedField ∷ Maybe (Tx 'TopTx MaryEra) Source #

FromJSON (Tx 'TopTx ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx ShelleyEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx ShelleyEra] Source #

omittedField ∷ Maybe (Tx 'TopTx ShelleyEra) Source #

(ToJSON (TxBody 'SubTx DijkstraEra), ToJSON (TxWits DijkstraEra), ToJSON (TxAuxData DijkstraEra)) ⇒ ToJSON (Tx 'SubTx DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

toJSON ∷ Tx 'SubTx DijkstraEra → Value Source #

toEncoding ∷ Tx 'SubTx DijkstraEra → Encoding Source #

toJSONList ∷ [Tx 'SubTx DijkstraEra] → Value Source #

toEncodingList ∷ [Tx 'SubTx DijkstraEra] → Encoding Source #

omitField ∷ Tx 'SubTx DijkstraEra → Bool Source #

ToJSON (Tx 'TopTx AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toJSON ∷ Tx 'TopTx AllegraEra → Value Source #

toEncoding ∷ Tx 'TopTx AllegraEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx AllegraEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx AllegraEra] → Encoding Source #

omitField ∷ Tx 'TopTx AllegraEra → Bool Source #

ToJSON (Tx 'TopTx AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toJSON ∷ Tx 'TopTx AlonzoEra → Value Source #

toEncoding ∷ Tx 'TopTx AlonzoEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx AlonzoEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx AlonzoEra] → Encoding Source #

omitField ∷ Tx 'TopTx AlonzoEra → Bool Source #

ToJSON (Tx 'TopTx BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

toJSON ∷ Tx 'TopTx BabbageEra → Value Source #

toEncoding ∷ Tx 'TopTx BabbageEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx BabbageEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx BabbageEra] → Encoding Source #

omitField ∷ Tx 'TopTx BabbageEra → Bool Source #

ToJSON (Tx 'TopTx ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

toJSON ∷ Tx 'TopTx ConwayEra → Value Source #

toEncoding ∷ Tx 'TopTx ConwayEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx ConwayEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx ConwayEra] → Encoding Source #

omitField ∷ Tx 'TopTx ConwayEra → Bool Source #

(ToJSON (TxBody 'TopTx DijkstraEra), ToJSON (TxWits DijkstraEra), ToJSON (TxAuxData DijkstraEra)) ⇒ ToJSON (Tx 'TopTx DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

toJSON ∷ Tx 'TopTx DijkstraEra → Value Source #

toEncoding ∷ Tx 'TopTx DijkstraEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx DijkstraEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx DijkstraEra] → Encoding Source #

omitField ∷ Tx 'TopTx DijkstraEra → Bool Source #

ToJSON (Tx 'TopTx MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toJSON ∷ Tx 'TopTx MaryEra → Value Source #

toEncoding ∷ Tx 'TopTx MaryEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx MaryEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx MaryEra] → Encoding Source #

omitField ∷ Tx 'TopTx MaryEra → Bool Source #

ToJSON (Tx 'TopTx ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toJSON ∷ Tx 'TopTx ShelleyEra → Value Source #

toEncoding ∷ Tx 'TopTx ShelleyEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx ShelleyEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx ShelleyEra] → Encoding Source #

omitField ∷ Tx 'TopTx ShelleyEra → Bool Source #

Typeable l ⇒ ToCBOR (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ Tx l AlonzoEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

toCBOR ∷ Tx l BabbageEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (Tx l ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

toCBOR ∷ Tx l ConwayEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (Tx l DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

toCBOR ∷ Tx l DijkstraEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBOR ∷ Tx l ShelleyEra → Encoding Source #

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

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

Typeable t ⇒ ToCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

toCBOR ∷ Tx t AllegraEra → Encoding Source #

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

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

Typeable t ⇒ ToCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

toCBOR ∷ Tx t MaryEra → Encoding Source #

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

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

EncCBOR (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ Tx l AlonzoEra → Encoding Source #

EncCBOR (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

encCBOR ∷ Tx l BabbageEra → Encoding Source #

EncCBOR (Tx l ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

encCBOR ∷ Tx l ConwayEra → Encoding Source #

EncCBOR (Tx l DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

encCBOR ∷ Tx l DijkstraEra → Encoding Source #

EncCBOR (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBOR ∷ Tx l ShelleyEra → Encoding Source #

EncCBOR (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

encCBOR ∷ Tx t AllegraEra → Encoding Source #

EncCBOR (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

encCBOR ∷ Tx t MaryEra → Encoding Source #

EqRaw (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

eqRaw ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool Source #

EqRaw (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

eqRaw ∷ Tx l BabbageEra → Tx l BabbageEra → Bool Source #

EqRaw (Tx l ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

eqRaw ∷ Tx l ConwayEra → Tx l ConwayEra → Bool Source #

EqRaw (Tx l DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

eqRaw ∷ Tx l DijkstraEra → Tx l DijkstraEra → Bool Source #

EqRaw (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRaw ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool Source #

EqRaw (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

eqRaw ∷ Tx t AllegraEra → Tx t AllegraEra → Bool Source #

EqRaw (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

eqRaw ∷ Tx t MaryEra → Tx t MaryEra → Bool Source #

NFData (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ Tx l AlonzoEra → () #

NFData (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

rnf ∷ Tx l BabbageEra → () #

NFData (Tx l ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

rnf ∷ Tx l ConwayEra → () #

NFData (Tx l DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

rnf ∷ Tx l DijkstraEra → () #

NFData (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnf ∷ Tx l ShelleyEra → () #

NFData (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

rnf ∷ Tx t AllegraEra → () #

NFData (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

rnf ∷ Tx t MaryEra → () #

Generic (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

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

Methods

from ∷ Tx l AlonzoEra → Rep (Tx l AlonzoEra) x #

to ∷ Rep (Tx l AlonzoEra) x → Tx l AlonzoEra #

Generic (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Associated Types

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

Methods

from ∷ Tx l BabbageEra → Rep (Tx l BabbageEra) x #

to ∷ Rep (Tx l BabbageEra) x → Tx l BabbageEra #

Generic (Tx l ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway.Tx

Associated Types

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

Methods

from ∷ Tx l ConwayEra → Rep (Tx l ConwayEra) x #

to ∷ Rep (Tx l ConwayEra) x → Tx l ConwayEra #

Generic (Tx l DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Associated Types

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

Methods

from ∷ Tx l DijkstraEra → Rep (Tx l DijkstraEra) x #

to ∷ Rep (Tx l DijkstraEra) x → Tx l DijkstraEra #

Generic (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

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

Methods

from ∷ Tx l ShelleyEra → Rep (Tx l ShelleyEra) x #

to ∷ Rep (Tx l ShelleyEra) x → Tx l ShelleyEra #

Generic (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Associated Types

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

Methods

from ∷ Tx t AllegraEra → Rep (Tx t AllegraEra) x #

to ∷ Rep (Tx t AllegraEra) x → Tx t AllegraEra #

Generic (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Associated Types

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

Methods

from ∷ Tx t MaryEra → Rep (Tx t MaryEra) x #

to ∷ Rep (Tx t MaryEra) x → Tx t MaryEra #

Show (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → Tx l AlonzoEra → ShowS #

show ∷ Tx l AlonzoEra → String #

showList ∷ [Tx l AlonzoEra] → ShowS #

Show (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

showsPrec ∷ Int → Tx l BabbageEra → ShowS #

show ∷ Tx l BabbageEra → String #

showList ∷ [Tx l BabbageEra] → ShowS #

Show (Tx l ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

showsPrec ∷ Int → Tx l ConwayEra → ShowS #

show ∷ Tx l ConwayEra → String #

showList ∷ [Tx l ConwayEra] → ShowS #

Show (Tx l DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

showsPrec ∷ Int → Tx l DijkstraEra → ShowS #

show ∷ Tx l DijkstraEra → String #

showList ∷ [Tx l DijkstraEra] → ShowS #

Show (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrec ∷ Int → Tx l ShelleyEra → ShowS #

show ∷ Tx l ShelleyEra → String #

showList ∷ [Tx l ShelleyEra] → ShowS #

Show (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

showsPrec ∷ Int → Tx t AllegraEra → ShowS #

show ∷ Tx t AllegraEra → String #

showList ∷ [Tx t AllegraEra] → ShowS #

Show (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

showsPrec ∷ Int → Tx t MaryEra → ShowS #

show ∷ Tx t MaryEra → String #

showList ∷ [Tx t MaryEra] → ShowS #

Eq (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(==) ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool #

(/=) ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool #

Eq (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

(==) ∷ Tx l BabbageEra → Tx l BabbageEra → Bool #

(/=) ∷ Tx l BabbageEra → Tx l BabbageEra → Bool #

Eq (Tx l ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

(==) ∷ Tx l ConwayEra → Tx l ConwayEra → Bool #

(/=) ∷ Tx l ConwayEra → Tx l ConwayEra → Bool #

Eq (Tx l DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

(==) ∷ Tx l DijkstraEra → Tx l DijkstraEra → Bool #

(/=) ∷ Tx l DijkstraEra → Tx l DijkstraEra → Bool #

Eq (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

(/=) ∷ Tx l ShelleyEra → Tx l ShelleyEra → Bool #

Eq (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

(==) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

(/=) ∷ Tx t AllegraEra → Tx t AllegraEra → Bool #

Eq (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

(==) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

(/=) ∷ Tx t MaryEra → Tx t MaryEra → Bool #

Typeable l ⇒ NoThunks (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

noThunks ∷ Context → Tx l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l AlonzoEra) → String Source #

Typeable l ⇒ NoThunks (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

noThunks ∷ Context → Tx l BabbageEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l BabbageEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l BabbageEra) → String Source #

Typeable l ⇒ NoThunks (Tx l ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

noThunks ∷ Context → Tx l ConwayEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l ConwayEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l ConwayEra) → String Source #

Typeable l ⇒ NoThunks (Tx l DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

noThunks ∷ Context → Tx l DijkstraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l DijkstraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l DijkstraEra) → String Source #

Typeable l ⇒ NoThunks (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

noThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l ShelleyEra) → String Source #

Typeable t ⇒ NoThunks (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

Methods

noThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t AllegraEra) → String Source #

Typeable t ⇒ NoThunks (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

Methods

noThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx t MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx t MaryEra) → String Source #

newtype Tx l AlonzoEra

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx l AlonzoEra = MkAlonzoTx {

unAlonzoTx ∷ AlonzoTx l AlonzoEra

}

newtype Tx l BabbageEra

Instance details

Defined in Cardano.Ledger.Babbage.Tx

newtype Tx l BabbageEra = MkBabbageTx {

unBabbageTx ∷ AlonzoTx l BabbageEra

}

newtype Tx l ConwayEra

Instance details

Defined in Cardano.Ledger.Conway.Tx

newtype Tx l ConwayEra = MkConwayTx {

unConwayTx ∷ AlonzoTx l ConwayEra

}

newtype Tx l DijkstraEra Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

newtype Tx l DijkstraEra = MkDijkstraTx {

unDijkstraTx ∷ DijkstraTx l DijkstraEra

}

newtype Tx l ShelleyEra

Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {

unShelleyTx ∷ ShelleyTx l ShelleyEra

}

newtype Tx t AllegraEra

Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx t AllegraEra = MkAllegraTx {

unAllegraTx ∷ ShelleyTx t AllegraEra

}

newtype Tx t MaryEra

Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx t MaryEra = MkMaryTx {

unMaryTx ∷ ShelleyTx t MaryEra

}

type TranslationError AllegraEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Allegra.Translation

type TranslationError AllegraEra (Tx 'TopTx) = DecoderError

type TranslationError AlonzoEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

type TranslationError BabbageEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra (Tx 'TopTx) = DecoderError

type TranslationError ConwayEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Conway.Translation

type TranslationError ConwayEra (Tx 'TopTx) = DecoderError

type TranslationError DijkstraEra (Tx 'TopTx) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Translation

type TranslationError DijkstraEra (Tx 'TopTx) = DecoderError

type TranslationError MaryEra (Tx 'TopTx)

Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra (Tx 'TopTx) = DecoderError

type Rep (Tx l AlonzoEra)

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

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

type Rep (Tx l BabbageEra)

Instance details

Defined in Cardano.Ledger.Babbage.Tx

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

type Rep (Tx l ConwayEra)

Instance details

Defined in Cardano.Ledger.Conway.Tx

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

type Rep (Tx l DijkstraEra) Source #

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

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

type Rep (Tx l ShelleyEra)

Instance details

Defined in Cardano.Ledger.Shelley.Tx

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

type Rep (Tx t AllegraEra)

Instance details

Defined in Cardano.Ledger.Allegra.Tx

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

type Rep (Tx t MaryEra)

Instance details

Defined in Cardano.Ledger.Mary.Tx

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

class AlonzoEraTx era ⇒ DijkstraEraTx era where Source #

Typeclass for Dijkstra era transactions that require a deterministic, encoding-independent transaction hash — i.e. a hash that is stable regardless of how the transaction was serialized. This is needed, for example, by the Leios protocol to unambiguously identify transactions across nodes.

Methods

hashTx ∷ Tx 'TopTx era → SafeHash EraIndependentTx Source #

Compute a stable hash that covers the full transaction content: body, witnesses, auxiliary data, and phase-2 validity flag. Unlike txId, which only hashes the bytes of the transaction body, this hash should uniquely identify the complete transaction.

Instances

Instances details

DijkstraEraTx DijkstraEra Source #

Hash all four Dijkstra transaction components deterministically.

The hash is Blake2b-256(body_hash || wits_hash || aux_hash || isValid_bytes), where each component hash is the hashAnnotated of the corresponding MemoBytes field (a pre-computed, memoized 32-byte value). Concatenating these fixed-length hashes rather than re-serializing the assembled transaction avoids susceptibility to non-canonical CBOR: the same logical transaction can be CBOR-encoded in multiple ways, but its component hashes are always identical.

Instance details

Defined in Cardano.Ledger.Dijkstra.Tx

Methods

hashTx ∷ Tx 'TopTx DijkstraEra → SafeHash EraIndependentTx Source #

data DijkstraStAnnTx (l ∷ TxLevel) era where Source #

Constructors

DijkstraStAnnTopTx
Fields ∷ ∀ era. { dsattTx ∷ !(Tx 'TopTx era) , dsattScriptsNeeded ∷ ScriptsNeeded era , dsattScriptsProvided ∷ ScriptsProvided era , dsattPlutusLegacyMode ∷ Bool , dsattPlutusLanguagesUsed ∷ Set Language , dsattPlutusRunnableCache ∷ Map ScriptHash (SupportedPlutusRunnable era) , dsattPlutusScriptsWithContext ∷ Either (NonEmpty (CollectError era)) [PlutusWithContext] , dsattSubTransactions ∷ [DijkstraStAnnTx 'SubTx era] } → DijkstraStAnnTx 'TopTx era
DijkstraStAnnSubTx
Fields ∷ ∀ era. { dsastTx ∷ !(Tx 'SubTx era) , dsastScriptsNeeded ∷ ScriptsNeeded era , dsastScriptsHashesNeeded ∷ Set ScriptHash , dsastScriptsProvided ∷ ScriptsProvided era , dsastTxInfoResult ∷ TxInfoResult era , dsastPlutusLanguagesUsed ∷ Set Language , dsastPlutusRunnableCache ∷ Map ScriptHash (SupportedPlutusRunnable era) , dsastPlutusScriptsWithContext ∷ Either (NonEmpty (CollectError era)) [PlutusWithContext] } → DijkstraStAnnTx 'SubTx era

Instances

Instances details

(EraTxLevel era, STxLevel 'SubTx era ~ STxBothLevels 'SubTx era, STxLevel 'TopTx era ~ STxBothLevels 'TopTx era) ⇒ HasEraTxLevel DijkstraStAnnTx era Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods toSTxLevel ∷ ∀ (l ∷ TxLevel). DijkstraStAnnTx l era → STxLevel l era Source #
(DijkstraEraScript era, Show (Tx 'TopTx era), Show (Tx 'SubTx era), Show (ScriptsNeeded era), Show (ScriptsProvided era), Show (CollectError era), Show (TxInfoResult era)) ⇒ Show (DijkstraStAnnTx l era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods showsPrec ∷ Int → DijkstraStAnnTx l era → ShowS # show ∷ DijkstraStAnnTx l era → String # showList ∷ [DijkstraStAnnTx l era] → ShowS #
(DijkstraEraScript era, Eq (Tx 'TopTx era), Eq (Tx 'SubTx era), Eq (ScriptsNeeded era), Eq (ScriptsProvided era), Eq (CollectError era), Eq (TxInfoResult era)) ⇒ Eq (DijkstraStAnnTx l era) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Tx Methods (==) ∷ DijkstraStAnnTx l era → DijkstraStAnnTx l era → Bool # (/=) ∷ DijkstraStAnnTx l era → DijkstraStAnnTx l era → Bool #

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

decodeDijkstraTopTx ∷ EraTx era ⇒ Decoder s (Annotator (DijkstraTx 'TopTx era)) Source #

Decode a top-level transaction in the mempool format: [transaction_body, transaction_witness_set, auxiliary_data/ nil]. For backwards compatibility the legacy [transaction_body, transaction_witness_set, true, auxiliary_data/ nil] format is also accepted, but only with the IsPhase2Valid flag set to True.

decodeDijkstraTopTxInBlock ∷ EraTx era ⇒ Decoder s (Annotator (DijkstraTx 'TopTx era)) Source #

Decode a top-level transaction in the format used inside a block body: [transaction_body, transaction_witness_set, auxiliary_data/ nil, is_valid]. Unlike in the mempool format, the trailing IsPhase2Valid flag is mandatory and can be False, since it is set by the block producer.

toCBORForBlockInclusion ∷ AlonzoEraTx era ⇒ Tx 'TopTx era → Encoding Source #

Encode to CBOR in the format used inside a block body: [transaction_body, transaction_witness_set, auxiliary_data/ nil, is_valid].

The IsPhase2Valid flag is placed after the fields supplied by the transaction author, since it is set by the block producer.

Orphan instances

AlonzoEraTx DijkstraEra Source #

Instance details

Methods

isPhase2ValidTxL ∷ Lens' (Tx 'TopTx DijkstraEra) IsPhase2Valid Source #

isValidTxL ∷ Lens' (Tx 'TopTx DijkstraEra) IsPhase2Valid Source #

getTotalExUnits ∷ ∀ (l ∷ TxLevel). Tx l DijkstraEra → ExUnits Source #

EraTx DijkstraEra Source #

Instance details

Associated Types

newtype Tx l DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Tx newtype Tx l DijkstraEra = MkDijkstraTx { unDijkstraTx ∷ DijkstraTx l DijkstraEra }
type StAnnTx l DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Tx type StAnnTx l DijkstraEra = DijkstraStAnnTx l DijkstraEra
type StAnnTxCache DijkstraEra
Instance details Defined in Cardano.Ledger.Dijkstra.Tx type StAnnTxCache DijkstraEra = Map ScriptHash (SupportedPlutusRunnable DijkstraEra)

Methods

txStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l DijkstraEra) (Tx l DijkstraEra) Source #

cacheStAnnTxG ∷ ∀ (l ∷ TxLevel). SimpleGetter (StAnnTx l DijkstraEra) (StAnnTxCache DijkstraEra) Source #

mkBasicTx ∷ ∀ (l ∷ TxLevel). TxBody l DijkstraEra → Tx l DijkstraEra Source #

bodyTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l DijkstraEra) (TxBody l DijkstraEra) Source #

witsTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l DijkstraEra) (TxWits DijkstraEra) Source #

auxDataTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l DijkstraEra) (StrictMaybe (TxAuxData DijkstraEra)) Source #

sizeTxF ∷ ∀ (l ∷ TxLevel). HasCallStack ⇒ SimpleGetter (Tx l DijkstraEra) Word32 Source #

sizeTxForFeeCalculation ∷ ∀ (l ∷ TxLevel). (HasCallStack, SafeToHash (TxWits DijkstraEra), Typeable l) ⇒ Tx l DijkstraEra → Word32 Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). Tx l DijkstraEra → NativeScript DijkstraEra → Bool Source #

getMinFeeTx ∷ ∀ (l ∷ TxLevel). PParams DijkstraEra → Tx l DijkstraEra → Int → Coin Source #

HasEraTxLevel Tx DijkstraEra Source #

Instance details

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l DijkstraEra → STxLevel l DijkstraEra Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l DijkstraEra)) Source #

Instance details

Methods

decCBOR ∷ Decoder s (Annotator (Tx l DijkstraEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l DijkstraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l DijkstraEra)) → Text Source #

(FromJSON (TxBody 'SubTx DijkstraEra), FromJSON (TxWits DijkstraEra), FromJSON (TxAuxData DijkstraEra)) ⇒ FromJSON (Tx 'SubTx DijkstraEra) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (Tx 'SubTx DijkstraEra) Source #

parseJSONList ∷ Value → Parser [Tx 'SubTx DijkstraEra] Source #

omittedField ∷ Maybe (Tx 'SubTx DijkstraEra) Source #

(FromJSON (TxBody 'TopTx DijkstraEra), FromJSON (TxWits DijkstraEra), FromJSON (TxAuxData DijkstraEra)) ⇒ FromJSON (Tx 'TopTx DijkstraEra) Source #

Instance details

Methods

parseJSON ∷ Value → Parser (Tx 'TopTx DijkstraEra) Source #

parseJSONList ∷ Value → Parser [Tx 'TopTx DijkstraEra] Source #

omittedField ∷ Maybe (Tx 'TopTx DijkstraEra) Source #

(ToJSON (TxBody 'SubTx DijkstraEra), ToJSON (TxWits DijkstraEra), ToJSON (TxAuxData DijkstraEra)) ⇒ ToJSON (Tx 'SubTx DijkstraEra) Source #

Instance details

Methods

toJSON ∷ Tx 'SubTx DijkstraEra → Value Source #

toEncoding ∷ Tx 'SubTx DijkstraEra → Encoding Source #

toJSONList ∷ [Tx 'SubTx DijkstraEra] → Value Source #

toEncodingList ∷ [Tx 'SubTx DijkstraEra] → Encoding Source #

omitField ∷ Tx 'SubTx DijkstraEra → Bool Source #

(ToJSON (TxBody 'TopTx DijkstraEra), ToJSON (TxWits DijkstraEra), ToJSON (TxAuxData DijkstraEra)) ⇒ ToJSON (Tx 'TopTx DijkstraEra) Source #

Instance details

Methods

toJSON ∷ Tx 'TopTx DijkstraEra → Value Source #

toEncoding ∷ Tx 'TopTx DijkstraEra → Encoding Source #

toJSONList ∷ [Tx 'TopTx DijkstraEra] → Value Source #

toEncodingList ∷ [Tx 'TopTx DijkstraEra] → Encoding Source #

omitField ∷ Tx 'TopTx DijkstraEra → Bool Source #

Typeable l ⇒ ToCBOR (Tx l DijkstraEra) Source #

Instance details

Methods

toCBOR ∷ Tx l DijkstraEra → Encoding Source #

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

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

EncCBOR (Tx l DijkstraEra) Source #

Instance details

Methods

encCBOR ∷ Tx l DijkstraEra → Encoding Source #

EqRaw (Tx l DijkstraEra) Source #

Instance details

Methods

eqRaw ∷ Tx l DijkstraEra → Tx l DijkstraEra → Bool Source #

NFData (Tx l DijkstraEra) Source #

Instance details

Methods

rnf ∷ Tx l DijkstraEra → () #

Generic (Tx l DijkstraEra) Source #

Instance details

Associated Types

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