Safe Haskell	None
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

Eq TxValidationMode Source #
Instance details Defined in Cardano.Chain.UTxO.ValidationMode Methods (==) :: TxValidationMode -> TxValidationMode -> Bool Source # (/=) :: TxValidationMode -> TxValidationMode -> Bool Source #
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 #

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

Eq UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration Methods (==) :: UTxOConfiguration -> UTxOConfiguration -> Bool Source # (/=) :: UTxOConfiguration -> UTxOConfiguration -> Bool 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 #
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 #
ToCBOR UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration Methods toCBOR :: UTxOConfiguration -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy UTxOConfiguration -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ UTxOConfiguration ] -> Size Source #
FromCBOR UTxOConfiguration Source #
Instance details Defined in Cardano.Chain.UTxO.UTxOConfiguration Methods fromCBOR :: Decoder s UTxOConfiguration Source # label :: Proxy UTxOConfiguration -> Text 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

Eq TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods (==) :: TxInWitness -> TxInWitness -> Bool Source # (/=) :: TxInWitness -> TxInWitness -> Bool 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 #
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 #
NFData TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods rnf :: TxInWitness -> () Source #
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 #
ToCBOR TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods toCBOR :: TxInWitness -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy TxInWitness -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxInWitness ] -> Size Source #
FromCBOR TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods fromCBOR :: Decoder s TxInWitness Source # label :: Proxy TxInWitness -> Text Source #
Buildable TxInWitness Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods build :: TxInWitness -> Builder 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

Eq TxSigData Source #
Instance details Defined in Cardano.Chain.UTxO.TxWitness Methods (==) :: TxSigData -> TxSigData -> Bool Source # (/=) :: TxSigData -> TxSigData -> Bool 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 #
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 #
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 #
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 Methods fromCBOR :: Decoder s TxSigData Source # label :: Proxy TxSigData -> Text 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

Eq TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods (==) :: TxProof -> TxProof -> Bool Source # (/=) :: TxProof -> TxProof -> Bool 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 #
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 #
NFData TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods rnf :: TxProof -> () Source #
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 #
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 Methods fromCBOR :: Decoder s TxProof Source # label :: Proxy TxProof -> Text Source #
Buildable TxProof Source #
Instance details Defined in Cardano.Chain.UTxO.TxProof Methods build :: TxProof -> Builder 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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 #
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 Methods fromCBOR :: Decoder s TxPayload Source # label :: Proxy TxPayload -> Text 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 #
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 #
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 #
NFData a => NFData ( ATxPayload a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxPayload Methods rnf :: ATxPayload a -> () 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 #
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 #
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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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 #
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 Methods fromCBOR :: Decoder s TxAux Source # label :: Proxy TxAux -> Text Source #
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 Source # (/=) :: ATxAux a -> ATxAux a -> Bool 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 #
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 #
NFData a => NFData ( ATxAux a) Source #
Instance details Defined in Cardano.Chain.UTxO.TxAux Methods rnf :: ATxAux a -> () 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 #
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 #
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 #
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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

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 #
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 #
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 #
NFData Tx Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods rnf :: Tx -> () Source #
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 #
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 Methods fromCBOR :: Decoder s Tx Source # label :: Proxy Tx -> Text Source #
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-byron-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

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 #
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 #
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 #
NFData TxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods rnf :: TxIn -> () Source #
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 #
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 Methods fromCBOR :: Decoder s TxIn Source # label :: Proxy TxIn -> Text Source #
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-byron-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

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 #
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 #
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 #
NFData TxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Tx Methods rnf :: TxOut -> () Source #
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 #
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 Methods fromCBOR :: Decoder s TxOut Source # label :: Proxy TxOut -> Text Source #
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-byron-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

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 #
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 #
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 #
NFData CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods rnf :: CompactTxIn -> () Source #
ToCBOR CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods toCBOR :: CompactTxIn -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy CompactTxIn -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CompactTxIn ] -> Size Source #
FromCBOR CompactTxIn Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods fromCBOR :: Decoder s CompactTxIn Source # label :: Proxy CompactTxIn -> Text 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

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 #
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 #
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 #
NFData CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods rnf :: CompactTxId -> () Source #
ToCBOR CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods toCBOR :: CompactTxId -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy CompactTxId -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CompactTxId ] -> Size Source #
FromCBOR CompactTxId Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods fromCBOR :: Decoder s CompactTxId Source # label :: Proxy CompactTxId -> Text 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

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 #
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 #
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 #
NFData CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods rnf :: CompactTxOut -> () Source #
ToCBOR CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods toCBOR :: CompactTxOut -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy CompactTxOut -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CompactTxOut ] -> Size Source #
FromCBOR CompactTxOut Source #
Instance details Defined in Cardano.Chain.UTxO.Compact Methods fromCBOR :: Decoder s CompactTxOut Source # label :: Proxy CompactTxOut -> Text 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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 #