cardano-ledger-shelley-1.12.2.1: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.Tx

Synopsis

Transaction

data ShelleyTx era where Source #

Bundled Patterns

pattern ShelleyTxEraTx era ⇒ TxBody era → TxWits era → StrictMaybe (TxAuxData era) → ShelleyTx era 

Instances

Instances details
Memoized ShelleyTx Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type RawType ShelleyTx = (r ∷ TypeType) Source #

Generic (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (ShelleyTx era) ∷ TypeType Source #

Methods

fromShelleyTx era → Rep (ShelleyTx era) x Source #

toRep (ShelleyTx era) x → ShelleyTx era Source #

(Era era, Show (TxBody era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

showsPrecIntShelleyTx era → ShowS Source #

showShelleyTx era → String Source #

showList ∷ [ShelleyTx era] → ShowS Source #

Typeable era ⇒ ToCBOR (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

toCBORShelleyTx era → Encoding Source #

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

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

EraTx era ⇒ DecCBOR (Annotator (ShelleyTx era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Era era ⇒ EncCBOR (ShelleyTx era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBORShelleyTx era → Encoding Source #

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

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

(Tx era ~ ShelleyTx era, EraTx era) ⇒ EqRaw (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

eqRawShelleyTx era → ShelleyTx era → Bool Source #

SafeToHash (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

(NFData (TxBody era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnfShelleyTx era → () Source #

(Era era, Eq (TxBody era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==)ShelleyTx era → ShelleyTx era → Bool Source #

(/=)ShelleyTx era → ShelleyTx era → Bool Source #

(Era era, NoThunks (TxAuxData era), NoThunks (TxBody era), NoThunks (TxWits era)) ⇒ NoThunks (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type RawType ShelleyTx Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (ShelleyTx era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (ShelleyTx era) = D1 ('MetaData "ShelleyTx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.12.2.1-inplace" 'True) (C1 ('MetaCons "TxConstr" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxRaw era))))

data ShelleyTxRaw era Source #

Instances

Instances details
Generic (ShelleyTxRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Associated Types

type Rep (ShelleyTxRaw era) ∷ TypeType Source #

Methods

fromShelleyTxRaw era → Rep (ShelleyTxRaw era) x Source #

toRep (ShelleyTxRaw era) x → ShelleyTxRaw era Source #

(Era era, Show (TxBody era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTxRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

(Era era, DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) ⇒ DecCBOR (Annotator (ShelleyTxRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

(Era era, EncCBOR (TxWits era), EncCBOR (TxBody era), EncCBOR (TxAuxData era)) ⇒ EncCBOR (ShelleyTxRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

encCBORShelleyTxRaw era → Encoding Source #

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

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

(NFData (TxBody era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTxRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

rnfShelleyTxRaw era → () Source #

(Era era, Eq (TxBody era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTxRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

Methods

(==)ShelleyTxRaw era → ShelleyTxRaw era → Bool Source #

(/=)ShelleyTxRaw era → ShelleyTxRaw era → Bool Source #

(Era era, NoThunks (TxAuxData era), NoThunks (TxBody era), NoThunks (TxWits era)) ⇒ NoThunks (ShelleyTxRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (ShelleyTxRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.Tx

type Rep (ShelleyTxRaw era) = D1 ('MetaData "ShelleyTxRaw" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.12.2.1-inplace" 'False) (C1 ('MetaCons "ShelleyTxRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "strBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxBody era)) :*: (S1 ('MetaSel ('Just "strWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxWits era)) :*: S1 ('MetaSel ('Just "strAuxiliaryData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (TxAuxData era))))))

bodyShelleyTxLEraTx era ⇒ Lens' (ShelleyTx era) (TxBody era) Source #

TxBody setter and getter for ShelleyTx. The setter does update memoized binary representation.

witsShelleyTxLEraTx era ⇒ Lens' (ShelleyTx era) (TxWits era) Source #

TxWits setter and getter for ShelleyTx. The setter does update memoized binary representation.

auxDataShelleyTxLEraTx era ⇒ Lens' (ShelleyTx era) (StrictMaybe (TxAuxData era)) Source #

TxAuxData setter and getter for ShelleyTx. The setter does update memoized binary representation.

sizeShelleyTxFEra era ⇒ SimpleGetter (ShelleyTx era) Integer Source #

Size getter for ShelleyTx.

segwitTx ∷ ∀ era. EraTx era ⇒ Annotator (TxBody era) → Annotator (TxWits era) → Maybe (Annotator (TxAuxData era)) → Annotator (ShelleyTx era) Source #

mkBasicShelleyTxEraTx era ⇒ TxBody era → ShelleyTx era Source #

shelleyMinFeeTxEraTx era ⇒ PParams era → Tx era → Coin Source #

Minimum fee calculation

witsFromTxWitnessesEraTx era ⇒ Tx era → Set (KeyHash 'Witness (EraCrypto era)) Source #

Extract the witness hashes from the Transaction.

shelleyEqTxRawEraTx era ⇒ Tx era → Tx era → Bool Source #

Deprecated

txwitsScriptEraTx era ⇒ Tx era → Map (ScriptHash (EraCrypto era)) (Script era) Source #

Deprecated: In favor of scriptTxWitsL

Multi-signature script witness accessor function for Transactions

hashMultiSigScript ∷ ∀ era. (EraScript era, Script era ~ MultiSig (EraCrypto era)) ⇒ MultiSig (EraCrypto era) → ScriptHash (EraCrypto era) Source #

Deprecated: In favor of hashScript

Hashes native multi-signature script.

Orphan instances