Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.Tx.In

Contents

Transaction input
- Transaction ID
- Transaction index

Synopsis

data TxIn c = TxIn !(TxId c) !TxIx
newtype TxId c = TxId {
- unTxId :: SafeHash c EraIndependentTxBody
}
mkTxInPartial :: HasCallStack => TxId c -> Integer -> TxIn c
data TxIx
mkTxIx :: Word16 -> TxIx
txIxToInt :: TxIx -> Int
txIxFromIntegral :: Integral a => a -> Maybe TxIx
mkTxIxPartial :: HasCallStack => Integer -> TxIx

Transaction input

data TxIn c #

Constructors

TxIn !(TxId c) !TxIx

Instances

Instances details

Crypto c => ToJSON (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Methods toJSON :: TxIn c -> Value toEncoding :: TxIn c -> Encoding toJSONList :: [TxIn c] -> Value toEncodingList :: [TxIn c] -> Encoding omitField :: TxIn c -> Bool
Crypto c => ToJSONKey (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Methods toJSONKey :: ToJSONKeyFunction (TxIn c) toJSONKeyList :: ToJSONKeyFunction [TxIn c]
Generic (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Associated Types type Rep (TxIn c) :: Type -> Type Source # Methods from :: TxIn c -> Rep (TxIn c) x Source # to :: Rep (TxIn c) x -> TxIn c Source #
Show (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec :: Int -> TxIn c -> ShowS Source # show :: TxIn c -> String Source # showList :: [TxIn c] -> ShowS Source #
Crypto c => DecCBOR (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Methods decCBOR :: Decoder s (TxIn c) dropCBOR :: Proxy (TxIn c) -> Decoder s () label :: Proxy (TxIn c) -> Text
Crypto c => EncCBOR (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Methods encCBOR :: TxIn c -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (TxIn c) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [TxIn c] -> Size
Crypto c => NFData (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Methods rnf :: TxIn c -> () Source #
Eq (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Methods (==) :: TxIn c -> TxIn c -> Bool Source # (/=) :: TxIn c -> TxIn c -> Bool Source #
Ord (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Methods compare :: TxIn c -> TxIn c -> Ordering Source # (<) :: TxIn c -> TxIn c -> Bool Source # (<=) :: TxIn c -> TxIn c -> Bool Source # (>) :: TxIn c -> TxIn c -> Bool Source # (>=) :: TxIn c -> TxIn c -> Bool Source # max :: TxIn c -> TxIn c -> TxIn c Source # min :: TxIn c -> TxIn c -> TxIn c Source #
Crypto c => HeapWords (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Methods heapWords :: TxIn c -> Int
NoThunks (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Methods noThunks :: Context -> TxIn c -> IO (Maybe ThunkInfo) wNoThunks :: Context -> TxIn c -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (TxIn c) -> String
ToExpr (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn Methods toExpr :: TxIn c -> Expr listToExpr :: [TxIn c] -> Expr
type Rep (TxIn c)
Instance details Defined in Cardano.Ledger.TxIn type Rep (TxIn c) = D1 ('MetaData "TxIn" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.9.0.0-1dQ7WLDbkZc8aXLEpNIvOr" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 TxIx)))

Transaction ID

newtype TxId c #

Constructors

TxId
Fields unTxId :: SafeHash c EraIndependentTxBody

Instances

Instances details

Crypto c => FromJSON (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods parseJSON :: Value -> Parser (TxId c) parseJSONList :: Value -> Parser [TxId c] omittedField :: Maybe (TxId c)
Crypto c => ToJSON (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods toJSON :: TxId c -> Value toEncoding :: TxId c -> Encoding toJSONList :: [TxId c] -> Value toEncodingList :: [TxId c] -> Encoding omitField :: TxId c -> Bool
Generic (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Associated Types type Rep (TxId c) :: Type -> Type Source # Methods from :: TxId c -> Rep (TxId c) x Source # to :: Rep (TxId c) x -> TxId c Source #
Show (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods showsPrec :: Int -> TxId c -> ShowS Source # show :: TxId c -> String Source # showList :: [TxId c] -> ShowS Source #
Crypto c => DecCBOR (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods decCBOR :: Decoder s (TxId c) dropCBOR :: Proxy (TxId c) -> Decoder s () label :: Proxy (TxId c) -> Text
Crypto c => EncCBOR (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods encCBOR :: TxId c -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (TxId c) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [TxId c] -> Size
Crypto c => NFData (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods rnf :: TxId c -> () Source #
Eq (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods (==) :: TxId c -> TxId c -> Bool Source # (/=) :: TxId c -> TxId c -> Bool Source #
Ord (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods compare :: TxId c -> TxId c -> Ordering Source # (<) :: TxId c -> TxId c -> Bool Source # (<=) :: TxId c -> TxId c -> Bool Source # (>) :: TxId c -> TxId c -> Bool Source # (>=) :: TxId c -> TxId c -> Bool Source # max :: TxId c -> TxId c -> TxId c Source # min :: TxId c -> TxId c -> TxId c Source #
Crypto c => HeapWords (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods heapWords :: TxId c -> Int
NoThunks (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods noThunks :: Context -> TxId c -> IO (Maybe ThunkInfo) wNoThunks :: Context -> TxId c -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (TxId c) -> String
ToExpr (TxId c)
Instance details Defined in Cardano.Ledger.TxIn Methods toExpr :: TxId c -> Expr listToExpr :: [TxId c] -> Expr
type Rep (TxId c)
Instance details Defined in Cardano.Ledger.TxIn type Rep (TxId c) = D1 ('MetaData "TxId" "Cardano.Ledger.TxIn" "cardano-ledger-core-1.9.0.0-1dQ7WLDbkZc8aXLEpNIvOr" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash c EraIndependentTxBody))))

mkTxInPartial :: HasCallStack => TxId c -> Integer -> TxIn c #

Transaction index

data TxIx #

Instances

Instances details

ToJSON TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON :: TxIx -> Value toEncoding :: TxIx -> Encoding toJSONList :: [TxIx] -> Value toEncodingList :: [TxIx] -> Encoding omitField :: TxIx -> Bool
Bounded TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound :: TxIx Source # maxBound :: TxIx Source #
Enum TxIx
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 #
Generic TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep TxIx :: Type -> Type Source # Methods from :: TxIx -> Rep TxIx x Source # to :: Rep TxIx x -> TxIx Source #
Show TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> TxIx -> ShowS Source # show :: TxIx -> String Source # showList :: [TxIx] -> ShowS Source #
FromCBOR TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s TxIx label :: Proxy TxIx -> Text
ToCBOR TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: TxIx -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy TxIx -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [TxIx] -> Size
DecCBOR TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods decCBOR :: Decoder s TxIx dropCBOR :: Proxy TxIx -> Decoder s () label :: Proxy TxIx -> Text
EncCBOR TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods encCBOR :: TxIx -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy TxIx -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [TxIx] -> Size
NFData TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: TxIx -> () Source #
Eq TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: TxIx -> TxIx -> Bool Source # (/=) :: TxIx -> TxIx -> Bool Source #
Ord TxIx
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 #
NoThunks TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> TxIx -> IO (Maybe ThunkInfo) wNoThunks :: Context -> TxIx -> IO (Maybe ThunkInfo) showTypeOf :: Proxy TxIx -> String
ToExpr TxIx
Instance details Defined in Cardano.Ledger.BaseTypes Methods toExpr :: TxIx -> Expr listToExpr :: [TxIx] -> Expr
type Rep TxIx
Instance details Defined in Cardano.Ledger.BaseTypes type Rep TxIx = D1 ('MetaData "TxIx" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.9.0.0-1dQ7WLDbkZc8aXLEpNIvOr" 'True) (C1 ('MetaCons "TxIx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

mkTxIx :: Word16 -> TxIx #

txIxToInt :: TxIx -> Int #

txIxFromIntegral :: Integral a => a -> Maybe TxIx #

mkTxIxPartial :: HasCallStack => Integer -> TxIx #