cardano-ledger-0.1.0.0: The blockchain layer of Cardano
Safe HaskellNone
LanguageHaskell2010

Cardano.Chain.UTxO

Synopsis

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.

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

Defined in Cardano.Chain.UTxO.TxWitness

Show TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Generic TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Associated Types

type Rep TxInWitness :: Type -> Type #

NFData TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

rnf :: TxInWitness -> () #

ToJSON TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

ToCBOR TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

FromCBOR TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Buildable TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

type Rep TxInWitness Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

newtype TxSigData Source #

Data that is being signed when creating a TxSig

Constructors

TxSigData 

Fields

Instances

Instances details
Eq TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Show TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Generic TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Associated Types

type Rep TxSigData :: Type -> Type #

ToJSON TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

ToCBOR TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

Methods

toCBOR :: TxSigData -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxSigData -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxSigData] -> Size Source #

FromCBOR TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

type Rep TxSigData Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxWitness

type Rep TxSigData = D1 ('MetaData "TxSigData" "Cardano.Chain.UTxO.TxWitness" "cardano-ledger-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" 'True) (C1 ('MetaCons "TxSigData" 'PrefixI 'True) (S1 ('MetaSel ('Just "txSigTxHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Tx))))

data TxProof Source #

Constructors

TxProof 

Instances

Instances details
Eq TxProof Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

Methods

(==) :: TxProof -> TxProof -> Bool #

(/=) :: TxProof -> TxProof -> Bool #

Show TxProof Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

Generic TxProof Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

Associated Types

type Rep TxProof :: Type -> Type #

Methods

from :: TxProof -> Rep TxProof x #

to :: Rep TxProof x -> TxProof #

NFData TxProof Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

Methods

rnf :: TxProof -> () #

ToJSON TxProof Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

ToCBOR TxProof Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

Methods

toCBOR :: TxProof -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxProof -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxProof] -> Size Source #

FromCBOR TxProof Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

Buildable TxProof Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

NoThunks TxProof Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

type Rep TxProof Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxProof

type Rep TxProof = D1 ('MetaData "TxProof" "Cardano.Chain.UTxO.TxProof" "cardano-ledger-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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.

data UTxOConfiguration Source #

Additional configuration for ledger validation.

Constructors

UTxOConfiguration 

Fields

type TxPayload = ATxPayload () Source #

Payload of UTxO component which is part of the block body

newtype ATxPayload a Source #

Constructors

ATxPayload 

Fields

Instances

Instances details
Functor ATxPayload Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

Methods

fmap :: (a -> b) -> ATxPayload a -> ATxPayload b #

(<$) :: a -> ATxPayload b -> ATxPayload a #

ToCBOR TxPayload Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

Methods

toCBOR :: TxPayload -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxPayload -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxPayload] -> Size Source #

FromCBOR TxPayload Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

Eq a => Eq (ATxPayload a) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

Methods

(==) :: ATxPayload a -> ATxPayload a -> Bool #

(/=) :: ATxPayload a -> ATxPayload a -> Bool #

Show a => Show (ATxPayload a) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

Generic (ATxPayload a) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

Associated Types

type Rep (ATxPayload a) :: Type -> Type #

Methods

from :: ATxPayload a -> Rep (ATxPayload a) x #

to :: Rep (ATxPayload a) x -> ATxPayload a #

NFData a => NFData (ATxPayload a) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

Methods

rnf :: ATxPayload a -> () #

ToJSON a => ToJSON (ATxPayload a) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

FromCBOR (ATxPayload ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxPayload

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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" 'True) (C1 ('MetaCons "ATxPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "aUnTxPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ATxAux a])))

type TxAux = ATxAux () Source #

Transaction + auxiliary data

data ATxAux a Source #

Constructors

ATxAux 

Fields

Instances

Instances details
Functor ATxAux Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

fmap :: (a -> b) -> ATxAux a -> ATxAux b #

(<$) :: a -> ATxAux b -> ATxAux a #

ToCBOR TxAux Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

toCBOR :: TxAux -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxAux -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxAux] -> Size Source #

FromCBOR TxAux Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Buildable TxAux Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

build :: TxAux -> Builder Source #

Eq a => Eq (ATxAux a) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

(==) :: ATxAux a -> ATxAux a -> Bool #

(/=) :: ATxAux a -> ATxAux a -> Bool #

Show a => Show (ATxAux a) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

showsPrec :: Int -> ATxAux a -> ShowS #

show :: ATxAux a -> String #

showList :: [ATxAux a] -> ShowS #

Generic (ATxAux a) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Associated Types

type Rep (ATxAux a) :: Type -> Type #

Methods

from :: ATxAux a -> Rep (ATxAux a) x #

to :: Rep (ATxAux a) x -> ATxAux a #

NFData a => NFData (ATxAux a) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Methods

rnf :: ATxAux a -> () #

ToJSON a => ToJSON (ATxAux a) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Decoded (ATxAux ByteString) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

Associated Types

type BaseType (ATxAux ByteString) Source #

FromCBOR (ATxAux ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.UTxO.TxAux

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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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

txaF :: Format r (TxAux -> r) Source #

Specialized formatter for TxAux

data Tx Source #

Transaction

NB: transaction witnesses are stored separately

Constructors

UnsafeTx 

Fields

Instances

Instances details
Eq Tx Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

(==) :: Tx -> Tx -> Bool #

(/=) :: Tx -> Tx -> Bool #

Ord Tx Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

compare :: Tx -> Tx -> Ordering #

(<) :: Tx -> Tx -> Bool #

(<=) :: Tx -> Tx -> Bool #

(>) :: Tx -> Tx -> Bool #

(>=) :: Tx -> Tx -> Bool #

max :: Tx -> Tx -> Tx #

min :: Tx -> Tx -> Tx #

Show Tx Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

showsPrec :: Int -> Tx -> ShowS #

show :: Tx -> String #

showList :: [Tx] -> ShowS #

Generic Tx Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Associated Types

type Rep Tx :: Type -> Type #

Methods

from :: Tx -> Rep Tx x #

to :: Rep Tx x -> Tx #

NFData Tx Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

rnf :: Tx -> () #

ToJSON Tx Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

ToCBOR Tx Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

toCBOR :: Tx -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Tx -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Tx] -> Size Source #

FromCBOR Tx Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Buildable Tx Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

build :: Tx -> Builder 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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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 Word32

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

Instances

Instances details
Eq TxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

(==) :: TxIn -> TxIn -> Bool #

(/=) :: TxIn -> TxIn -> Bool #

Ord TxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

compare :: TxIn -> TxIn -> Ordering #

(<) :: TxIn -> TxIn -> Bool #

(<=) :: TxIn -> TxIn -> Bool #

(>) :: TxIn -> TxIn -> Bool #

(>=) :: TxIn -> TxIn -> Bool #

max :: TxIn -> TxIn -> TxIn #

min :: TxIn -> TxIn -> TxIn #

Show TxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

showsPrec :: Int -> TxIn -> ShowS #

show :: TxIn -> String #

showList :: [TxIn] -> ShowS #

Generic TxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Associated Types

type Rep TxIn :: Type -> Type #

Methods

from :: TxIn -> Rep TxIn x #

to :: Rep TxIn x -> TxIn #

NFData TxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

rnf :: TxIn -> () #

ToJSON TxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

ToCBOR TxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

toCBOR :: TxIn -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxIn -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxIn] -> Size Source #

FromCBOR TxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

HeapWords TxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

heapWords :: TxIn -> Int Source #

Buildable TxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

build :: TxIn -> Builder 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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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 Word32)))

data TxOut Source #

Transaction output

Constructors

TxOut 

Instances

Instances details
Eq TxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

(==) :: TxOut -> TxOut -> Bool #

(/=) :: TxOut -> TxOut -> Bool #

Ord TxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

compare :: TxOut -> TxOut -> Ordering #

(<) :: TxOut -> TxOut -> Bool #

(<=) :: TxOut -> TxOut -> Bool #

(>) :: TxOut -> TxOut -> Bool #

(>=) :: TxOut -> TxOut -> Bool #

max :: TxOut -> TxOut -> TxOut #

min :: TxOut -> TxOut -> TxOut #

Show TxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

showsPrec :: Int -> TxOut -> ShowS #

show :: TxOut -> String #

showList :: [TxOut] -> ShowS #

Generic TxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Associated Types

type Rep TxOut :: Type -> Type #

Methods

from :: TxOut -> Rep TxOut x #

to :: Rep TxOut x -> TxOut #

NFData TxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

rnf :: TxOut -> () #

ToJSON TxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

ToCBOR TxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

toCBOR :: TxOut -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxOut -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxOut] -> Size Source #

FromCBOR TxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

HeapWords TxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

heapWords :: TxOut -> Int Source #

Buildable TxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Tx

Methods

build :: TxOut -> Builder 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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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.

Instances

Instances details
Eq CompactTxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Ord CompactTxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Show CompactTxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Generic CompactTxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Associated Types

type Rep CompactTxIn :: Type -> Type #

NFData CompactTxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Methods

rnf :: CompactTxIn -> () #

ToCBOR CompactTxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

FromCBOR CompactTxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

HeapWords CompactTxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

NoThunks CompactTxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

type Rep CompactTxIn Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

type Rep CompactTxIn = D1 ('MetaData "CompactTxIn" "Cardano.Chain.UTxO.Compact" "cardano-ledger-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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 Word32)))

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

Defined in Cardano.Chain.UTxO.Compact

Ord CompactTxId Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Show CompactTxId Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Generic CompactTxId Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Associated Types

type Rep CompactTxId :: Type -> Type #

NFData CompactTxId Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Methods

rnf :: CompactTxId -> () #

ToCBOR CompactTxId Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

FromCBOR CompactTxId Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

HeapWords CompactTxId Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

NoThunks CompactTxId Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

type Rep CompactTxId Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

data CompactTxOut Source #

A compact in-memory representation for a TxOut.

Convert using toCompactTxOut and fromCompactTxOut.

Instances

Instances details
Eq CompactTxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Ord CompactTxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Show CompactTxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Generic CompactTxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Associated Types

type Rep CompactTxOut :: Type -> Type #

NFData CompactTxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

Methods

rnf :: CompactTxOut -> () #

ToCBOR CompactTxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

FromCBOR CompactTxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

HeapWords CompactTxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

NoThunks CompactTxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

type Rep CompactTxOut Source # 
Instance details

Defined in Cardano.Chain.UTxO.Compact

type Rep CompactTxOut = D1 ('MetaData "CompactTxOut" "Cardano.Chain.UTxO.Compact" "cardano-ledger-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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)))