cardano-ledger-conway-1.14.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Tx

Documentation

data AlonzoTx era Source #

Constructors

AlonzoTx 

Fields

Instances

Instances details
Generic (AlonzoTx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep (AlonzoTx era) ∷ Type → Type Source #

Methods

from ∷ AlonzoTx era → Rep (AlonzoTx era) x Source #

to ∷ Rep (AlonzoTx era) x → AlonzoTx era Source #

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

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → AlonzoTx era → ShowS Source #

show ∷ AlonzoTx era → String Source #

showList ∷ [AlonzoTx era] → ShowS Source #

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

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ AlonzoTx era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

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

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

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ AlonzoTx era → Encoding Source #

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

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

(Tx era ~ AlonzoTx era, AlonzoEraTx era) ⇒ EqRaw (AlonzoTx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

eqRaw ∷ AlonzoTx era → AlonzoTx era → Bool Source #

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

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ AlonzoTx era → () Source #

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

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

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

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

showTypeOf ∷ Proxy (AlonzoTx era) → String Source #

type Rep (AlonzoTx era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (AlonzoTx era) = D1 ('MetaData "AlonzoTx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.8.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTx" 'PrefixI 'True) ((S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxBody era)) :*: S1 ('MetaSel ('Just "wits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxWits era))) :*: (S1 ('MetaSel ('Just "isValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 IsValid) :*: S1 ('MetaSel ('Just "auxiliaryData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (TxAuxData era))))))

class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTx era where Source #

Methods

isValidTxL ∷ Lens' (Tx era) IsValid Source #

Instances

Instances details
Crypto c ⇒ AlonzoEraTx (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

isValidTxL ∷ Lens' (Tx (AlonzoEra c)) IsValid Source #

Crypto c ⇒ AlonzoEraTx (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Tx

Methods

isValidTxL ∷ Lens' (Tx (ConwayEra c)) IsValid Source #

Orphan instances