cardano-ledger-babbage-1.13.0.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Babbage.Tx

Synopsis

Documentation

data AlonzoTx (l ∷ TxLevel) era where Source #

Constructors

AlonzoTx 

Fields

Instances

Instances details
(Typeable l, Era era, Typeable (TxBody l era), Typeable (TxWits era), Typeable (TxAuxData era), DecCBOR (Annotator (TxBody l era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) ⇒ DecCBOR (Annotator (AlonzoTx l era)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoTx l era)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoTx l era)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoTx l era)) → Text Source #

(Era era, EncCBOR (TxBody l era), EncCBOR (TxAuxData era), EncCBOR (TxWits era), Typeable l) ⇒ ToCBOR (AlonzoTx l era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ AlonzoTx l era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTx l era) → Size Source #

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

(Era era, EncCBOR (TxBody l era), EncCBOR (TxAuxData era), EncCBOR (TxWits era)) ⇒ EncCBOR (AlonzoTx l era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ AlonzoTx l era → Encoding Source #

(Era era, NFData (TxWits era), NFData (TxAuxData era), NFData (TxBody l era)) ⇒ NFData (AlonzoTx l era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ AlonzoTx l era → () #

(Era era, Show (TxBody l era), Show (TxAuxData era), Show (Script era), Show (TxWits era)) ⇒ Show (AlonzoTx l era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → AlonzoTx l era → ShowS #

show ∷ AlonzoTx l era → String #

showList ∷ [AlonzoTx l era] → ShowS #

(Era era, Eq (TxBody l era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (AlonzoTx l era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(==) ∷ AlonzoTx l era → AlonzoTx l era → Bool #

(/=) ∷ AlonzoTx l era → AlonzoTx l era → Bool #

(Typeable era, Typeable l) ⇒ NoThunks (AlonzoTx l era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

noThunks ∷ Context → AlonzoTx l era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoTx l era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoTx l era) → String Source #

data family TxBody (l ∷ TxLevel) era Source #

The body of a transaction.

Instances

Instances details
HasEraTxLevel TxBody AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

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

HasEraTxLevel TxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

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

HasEraTxLevel TxBody BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

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

HasEraTxLevel TxBody MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

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

HasEraTxLevel TxBody ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

Typeable l ⇒ DecCBOR (Annotator (TxBody l AllegraEra)) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AllegraEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AllegraEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AllegraEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AlonzoEra)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

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

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

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

Typeable l ⇒ DecCBOR (Annotator (TxBody l BabbageEra)) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

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

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

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

Typeable l ⇒ DecCBOR (Annotator (TxBody l MaryEra)) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l MaryEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l MaryEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l MaryEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l ShelleyEra)) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

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

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

Typeable l ⇒ ToCBOR (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

toCBOR ∷ TxBody l AllegraEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AllegraEra) → Size Source #

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

Typeable l ⇒ ToCBOR (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

toCBOR ∷ TxBody l AlonzoEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

toCBOR ∷ TxBody l BabbageEra → Encoding Source #

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

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

Typeable l ⇒ ToCBOR (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

toCBOR ∷ TxBody l MaryEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l MaryEra) → Size Source #

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

Typeable l ⇒ ToCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

toCBOR ∷ TxBody l ShelleyEra → Encoding Source #

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

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

EncCBOR (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

encCBOR ∷ TxBody l AllegraEra → Encoding Source #

EncCBOR (TxBody l AlonzoEra)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

encCBOR ∷ TxBody l AlonzoEra → Encoding Source #

EncCBOR (TxBody l BabbageEra) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

encCBOR ∷ TxBody l BabbageEra → Encoding Source #

EncCBOR (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

encCBOR ∷ TxBody l MaryEra → Encoding Source #

EncCBOR (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

encCBOR ∷ TxBody l ShelleyEra → Encoding Source #

SafeToHash (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

originalBytes ∷ TxBody l AllegraEra → ByteString Source #

originalBytesSize ∷ TxBody l AllegraEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AllegraEra → SafeHash i Source #

SafeToHash (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

originalBytes ∷ TxBody l AlonzoEra → ByteString Source #

originalBytesSize ∷ TxBody l AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AlonzoEra → SafeHash i Source #

SafeToHash (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

originalBytes ∷ TxBody l BabbageEra → ByteString Source #

originalBytesSize ∷ TxBody l BabbageEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l BabbageEra → SafeHash i Source #

SafeToHash (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

originalBytes ∷ TxBody l MaryEra → ByteString Source #

originalBytesSize ∷ TxBody l MaryEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l MaryEra → SafeHash i Source #

SafeToHash (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

originalBytes ∷ TxBody l ShelleyEra → ByteString Source #

originalBytesSize ∷ TxBody l ShelleyEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l ShelleyEra → SafeHash i Source #

EqRaw (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

eqRaw ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool Source #

EqRaw (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

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

EqRaw (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

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

EqRaw (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

eqRaw ∷ TxBody l MaryEra → TxBody l MaryEra → Bool Source #

EqRaw (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

Memoized (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type RawType (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra

Methods

getMemoBytes ∷ TxBody l AllegraEra → MemoBytes (RawType (TxBody l AllegraEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AllegraEra)) → TxBody l AllegraEra

Memoized (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

type RawType (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

Methods

getMemoBytes ∷ TxBody l AlonzoEra → MemoBytes (RawType (TxBody l AlonzoEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AlonzoEra)) → TxBody l AlonzoEra

Memoized (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type RawType (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEra

Methods

getMemoBytes ∷ TxBody l BabbageEra → MemoBytes (RawType (TxBody l BabbageEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l BabbageEra)) → TxBody l BabbageEra

Memoized (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type RawType (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra

Methods

getMemoBytes ∷ TxBody l MaryEra → MemoBytes (RawType (TxBody l MaryEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l MaryEra)) → TxBody l MaryEra

Memoized (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra

Methods

getMemoBytes ∷ TxBody l ShelleyEra → MemoBytes (RawType (TxBody l ShelleyEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l ShelleyEra)) → TxBody l ShelleyEra

NFData (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

rnf ∷ TxBody l AllegraEra → () #

NFData (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

rnf ∷ TxBody l AlonzoEra → () #

NFData (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

rnf ∷ TxBody l BabbageEra → () #

NFData (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

rnf ∷ TxBody l MaryEra → () #

NFData (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

rnf ∷ TxBody l ShelleyEra → () #

Generic (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Associated Types

type Rep (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))

Methods

from ∷ TxBody l AllegraEra → Rep (TxBody l AllegraEra) x #

to ∷ Rep (TxBody l AllegraEra) x → TxBody l AllegraEra #

Generic (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

type Rep (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

Methods

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

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

Generic (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Associated Types

type Rep (TxBody l BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))

Methods

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

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

Generic (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Associated Types

type Rep (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))

Methods

from ∷ TxBody l MaryEra → Rep (TxBody l MaryEra) x #

to ∷ Rep (TxBody l MaryEra) x → TxBody l MaryEra #

Generic (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Associated Types

type Rep (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

Methods

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

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

Show (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

showsPrec ∷ Int → TxBody l AllegraEra → ShowS #

show ∷ TxBody l AllegraEra → String #

showList ∷ [TxBody l AllegraEra] → ShowS #

Show (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

showsPrec ∷ Int → TxBody l AlonzoEra → ShowS #

show ∷ TxBody l AlonzoEra → String #

showList ∷ [TxBody l AlonzoEra] → ShowS #

Show (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

showsPrec ∷ Int → TxBody l BabbageEra → ShowS #

show ∷ TxBody l BabbageEra → String #

showList ∷ [TxBody l BabbageEra] → ShowS #

Show (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

showsPrec ∷ Int → TxBody l MaryEra → ShowS #

show ∷ TxBody l MaryEra → String #

showList ∷ [TxBody l MaryEra] → ShowS #

Show (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

showsPrec ∷ Int → TxBody l ShelleyEra → ShowS #

show ∷ TxBody l ShelleyEra → String #

showList ∷ [TxBody l ShelleyEra] → ShowS #

Eq (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

(==) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

(/=) ∷ TxBody l AllegraEra → TxBody l AllegraEra → Bool #

Eq (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

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

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

Eq (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

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

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

Eq (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

(==) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

(/=) ∷ TxBody l MaryEra → TxBody l MaryEra → Bool #

Eq (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

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

Typeable l ⇒ NoThunks (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

noThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AllegraEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

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

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

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

Typeable l ⇒ NoThunks (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

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

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

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

Typeable l ⇒ NoThunks (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

noThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l MaryEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

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

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

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

HashAnnotated (TxBody l AllegraEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

Methods

hashAnnotated ∷ TxBody l AllegraEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

hashAnnotated ∷ TxBody l AlonzoEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l BabbageEra) EraIndependentTxBody Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

Methods

hashAnnotated ∷ TxBody l BabbageEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l MaryEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

Methods

hashAnnotated ∷ TxBody l MaryEra → SafeHash EraIndependentTxBody Source #

HashAnnotated (TxBody l ShelleyEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

hashAnnotated ∷ TxBody l ShelleyEra → SafeHash EraIndependentTxBody Source #

newtype TxBody l AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

newtype TxBody l AllegraEra = MkAllegraTxBody (MemoBytes (AllegraTxBodyRaw () l AllegraEra))
newtype TxBody l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))
newtype TxBody l BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

newtype TxBody l BabbageEra = MkBabbageTxBody (MemoBytes (BabbageTxBodyRaw l BabbageEra))
newtype TxBody l MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

newtype TxBody l MaryEra = MkMaryTxBody (MemoBytes (MaryTxBodyRaw l))
newtype TxBody l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

newtype TxBody l ShelleyEra = MkShelleyTxBody (MemoBytes (ShelleyTxBodyRaw l ShelleyEra))
type RawType (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEra
type RawType (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra
type RawType (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEra
type RawType (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEra
type RawType (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEra
type Rep (TxBody l AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody

type Rep (TxBody l AllegraEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Allegra.TxBody" "cardano-ledger-allegra-1.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))
type Rep (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))
type Rep (TxBody l BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxBody

type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))
type Rep (TxBody l MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody

type Rep (TxBody l MaryEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Mary.TxBody" "cardano-ledger-mary-1.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))
type Rep (TxBody l ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

type Rep (TxBody l ShelleyEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Shelley.TxBody" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))

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 Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l BabbageEra → STxLevel l BabbageEra 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) Source # 
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 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)) Source # 
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 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 #

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) Source # 
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 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) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

encCBOR ∷ Tx l BabbageEra → 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) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

eqRaw ∷ Tx l BabbageEra → Tx l BabbageEra → 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) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

Methods

rnf ∷ Tx l BabbageEra → () #

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.15.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) Source # 
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.13.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 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.18.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.9.0.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.10.0.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) Source # 
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 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) Source # 
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 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) Source # 
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 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 {}
newtype Tx l BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

newtype Tx l BabbageEra = MkBabbageTx {}
newtype Tx l ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

newtype Tx l ShelleyEra = MkShelleyTx {}
newtype Tx t AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Tx

newtype Tx t AllegraEra = MkAllegraTx {}
newtype Tx t MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Tx

newtype Tx t MaryEra = MkMaryTx {}
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) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Translation

type TranslationError BabbageEra (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.15.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) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

type Rep (Tx l BabbageEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Babbage.Tx" "cardano-ledger-babbage-1.13.0.0-inplace" 'True) (C1 ('MetaCons "MkBabbageTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBabbageTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l BabbageEra))))
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.18.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.9.0.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.10.0.0-inplace" 'True) (C1 ('MetaCons "MkMaryTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMaryTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx t MaryEra))))

module Cardano.Ledger.Alonzo.Tx

Orphan instances

AlonzoEraTx BabbageEra Source # 
Instance details

Methods

isValidTxL ∷ Lens' (Tx 'TopTx BabbageEra) IsValid Source #

EraTx BabbageEra Source # 
Instance details

Associated Types

newtype Tx l BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Tx

newtype Tx l BabbageEra = MkBabbageTx {}

Methods

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

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

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

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

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

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

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

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

HasEraTxLevel Tx BabbageEra Source # 
Instance details

Methods

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

Typeable l ⇒ DecCBOR (Annotator (Tx l BabbageEra)) Source # 
Instance details

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 ⇒ ToCBOR (Tx l BabbageEra) Source # 
Instance details

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 #

EncCBOR (Tx l BabbageEra) Source # 
Instance details

Methods

encCBOR ∷ Tx l BabbageEra → Encoding Source #

EqRaw (Tx l BabbageEra) Source # 
Instance details

Methods

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

NFData (Tx l BabbageEra) Source # 
Instance details

Methods

rnf ∷ Tx l BabbageEra → () #

Generic (Tx l BabbageEra) Source # 
Instance details

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.13.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 #

Show (Tx l BabbageEra) Source # 
Instance details

Methods

showsPrec ∷ Int → Tx l BabbageEra → ShowS #

show ∷ Tx l BabbageEra → String #

showList ∷ [Tx l BabbageEra] → ShowS #

Eq (Tx l BabbageEra) Source # 
Instance details

Methods

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

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

Typeable l ⇒ NoThunks (Tx l BabbageEra) Source # 
Instance details

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 #