Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.UTxO.Tx

Synopsis

data Tx = UnsafeTx {
- txInputs ∷ !(NonEmpty TxIn)
- txOutputs ∷ !(NonEmpty TxOut)
- txAttributes ∷ !TxAttributes
}
txF ∷ Format r (Tx → r)
type TxId = Hash Tx
type TxAttributes = Attributes ()
data TxIn = TxInUtxo TxId Word16
data TxOut = TxOut {
- txOutAddress ∷ !Address
- txOutValue ∷ !Lovelace
}

Documentation

data Tx Source #

Transaction

NB: transaction witnesses are stored separately

Constructors

UnsafeTx
Fields txInputs ∷ !(NonEmpty TxIn) Inputs of transaction. txOutputs ∷ !(NonEmpty TxOut) Outputs of transaction. txAttributes ∷ !TxAttributes Attributes of transaction

Instances

Instances details

ToJSON Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods toJSON ∷ Tx → Value Source # toEncoding ∷ Tx → Encoding Source # toJSONList ∷ [Tx] → Value Source # toEncodingList ∷ [Tx] → Encoding Source # omitField ∷ Tx → Bool Source #
Generic Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Associated Types type Rep Tx ∷ Type → Type Source # Methods from ∷ Tx → Rep Tx x Source # to ∷ Rep Tx x → Tx Source #
Show Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods showsPrec ∷ Int → Tx → ShowS Source # show ∷ Tx → String Source # showList ∷ [Tx] → ShowS Source #
FromCBOR Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods fromCBOR ∷ Decoder s Tx Source # label ∷ Proxy Tx → Text Source #
ToCBOR Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods toCBOR ∷ Tx → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Tx → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx] → Size Source #
DecCBOR Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods decCBOR ∷ Decoder s Tx Source # dropCBOR ∷ Proxy Tx → Decoder s () Source # label ∷ Proxy Tx → Text Source #
EncCBOR Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods encCBOR ∷ Tx → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy Tx → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Tx] → Size Source #
NFData Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods rnf ∷ Tx → () Source #
Buildable Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods build ∷ Tx → Builder Source #
Eq Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods (==) ∷ Tx → Tx → Bool Source # (/=) ∷ Tx → Tx → Bool Source #
Ord Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods compare ∷ Tx → Tx → Ordering Source # (<) ∷ Tx → Tx → Bool Source # (<=) ∷ Tx → Tx → Bool Source # (>) ∷ Tx → Tx → Bool Source # (>=) ∷ Tx → Tx → Bool Source # max ∷ Tx → Tx → Tx Source # min ∷ Tx → Tx → Tx Source #
type Rep Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx type Rep Tx = D1 ('MetaData "Tx" "Cardano.Chain.UTxO.Tx" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "UnsafeTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "txInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty TxIn)) :: (S1 ('MetaSel ('Just "txOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty TxOut)) :: S1 ('MetaSel ('Just "txAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAttributes))))

txF ∷ Format r (Tx → r) Source #

Specialized formatter for Tx

type TxId = Hash Tx Source #

Represents transaction identifier as Hash of Tx

type TxAttributes = Attributes () Source #

Represents transaction attributes: map from 1-byte integer to arbitrary-type value. To be used for extending transaction with new fields via softfork.

data TxIn Source #

Transaction arbitrary input

Constructors

TxInUtxo TxId Word16

TxId = Which transaction's output is used | Word16 = Index of the output in transaction's outputs

Instances

Instances details

ToJSON TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods toJSON ∷ TxIn → Value Source # toEncoding ∷ TxIn → Encoding Source # toJSONList ∷ [TxIn] → Value Source # toEncodingList ∷ [TxIn] → Encoding Source # omitField ∷ TxIn → Bool Source #
Generic TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Associated Types type Rep TxIn ∷ Type → Type Source # Methods from ∷ TxIn → Rep TxIn x Source # to ∷ Rep TxIn x → TxIn Source #
Show TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods showsPrec ∷ Int → TxIn → ShowS Source # show ∷ TxIn → String Source # showList ∷ [TxIn] → ShowS Source #
FromCBOR TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods fromCBOR ∷ Decoder s TxIn Source # label ∷ Proxy TxIn → Text Source #
ToCBOR TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods toCBOR ∷ TxIn → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TxIn → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxIn] → Size Source #
DecCBOR TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods decCBOR ∷ Decoder s TxIn Source # dropCBOR ∷ Proxy TxIn → Decoder s () Source # label ∷ Proxy TxIn → Text Source #
EncCBOR TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods encCBOR ∷ TxIn → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxIn → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxIn] → Size Source #
NFData TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods rnf ∷ TxIn → () Source #
Buildable TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods build ∷ TxIn → Builder Source #
Eq TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods (==) ∷ TxIn → TxIn → Bool Source # (/=) ∷ TxIn → TxIn → Bool Source #
Ord TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods compare ∷ TxIn → TxIn → Ordering Source # (<) ∷ TxIn → TxIn → Bool Source # (<=) ∷ TxIn → TxIn → Bool Source # (>) ∷ TxIn → TxIn → Bool Source # (>=) ∷ TxIn → TxIn → Bool Source # max ∷ TxIn → TxIn → TxIn Source # min ∷ TxIn → TxIn → TxIn Source #
HeapWords TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods heapWords ∷ TxIn → Int Source #
type Rep TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx type Rep TxIn = D1 ('MetaData "TxIn" "Cardano.Chain.UTxO.Tx" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "TxInUtxo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data TxOut Source #

Transaction output

Constructors

TxOut
Fields txOutAddress ∷ !Address txOutValue ∷ !Lovelace

Instances

Instances details

ToJSON TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods toJSON ∷ TxOut → Value Source # toEncoding ∷ TxOut → Encoding Source # toJSONList ∷ [TxOut] → Value Source # toEncodingList ∷ [TxOut] → Encoding Source # omitField ∷ TxOut → Bool Source #
Generic TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Associated Types type Rep TxOut ∷ Type → Type Source # Methods from ∷ TxOut → Rep TxOut x Source # to ∷ Rep TxOut x → TxOut Source #
Show TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods showsPrec ∷ Int → TxOut → ShowS Source # show ∷ TxOut → String Source # showList ∷ [TxOut] → ShowS Source #
FromCBOR TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods fromCBOR ∷ Decoder s TxOut Source # label ∷ Proxy TxOut → Text Source #
ToCBOR TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods toCBOR ∷ TxOut → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TxOut → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxOut] → Size Source #
DecCBOR TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods decCBOR ∷ Decoder s TxOut Source # dropCBOR ∷ Proxy TxOut → Decoder s () Source # label ∷ Proxy TxOut → Text Source #
EncCBOR TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods encCBOR ∷ TxOut → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxOut → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxOut] → Size Source #
NFData TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods rnf ∷ TxOut → () Source #
Buildable TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods build ∷ TxOut → Builder Source #
Eq TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods (==) ∷ TxOut → TxOut → Bool Source # (/=) ∷ TxOut → TxOut → Bool Source #
Ord TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods compare ∷ TxOut → TxOut → Ordering Source # (<) ∷ TxOut → TxOut → Bool Source # (<=) ∷ TxOut → TxOut → Bool Source # (>) ∷ TxOut → TxOut → Bool Source # (>=) ∷ TxOut → TxOut → Bool Source # max ∷ TxOut → TxOut → TxOut Source # min ∷ TxOut → TxOut → TxOut Source #
HeapWords TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods heapWords ∷ TxOut → Int Source #
type Rep TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx type Rep TxOut = D1 ('MetaData "TxOut" "Cardano.Chain.UTxO.Tx" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "TxOut" 'PrefixI 'True) (S1 ('MetaSel ('Just "txOutAddress") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Address) :*: S1 ('MetaSel ('Just "txOutValue") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Lovelace)))