Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.TxIn

Synopsis

newtype TxId crypto = TxId {
- _unTxId :: SafeHash crypto EraIndependentTxBody
}
data TxIn crypto = TxIn !( TxId crypto) ! TxIx
mkTxInPartial :: HasCallStack => TxId crypto -> Integer -> TxIn crypto
data TxIx
txid :: forall era c. ( HashAlgorithm ( HASH c), HashAnnotated ( TxBody era) EraIndependentTxBody c) => TxBody era -> TxId c

Documentation

newtype TxId crypto Source #

A unique ID of a transaction, which is computable from the transaction.

Constructors

TxId
Fields _unTxId :: SafeHash crypto EraIndependentTxBody

Instances

Instances details

Eq ( TxId crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods (==) :: TxId crypto -> TxId crypto -> Bool Source # (/=) :: TxId crypto -> TxId crypto -> Bool Source #
Ord ( TxId crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods compare :: TxId crypto -> TxId crypto -> Ordering Source # (<) :: TxId crypto -> TxId crypto -> Bool Source # (<=) :: TxId crypto -> TxId crypto -> Bool Source # (>) :: TxId crypto -> TxId crypto -> Bool Source # (>=) :: TxId crypto -> TxId crypto -> Bool Source # max :: TxId crypto -> TxId crypto -> TxId crypto Source # min :: TxId crypto -> TxId crypto -> TxId crypto Source #
Show ( TxId crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec :: Int -> TxId crypto -> ShowS Source # show :: TxId crypto -> String Source # showList :: [ TxId crypto] -> ShowS Source #
Generic ( TxId crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Associated Types type Rep ( TxId crypto) :: Type -> Type Source # Methods from :: TxId crypto -> Rep ( TxId crypto) x Source # to :: Rep ( TxId crypto) x -> TxId crypto Source #
Crypto crypto => NFData ( TxId crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods rnf :: TxId crypto -> () Source #
Crypto crypto => ToCBOR ( TxId crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods toCBOR :: TxId crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxId crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxId crypto] -> Size Source #
Crypto crypto => FromCBOR ( TxId crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods fromCBOR :: Decoder s ( TxId crypto) Source # label :: Proxy ( TxId crypto) -> Text Source #
HeapWords ( TxId crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods heapWords :: TxId crypto -> Int Source #
NoThunks ( TxId crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods noThunks :: Context -> TxId crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxId crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxId crypto) -> String Source #
type Rep ( TxId crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn type Rep ( TxId crypto) = D1 (' MetaData "TxId" "Cardano.Ledger.TxIn" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "TxId" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_unTxId") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( SafeHash crypto EraIndependentTxBody ))))

data TxIn crypto Source #

The input of a UTxO.

Constructors

TxIn !( TxId crypto) ! TxIx

Instances

Instances details

Eq ( TxIn crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods (==) :: TxIn crypto -> TxIn crypto -> Bool Source # (/=) :: TxIn crypto -> TxIn crypto -> Bool Source #
Ord ( TxIn crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods compare :: TxIn crypto -> TxIn crypto -> Ordering Source # (<) :: TxIn crypto -> TxIn crypto -> Bool Source # (<=) :: TxIn crypto -> TxIn crypto -> Bool Source # (>) :: TxIn crypto -> TxIn crypto -> Bool Source # (>=) :: TxIn crypto -> TxIn crypto -> Bool Source # max :: TxIn crypto -> TxIn crypto -> TxIn crypto Source # min :: TxIn crypto -> TxIn crypto -> TxIn crypto Source #
Show ( TxIn crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec :: Int -> TxIn crypto -> ShowS Source # show :: TxIn crypto -> String Source # showList :: [ TxIn crypto] -> ShowS Source #
Generic ( TxIn crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Associated Types type Rep ( TxIn crypto) :: Type -> Type Source # Methods from :: TxIn crypto -> Rep ( TxIn crypto) x Source # to :: Rep ( TxIn crypto) x -> TxIn crypto Source #
Crypto crypto => NFData ( TxIn crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods rnf :: TxIn crypto -> () Source #
Crypto crypto => ToCBOR ( TxIn crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods toCBOR :: TxIn crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxIn crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxIn crypto] -> Size Source #
Crypto crypto => FromCBOR ( TxIn crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods fromCBOR :: Decoder s ( TxIn crypto) Source # label :: Proxy ( TxIn crypto) -> Text Source #
Crypto crypto => HeapWords ( TxIn crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods heapWords :: TxIn crypto -> Int Source #
NoThunks ( TxIn crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn Methods noThunks :: Context -> TxIn crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxIn crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxIn crypto) -> String Source #
type Rep ( TxIn crypto) Source #
Instance details Defined in Cardano.Ledger.TxIn type Rep ( TxIn crypto) = D1 (' MetaData "TxIn" "Cardano.Ledger.TxIn" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "TxIn" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( TxId crypto)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' SourceUnpack ' SourceStrict ' DecidedStrict ) ( Rec0 TxIx )))

mkTxInPartial :: HasCallStack => TxId crypto -> Integer -> TxIn crypto Source #

Construct TxIn while throwing an error for an out of range TxIx . Make sure to use it only for testing.

data TxIx Source #

Transaction index.

Instances

Instances details

Bounded TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound :: TxIx Source # maxBound :: TxIx Source #
Enum TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods succ :: TxIx -> TxIx Source # pred :: TxIx -> TxIx Source # toEnum :: Int -> TxIx Source # fromEnum :: TxIx -> Int Source # enumFrom :: TxIx -> [ TxIx ] Source # enumFromThen :: TxIx -> TxIx -> [ TxIx ] Source # enumFromTo :: TxIx -> TxIx -> [ TxIx ] Source # enumFromThenTo :: TxIx -> TxIx -> TxIx -> [ TxIx ] Source #
Eq TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: TxIx -> TxIx -> Bool Source # (/=) :: TxIx -> TxIx -> Bool Source #
Ord TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: TxIx -> TxIx -> Ordering Source # (<) :: TxIx -> TxIx -> Bool Source # (<=) :: TxIx -> TxIx -> Bool Source # (>) :: TxIx -> TxIx -> Bool Source # (>=) :: TxIx -> TxIx -> Bool Source # max :: TxIx -> TxIx -> TxIx Source # min :: TxIx -> TxIx -> TxIx Source #
Show TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> TxIx -> ShowS Source # show :: TxIx -> String Source # showList :: [ TxIx ] -> ShowS Source #
NFData TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: TxIx -> () Source #
ToCBOR TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: TxIx -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy TxIx -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxIx ] -> Size Source #
FromCBOR TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s TxIx Source # label :: Proxy TxIx -> Text Source #
NoThunks TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> TxIx -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxIx -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy TxIx -> String Source #

txid :: forall era c. ( HashAlgorithm ( HASH c), HashAnnotated ( TxBody era) EraIndependentTxBody c) => TxBody era -> TxId c Source #

Compute the id of a transaction.