Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.UTxO

Synopsis

data TxValidationMode
- = TxValidation
- | TxValidationNoCrypto
- | NoTxValidation
module Cardano.Chain.UTxO.Validation
data UTxOConfiguration = UTxOConfiguration {
- tcAssetLockedSrcAddrs ∷ !(Set CompactAddress)
}
defaultUTxOConfiguration ∷ UTxOConfiguration
mkUTxOConfiguration ∷ [Address] → UTxOConfiguration
module Cardano.Chain.UTxO.UTxO
type TxWitness = Vector TxInWitness
data TxInWitness
- = VKWitness !VerificationKey !TxSig
- | RedeemWitness !RedeemVerificationKey !(RedeemSignature TxSigData)
newtype TxSigData = TxSigData {
- txSigTxHash ∷ Hash Tx
}
type TxSig = Signature TxSigData
recoverSigData ∷ Annotated Tx ByteString → Annotated TxSigData ByteString
data TxProof = TxProof {
- txpNumber ∷ !Word32
- txpRoot ∷ !(MerkleRoot Tx)
- txpWitnessesHash ∷ !(Hash [TxWitness])
}
mkTxProof ∷ TxPayload → TxProof
recoverTxProof ∷ ATxPayload ByteString → TxProof
type TxPayload = ATxPayload ()
newtype ATxPayload a = ATxPayload {
- aUnTxPayload ∷ [ATxAux a]
}
mkTxPayload ∷ [TxAux] → TxPayload
recoverHashedBytes ∷ ATxPayload ByteString → Annotated [TxWitness] ByteString
txpAnnotatedTxs ∷ ATxPayload a → [Annotated Tx a]
txpTxs ∷ ATxPayload a → [Tx]
txpWitnesses ∷ TxPayload → [TxWitness]
unTxPayload ∷ ATxPayload a → [TxAux]
type TxAux = ATxAux ()
data ATxAux a = ATxAux {
- aTaTx ∷ !(Annotated Tx a)
- aTaWitness ∷ !(Annotated TxWitness a)
- aTaAnnotation ∷ !a
}
mkTxAux ∷ Tx → TxWitness → TxAux
annotateTxAux ∷ TxAux → ATxAux ByteString
taTx ∷ ATxAux a → Tx
taWitness ∷ ATxAux a → TxWitness
txaF ∷ Format r (TxAux → r)
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
}
genesisUtxo ∷ Config → UTxO
data CompactTxIn = CompactTxInUtxo !CompactTxId !Word16
toCompactTxIn ∷ TxIn → CompactTxIn
fromCompactTxIn ∷ CompactTxIn → TxIn
data CompactTxId
toCompactTxId ∷ TxId → CompactTxId
fromCompactTxId ∷ CompactTxId → TxId
data CompactTxOut = CompactTxOut !CompactAddress !Lovelace
toCompactTxOut ∷ TxOut → CompactTxOut
fromCompactTxOut ∷ CompactTxOut → TxOut

Documentation

data TxValidationMode Source #

Indicates what sort of transaction validation should be performed.

Constructors

TxValidation	Perform all transaction validations.
TxValidationNoCrypto	Because we've already validated this transaction against some ledger state, we know that cryptographic validation has passed. However, we should still perform all of the other non-cryptographic checks since we're validating against a potentially dfferent ledger state.
NoTxValidation	No validations should be performed as we have already validated this transaction against this very same ledger state.

Instances

Instances details

Show TxValidationMode Source #
Instance details Defined in Cardano.Chain.UTxO.ValidationMode Methods showsPrec ∷ Int → TxValidationMode → ShowS Source # show ∷ TxValidationMode → String Source # showList ∷ [TxValidationMode] → ShowS Source #
Eq TxValidationMode Source #
Instance details Defined in Cardano.Chain.UTxO.ValidationMode Methods (==) ∷ TxValidationMode → TxValidationMode → Bool Source # (/=) ∷ TxValidationMode → TxValidationMode → Bool Source #

module Cardano.Chain.UTxO.Validation

data UTxOConfiguration Source #

Additional configuration for ledger validation.

Constructors

UTxOConfiguration
Fields tcAssetLockedSrcAddrs ∷ !(Set CompactAddress) Set of source address which are asset-locked. Transactions which use these addresses as transaction inputs will be deemed invalid.

Instances

Instances details

Generic UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration Associated Types type Rep UTxOConfiguration ∷ Type → Type Source # Methods from ∷ UTxOConfiguration → Rep UTxOConfiguration x Source # to ∷ Rep UTxOConfiguration x → UTxOConfiguration Source #
Show UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration Methods showsPrec ∷ Int → UTxOConfiguration → ShowS Source # show ∷ UTxOConfiguration → String Source # showList ∷ [UTxOConfiguration] → ShowS Source #
FromCBOR UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration Methods fromCBOR ∷ Decoder s UTxOConfiguration Source # label ∷ Proxy UTxOConfiguration → Text Source #
ToCBOR UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration Methods toCBOR ∷ UTxOConfiguration → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy UTxOConfiguration → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UTxOConfiguration] → Size Source #
DecCBOR UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration Methods decCBOR ∷ Decoder s UTxOConfiguration Source # dropCBOR ∷ Proxy UTxOConfiguration → Decoder s () Source # label ∷ Proxy UTxOConfiguration → Text Source #
EncCBOR UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration Methods encCBOR ∷ UTxOConfiguration → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy UTxOConfiguration → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [UTxOConfiguration] → Size Source #
Eq UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration Methods (==) ∷ UTxOConfiguration → UTxOConfiguration → Bool Source # (/=) ∷ UTxOConfiguration → UTxOConfiguration → Bool Source #
NoThunks UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration Methods noThunks ∷ Context → UTxOConfiguration → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UTxOConfiguration → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy UTxOConfiguration → String Source #
type Rep UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration type Rep UTxOConfiguration = D1 ('MetaData "UTxOConfiguration" "Cardano.Chain.UTxO.UTxOConfiguration" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "UTxOConfiguration" 'PrefixI 'True) (S1 ('MetaSel ('Just "tcAssetLockedSrcAddrs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set CompactAddress))))

defaultUTxOConfiguration ∷ UTxOConfiguration Source #

mkUTxOConfiguration ∷ [Address] → UTxOConfiguration Source #

module Cardano.Chain.UTxO.UTxO

type TxWitness = Vector TxInWitness Source #

A witness is a proof that a transaction is allowed to spend the funds it spends (by providing signatures, redeeming scripts, etc). A separate proof is provided for each input.

data TxInWitness Source #

A witness for a single input

Constructors

VKWitness !VerificationKey !TxSig	VKWitness twKey twSig
RedeemWitness !RedeemVerificationKey !(RedeemSignature TxSigData)	RedeemWitness twRedeemKey twRedeemSig

Instances

Instances details

ToJSON TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods toJSON ∷ TxInWitness → Value Source # toEncoding ∷ TxInWitness → Encoding Source # toJSONList ∷ [TxInWitness] → Value Source # toEncodingList ∷ [TxInWitness] → Encoding Source # omitField ∷ TxInWitness → Bool Source #
Generic TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Associated Types type Rep TxInWitness ∷ Type → Type Source # Methods from ∷ TxInWitness → Rep TxInWitness x Source # to ∷ Rep TxInWitness x → TxInWitness Source #
Show TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods showsPrec ∷ Int → TxInWitness → ShowS Source # show ∷ TxInWitness → String Source # showList ∷ [TxInWitness] → ShowS Source #
FromCBOR TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods fromCBOR ∷ Decoder s TxInWitness Source # label ∷ Proxy TxInWitness → Text Source #
ToCBOR TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods toCBOR ∷ TxInWitness → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TxInWitness → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxInWitness] → Size Source #
DecCBOR TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods decCBOR ∷ Decoder s TxInWitness Source # dropCBOR ∷ Proxy TxInWitness → Decoder s () Source # label ∷ Proxy TxInWitness → Text Source #
EncCBOR TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods encCBOR ∷ TxInWitness → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxInWitness → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxInWitness] → Size Source #
NFData TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods rnf ∷ TxInWitness → () Source #
Buildable TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods build ∷ TxInWitness → Builder Source #
Eq TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods (==) ∷ TxInWitness → TxInWitness → Bool Source # (/=) ∷ TxInWitness → TxInWitness → Bool Source #
type Rep TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness type Rep TxInWitness = D1 ('MetaData "TxInWitness" "Cardano.Chain.UTxO.TxWitness" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "VKWitness" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxSig)) :+: C1 ('MetaCons "RedeemWitness" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 RedeemVerificationKey) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RedeemSignature TxSigData))))

newtype TxSigData Source #

Data that is being signed when creating a TxSig

Constructors

TxSigData
Fields txSigTxHash ∷ Hash Tx

Instances

Instances details

ToJSON TxSigData Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods toJSON ∷ TxSigData → Value Source # toEncoding ∷ TxSigData → Encoding Source # toJSONList ∷ [TxSigData] → Value Source # toEncodingList ∷ [TxSigData] → Encoding Source # omitField ∷ TxSigData → Bool Source #
Generic TxSigData Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Associated Types type Rep TxSigData ∷ Type → Type Source # Methods from ∷ TxSigData → Rep TxSigData x Source # to ∷ Rep TxSigData x → TxSigData Source #
Show TxSigData Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods showsPrec ∷ Int → TxSigData → ShowS Source # show ∷ TxSigData → String Source # showList ∷ [TxSigData] → ShowS Source #
FromCBOR TxSigData Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods fromCBOR ∷ Decoder s TxSigData Source # label ∷ Proxy TxSigData → Text Source #
ToCBOR TxSigData Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods toCBOR ∷ TxSigData → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TxSigData → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxSigData] → Size Source #
DecCBOR TxSigData Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods decCBOR ∷ Decoder s TxSigData Source # dropCBOR ∷ Proxy TxSigData → Decoder s () Source # label ∷ Proxy TxSigData → Text Source #
EncCBOR TxSigData Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods encCBOR ∷ TxSigData → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxSigData → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxSigData] → Size Source #
Eq TxSigData Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods (==) ∷ TxSigData → TxSigData → Bool Source # (/=) ∷ TxSigData → TxSigData → Bool Source #
type Rep TxSigData Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness type Rep TxSigData = D1 ('MetaData "TxSigData" "Cardano.Chain.UTxO.TxWitness" "cardano-ledger-byron-1.0.2.0-inplace" 'True) (C1 ('MetaCons "TxSigData" 'PrefixI 'True) (S1 ('MetaSel ('Just "txSigTxHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Tx))))

type TxSig = Signature TxSigData Source #

Signature of addrId

recoverSigData ∷ Annotated Tx ByteString → Annotated TxSigData ByteString Source #

data TxProof Source #

Constructors

TxProof
Fields txpNumber ∷ !Word32 txpRoot ∷ !(MerkleRoot Tx) txpWitnessesHash ∷ !(Hash [TxWitness])

Instances

Instances details

ToJSON TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods toJSON ∷ TxProof → Value Source # toEncoding ∷ TxProof → Encoding Source # toJSONList ∷ [TxProof] → Value Source # toEncodingList ∷ [TxProof] → Encoding Source # omitField ∷ TxProof → Bool Source #
Generic TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Associated Types type Rep TxProof ∷ Type → Type Source # Methods from ∷ TxProof → Rep TxProof x Source # to ∷ Rep TxProof x → TxProof Source #
Show TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods showsPrec ∷ Int → TxProof → ShowS Source # show ∷ TxProof → String Source # showList ∷ [TxProof] → ShowS Source #
FromCBOR TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods fromCBOR ∷ Decoder s TxProof Source # label ∷ Proxy TxProof → Text Source #
ToCBOR TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods toCBOR ∷ TxProof → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TxProof → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxProof] → Size Source #
DecCBOR TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods decCBOR ∷ Decoder s TxProof Source # dropCBOR ∷ Proxy TxProof → Decoder s () Source # label ∷ Proxy TxProof → Text Source #
EncCBOR TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods encCBOR ∷ TxProof → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxProof → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxProof] → Size Source #
NFData TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods rnf ∷ TxProof → () Source #
Buildable TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods build ∷ TxProof → Builder Source #
Eq TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods (==) ∷ TxProof → TxProof → Bool Source # (/=) ∷ TxProof → TxProof → Bool Source #
NoThunks TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods noThunks ∷ Context → TxProof → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxProof → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxProof → String Source #
type Rep TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof type Rep TxProof = D1 ('MetaData "TxProof" "Cardano.Chain.UTxO.TxProof" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "TxProof" 'PrefixI 'True) (S1 ('MetaSel ('Just "txpNumber") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :: (S1 ('MetaSel ('Just "txpRoot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MerkleRoot Tx)) :: S1 ('MetaSel ('Just "txpWitnessesHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash [TxWitness])))))

mkTxProof ∷ TxPayload → TxProof Source #

Construct TxProof which proves given TxPayload

This will construct a Merkle tree, which can be very expensive. Use with care.

recoverTxProof ∷ ATxPayload ByteString → TxProof Source #

type TxPayload = ATxPayload () Source #

Payload of UTxO component which is part of the block body

newtype ATxPayload a Source #

Constructors

ATxPayload
Fields aUnTxPayload ∷ [ATxAux a]

Instances

Instances details

Functor ATxPayload Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods fmap ∷ (a → b) → ATxPayload a → ATxPayload b Source # (<$) ∷ a → ATxPayload b → ATxPayload a Source #
FromCBOR TxPayload Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods fromCBOR ∷ Decoder s TxPayload Source # label ∷ Proxy TxPayload → Text Source #
ToCBOR TxPayload Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods toCBOR ∷ TxPayload → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TxPayload → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxPayload] → Size Source #
DecCBOR TxPayload Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods decCBOR ∷ Decoder s TxPayload Source # dropCBOR ∷ Proxy TxPayload → Decoder s () Source # label ∷ Proxy TxPayload → Text Source #
EncCBOR TxPayload Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods encCBOR ∷ TxPayload → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxPayload → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxPayload] → Size Source #
ToJSON a ⇒ ToJSON (ATxPayload a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods toJSON ∷ ATxPayload a → Value Source # toEncoding ∷ ATxPayload a → Encoding Source # toJSONList ∷ [ATxPayload a] → Value Source # toEncodingList ∷ [ATxPayload a] → Encoding Source # omitField ∷ ATxPayload a → Bool Source #
Generic (ATxPayload a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Associated Types type Rep (ATxPayload a) ∷ Type → Type Source # Methods from ∷ ATxPayload a → Rep (ATxPayload a) x Source # to ∷ Rep (ATxPayload a) x → ATxPayload a Source #
Show a ⇒ Show (ATxPayload a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods showsPrec ∷ Int → ATxPayload a → ShowS Source # show ∷ ATxPayload a → String Source # showList ∷ [ATxPayload a] → ShowS Source #
FromCBOR (ATxPayload ByteSpan) Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods fromCBOR ∷ Decoder s (ATxPayload ByteSpan) Source # label ∷ Proxy (ATxPayload ByteSpan) → Text Source #
DecCBOR (ATxPayload ByteSpan) Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods decCBOR ∷ Decoder s (ATxPayload ByteSpan) Source # dropCBOR ∷ Proxy (ATxPayload ByteSpan) → Decoder s () Source # label ∷ Proxy (ATxPayload ByteSpan) → Text Source #
NFData a ⇒ NFData (ATxPayload a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods rnf ∷ ATxPayload a → () Source #
Eq a ⇒ Eq (ATxPayload a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods (==) ∷ ATxPayload a → ATxPayload a → Bool Source # (/=) ∷ ATxPayload a → ATxPayload a → Bool Source #
type Rep (ATxPayload a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload type Rep (ATxPayload a) = D1 ('MetaData "ATxPayload" "Cardano.Chain.UTxO.TxPayload" "cardano-ledger-byron-1.0.2.0-inplace" 'True) (C1 ('MetaCons "ATxPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "aUnTxPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ATxAux a])))

mkTxPayload ∷ [TxAux] → TxPayload Source #

recoverHashedBytes ∷ ATxPayload ByteString → Annotated [TxWitness] ByteString Source #

txpAnnotatedTxs ∷ ATxPayload a → [Annotated Tx a] Source #

txpTxs ∷ ATxPayload a → [Tx] Source #

txpWitnesses ∷ TxPayload → [TxWitness] Source #

unTxPayload ∷ ATxPayload a → [TxAux] Source #

type TxAux = ATxAux () Source #

Transaction + auxiliary data

data ATxAux a Source #

Constructors

ATxAux
Fields aTaTx ∷ !(Annotated Tx a) aTaWitness ∷ !(Annotated TxWitness a) aTaAnnotation ∷ !a

Instances

Instances details

Functor ATxAux Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods fmap ∷ (a → b) → ATxAux a → ATxAux b Source # (<$) ∷ a → ATxAux b → ATxAux a Source #
FromCBOR TxAux Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods fromCBOR ∷ Decoder s TxAux Source # label ∷ Proxy TxAux → Text Source #
ToCBOR TxAux Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods toCBOR ∷ TxAux → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TxAux → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxAux] → Size Source #
DecCBOR TxAux Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods decCBOR ∷ Decoder s TxAux Source # dropCBOR ∷ Proxy TxAux → Decoder s () Source # label ∷ Proxy TxAux → Text Source #
EncCBOR TxAux Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods encCBOR ∷ TxAux → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy TxAux → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [TxAux] → Size Source #
Buildable TxAux Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods build ∷ TxAux → Builder Source #
ToJSON a ⇒ ToJSON (ATxAux a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods toJSON ∷ ATxAux a → Value Source # toEncoding ∷ ATxAux a → Encoding Source # toJSONList ∷ [ATxAux a] → Value Source # toEncodingList ∷ [ATxAux a] → Encoding Source # omitField ∷ ATxAux a → Bool Source #
Generic (ATxAux a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Associated Types type Rep (ATxAux a) ∷ Type → Type Source # Methods from ∷ ATxAux a → Rep (ATxAux a) x Source # to ∷ Rep (ATxAux a) x → ATxAux a Source #
Show a ⇒ Show (ATxAux a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods showsPrec ∷ Int → ATxAux a → ShowS Source # show ∷ ATxAux a → String Source # showList ∷ [ATxAux a] → ShowS Source #
FromCBOR (ATxAux ByteSpan) Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods fromCBOR ∷ Decoder s (ATxAux ByteSpan) Source # label ∷ Proxy (ATxAux ByteSpan) → Text Source #
Decoded (ATxAux ByteString) Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Associated Types type BaseType (ATxAux ByteString) Source # Methods recoverBytes ∷ ATxAux ByteString → ByteString Source #
DecCBOR (ATxAux ByteSpan) Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods decCBOR ∷ Decoder s (ATxAux ByteSpan) Source # dropCBOR ∷ Proxy (ATxAux ByteSpan) → Decoder s () Source # label ∷ Proxy (ATxAux ByteSpan) → Text Source #
NFData a ⇒ NFData (ATxAux a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods rnf ∷ ATxAux a → () Source #
Eq a ⇒ Eq (ATxAux a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods (==) ∷ ATxAux a → ATxAux a → Bool Source # (/=) ∷ ATxAux a → ATxAux a → Bool Source #
type Rep (ATxAux a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux type Rep (ATxAux a) = D1 ('MetaData "ATxAux" "Cardano.Chain.UTxO.TxAux" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "ATxAux" 'PrefixI 'True) (S1 ('MetaSel ('Just "aTaTx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated Tx a)) :: (S1 ('MetaSel ('Just "aTaWitness") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated TxWitness a)) :: S1 ('MetaSel ('Just "aTaAnnotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))))
type BaseType (ATxAux ByteString) Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux type BaseType (ATxAux ByteString) = ATxAux ()

mkTxAux ∷ Tx → TxWitness → TxAux Source #

annotateTxAux ∷ TxAux → ATxAux ByteString Source #

taTx ∷ ATxAux a → Tx Source #

taWitness ∷ ATxAux a → TxWitness Source #

txaF ∷ Format r (TxAux → r) Source #

Specialized formatter for TxAux

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.2.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.2.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.2.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)))

genesisUtxo ∷ Config → UTxO Source #

Create initial UTxO from balances defined in the genesis config

data CompactTxIn Source #

A compact in-memory representation for a TxIn.

Convert using toCompactTxIn and fromCompactTxIn.

Constructors

CompactTxInUtxo !CompactTxId !Word16

Instances

Instances details

Generic CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Associated Types type Rep CompactTxIn ∷ Type → Type Source # Methods from ∷ CompactTxIn → Rep CompactTxIn x Source # to ∷ Rep CompactTxIn x → CompactTxIn Source #
Show CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods showsPrec ∷ Int → CompactTxIn → ShowS Source # show ∷ CompactTxIn → String Source # showList ∷ [CompactTxIn] → ShowS Source #
FromCBOR CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods fromCBOR ∷ Decoder s CompactTxIn Source # label ∷ Proxy CompactTxIn → Text Source #
ToCBOR CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods toCBOR ∷ CompactTxIn → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy CompactTxIn → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxIn] → Size Source #
DecCBOR CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods decCBOR ∷ Decoder s CompactTxIn Source # dropCBOR ∷ Proxy CompactTxIn → Decoder s () Source # label ∷ Proxy CompactTxIn → Text Source #
EncCBOR CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods encCBOR ∷ CompactTxIn → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CompactTxIn → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxIn] → Size Source #
NFData CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods rnf ∷ CompactTxIn → () Source #
Eq CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods (==) ∷ CompactTxIn → CompactTxIn → Bool Source # (/=) ∷ CompactTxIn → CompactTxIn → Bool Source #
Ord CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods compare ∷ CompactTxIn → CompactTxIn → Ordering Source # (<) ∷ CompactTxIn → CompactTxIn → Bool Source # (<=) ∷ CompactTxIn → CompactTxIn → Bool Source # (>) ∷ CompactTxIn → CompactTxIn → Bool Source # (>=) ∷ CompactTxIn → CompactTxIn → Bool Source # max ∷ CompactTxIn → CompactTxIn → CompactTxIn Source # min ∷ CompactTxIn → CompactTxIn → CompactTxIn Source #
HeapWords CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods heapWords ∷ CompactTxIn → Int Source #
NoThunks CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods noThunks ∷ Context → CompactTxIn → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactTxIn → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CompactTxIn → String Source #
type Rep CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact type Rep CompactTxIn = D1 ('MetaData "CompactTxIn" "Cardano.Chain.UTxO.Compact" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "CompactTxInUtxo" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactTxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word16)))

toCompactTxIn ∷ TxIn → CompactTxIn Source #

fromCompactTxIn ∷ CompactTxIn → TxIn Source #

data CompactTxId Source #

A compact in-memory representation for a TxId.

Convert using toCompactTxId and fromCompactTxId.

Compared to a normal TxId, this takes 5 heap words rather than 12.

Instances

Instances details

Generic CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Associated Types type Rep CompactTxId ∷ Type → Type Source # Methods from ∷ CompactTxId → Rep CompactTxId x Source # to ∷ Rep CompactTxId x → CompactTxId Source #
Show CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods showsPrec ∷ Int → CompactTxId → ShowS Source # show ∷ CompactTxId → String Source # showList ∷ [CompactTxId] → ShowS Source #
FromCBOR CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods fromCBOR ∷ Decoder s CompactTxId Source # label ∷ Proxy CompactTxId → Text Source #
ToCBOR CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods toCBOR ∷ CompactTxId → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy CompactTxId → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxId] → Size Source #
DecCBOR CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods decCBOR ∷ Decoder s CompactTxId Source # dropCBOR ∷ Proxy CompactTxId → Decoder s () Source # label ∷ Proxy CompactTxId → Text Source #
EncCBOR CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods encCBOR ∷ CompactTxId → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CompactTxId → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxId] → Size Source #
NFData CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods rnf ∷ CompactTxId → () Source #
Eq CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods (==) ∷ CompactTxId → CompactTxId → Bool Source # (/=) ∷ CompactTxId → CompactTxId → Bool Source #
Ord CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods compare ∷ CompactTxId → CompactTxId → Ordering Source # (<) ∷ CompactTxId → CompactTxId → Bool Source # (<=) ∷ CompactTxId → CompactTxId → Bool Source # (>) ∷ CompactTxId → CompactTxId → Bool Source # (>=) ∷ CompactTxId → CompactTxId → Bool Source # max ∷ CompactTxId → CompactTxId → CompactTxId Source # min ∷ CompactTxId → CompactTxId → CompactTxId Source #
HeapWords CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods heapWords ∷ CompactTxId → Int Source #
NoThunks CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods noThunks ∷ Context → CompactTxId → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactTxId → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CompactTxId → String Source #
type Rep CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact type Rep CompactTxId = D1 ('MetaData "CompactTxId" "Cardano.Chain.UTxO.Compact" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "CompactTxId" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

toCompactTxId ∷ TxId → CompactTxId Source #

fromCompactTxId ∷ CompactTxId → TxId Source #

data CompactTxOut Source #

A compact in-memory representation for a TxOut.

Convert using toCompactTxOut and fromCompactTxOut.

Constructors

CompactTxOut !CompactAddress !Lovelace

Instances

Instances details

Generic CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Associated Types type Rep CompactTxOut ∷ Type → Type Source # Methods from ∷ CompactTxOut → Rep CompactTxOut x Source # to ∷ Rep CompactTxOut x → CompactTxOut Source #
Show CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods showsPrec ∷ Int → CompactTxOut → ShowS Source # show ∷ CompactTxOut → String Source # showList ∷ [CompactTxOut] → ShowS Source #
FromCBOR CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods fromCBOR ∷ Decoder s CompactTxOut Source # label ∷ Proxy CompactTxOut → Text Source #
ToCBOR CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods toCBOR ∷ CompactTxOut → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy CompactTxOut → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxOut] → Size Source #
DecCBOR CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods decCBOR ∷ Decoder s CompactTxOut Source # dropCBOR ∷ Proxy CompactTxOut → Decoder s () Source # label ∷ Proxy CompactTxOut → Text Source #
EncCBOR CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods encCBOR ∷ CompactTxOut → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CompactTxOut → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [CompactTxOut] → Size Source #
NFData CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods rnf ∷ CompactTxOut → () Source #
Eq CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods (==) ∷ CompactTxOut → CompactTxOut → Bool Source # (/=) ∷ CompactTxOut → CompactTxOut → Bool Source #
Ord CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods compare ∷ CompactTxOut → CompactTxOut → Ordering Source # (<) ∷ CompactTxOut → CompactTxOut → Bool Source # (<=) ∷ CompactTxOut → CompactTxOut → Bool Source # (>) ∷ CompactTxOut → CompactTxOut → Bool Source # (>=) ∷ CompactTxOut → CompactTxOut → Bool Source # max ∷ CompactTxOut → CompactTxOut → CompactTxOut Source # min ∷ CompactTxOut → CompactTxOut → CompactTxOut Source #
HeapWords CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods heapWords ∷ CompactTxOut → Int Source #
NoThunks CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods noThunks ∷ Context → CompactTxOut → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CompactTxOut → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CompactTxOut → String Source #
type Rep CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact type Rep CompactTxOut = D1 ('MetaData "CompactTxOut" "Cardano.Chain.UTxO.Compact" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "CompactTxOut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddress) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Lovelace)))

toCompactTxOut ∷ TxOut → CompactTxOut Source #

fromCompactTxOut ∷ CompactTxOut → TxOut Source #