Copyright	No rights reserved
License	MIT
Maintainer	jprupp@protonmail.ch
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Haskoin.Transaction.Common

Contents

Transactions

Description

Code related to transactions parsing and serialization.

Synopsis

data Tx = Tx {
- version :: !Word32
- inputs :: ![TxIn]
- outputs :: ![TxOut]
- witness :: !WitnessData
- locktime :: !Word32
}
data TxIn = TxIn {
- outpoint :: !OutPoint
- script :: !ByteString
- sequence :: !Word32
}
data TxOut = TxOut {
- value :: !Word64
- script :: !ByteString
}
data OutPoint = OutPoint {
- hash :: !TxHash
- index :: !Word32
}
newtype TxHash = TxHash {
- get :: Hash256
}
type WitnessData = [WitnessStack]
type WitnessStack = [WitnessStackItem]
type WitnessStackItem = ByteString
txHash :: Tx -> TxHash
hexToTxHash :: Text -> Maybe TxHash
txHashToHex :: TxHash -> Text
nosigTxHash :: Tx -> TxHash
nullOutPoint :: OutPoint

Transactions

data Tx Source #

Data type representing a transaction.

Constructors

Tx
Fields version :: !Word32 transaction data format version inputs :: ![TxIn] list of transaction inputs outputs :: ![TxOut] list of transaction outputs witness :: !WitnessData witness data for the transaction locktime :: !Word32 earliest mining height or time

Instances

Instances details

FromJSON Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

parseJSON :: Value -> Parser Tx #

parseJSONList :: Value -> Parser [Tx] #

omittedField :: Maybe Tx #

ToJSON Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

toJSON :: Tx -> Value #

toEncoding :: Tx -> Encoding #

toJSONList :: [Tx] -> Value #

toEncodingList :: [Tx] -> Encoding #

omitField :: Tx -> Bool #

IsString Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

fromString :: String -> Tx #

Generic Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Associated Types

type Rep Tx

Instance details

Defined in Haskoin.Transaction.Common

type Rep Tx = D1 ('MetaData "Tx" "Haskoin.Transaction.Common" "haskoin-core-1.2.2-IqsPTB3lyDG9ChtLlvwlSX" 'False) (C1 ('MetaCons "Tx" 'PrefixI 'True) ((S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "inputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxIn])) :*: (S1 ('MetaSel ('Just "outputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut]) :*: (S1 ('MetaSel ('Just "witness") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WitnessData) :*: S1 ('MetaSel ('Just "locktime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)))))

Methods

from :: Tx -> Rep Tx x #

to :: Rep Tx x -> Tx #

Read Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

readsPrec :: Int -> ReadS Tx #

readList :: ReadS [Tx] #

readPrec :: ReadPrec Tx #

readListPrec :: ReadPrec [Tx] #

Show Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

showsPrec :: Int -> Tx -> ShowS #

show :: Tx -> String #

showList :: [Tx] -> ShowS #

Binary Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

put :: Tx -> Put #

get :: Get Tx #

putList :: [Tx] -> Put #

Serial Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

serialize :: MonadPut m => Tx -> m () #

deserialize :: MonadGet m => m Tx #

Serialize Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

put :: Putter Tx #

get :: Get Tx #

NFData Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

rnf :: Tx -> () #

Eq Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

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

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

Ord Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

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 #

Hashable Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

hashWithSalt :: Int -> Tx -> Int #

hash :: Tx -> Int #

type Rep Tx Source #

Instance details

Defined in Haskoin.Transaction.Common

type Rep Tx = D1 ('MetaData "Tx" "Haskoin.Transaction.Common" "haskoin-core-1.2.2-IqsPTB3lyDG9ChtLlvwlSX" 'False) (C1 ('MetaCons "Tx" 'PrefixI 'True) ((S1 ('MetaSel ('Just "version") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32) :*: S1 ('MetaSel ('Just "inputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxIn])) :*: (S1 ('MetaSel ('Just "outputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [TxOut]) :*: (S1 ('MetaSel ('Just "witness") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 WitnessData) :*: S1 ('MetaSel ('Just "locktime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)))))

data TxIn Source #

Data type representing a transaction input.

Constructors

TxIn
Fields outpoint :: !OutPoint output being spent script :: !ByteString signatures and redeem script sequence :: !Word32 lock-time using sequence numbers (BIP-68)

Instances

Instances details

FromJSON TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

parseJSON :: Value -> Parser TxIn #

parseJSONList :: Value -> Parser [TxIn] #

omittedField :: Maybe TxIn #

ToJSON TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

toJSON :: TxIn -> Value #

toEncoding :: TxIn -> Encoding #

toJSONList :: [TxIn] -> Value #

toEncodingList :: [TxIn] -> Encoding #

omitField :: TxIn -> Bool #

Generic TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

Associated Types

type Rep TxIn

Instance details

Defined in Haskoin.Transaction.Common

type Rep TxIn = D1 ('MetaData "TxIn" "Haskoin.Transaction.Common" "haskoin-core-1.2.2-IqsPTB3lyDG9ChtLlvwlSX" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'True) (S1 ('MetaSel ('Just "outpoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OutPoint) :*: (S1 ('MetaSel ('Just "script") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "sequence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32))))

Methods

from :: TxIn -> Rep TxIn x #

to :: Rep TxIn x -> TxIn #

Read TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

readsPrec :: Int -> ReadS TxIn #

readList :: ReadS [TxIn] #

readPrec :: ReadPrec TxIn #

readListPrec :: ReadPrec [TxIn] #

Show TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

showsPrec :: Int -> TxIn -> ShowS #

show :: TxIn -> String #

showList :: [TxIn] -> ShowS #

Binary TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

put :: TxIn -> Put #

get :: Get TxIn #

putList :: [TxIn] -> Put #

Serial TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

serialize :: MonadPut m => TxIn -> m () #

deserialize :: MonadGet m => m TxIn #

Serialize TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

put :: Putter TxIn #

get :: Get TxIn #

NFData TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

rnf :: TxIn -> () #

Eq TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

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

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

Ord TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

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 #

Hashable TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

hashWithSalt :: Int -> TxIn -> Int #

hash :: TxIn -> Int #

type Rep TxIn Source #

Instance details

Defined in Haskoin.Transaction.Common

type Rep TxIn = D1 ('MetaData "TxIn" "Haskoin.Transaction.Common" "haskoin-core-1.2.2-IqsPTB3lyDG9ChtLlvwlSX" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'True) (S1 ('MetaSel ('Just "outpoint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 OutPoint) :*: (S1 ('MetaSel ('Just "script") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString) :*: S1 ('MetaSel ('Just "sequence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32))))

data TxOut Source #

Data type representing a transaction output.

Constructors

TxOut
Fields value :: !Word64 value of output is satoshi script :: !ByteString pubkey script

Instances

Instances details

FromJSON TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

parseJSON :: Value -> Parser TxOut #

parseJSONList :: Value -> Parser [TxOut] #

omittedField :: Maybe TxOut #

ToJSON TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

toJSON :: TxOut -> Value #

toEncoding :: TxOut -> Encoding #

toJSONList :: [TxOut] -> Value #

toEncodingList :: [TxOut] -> Encoding #

omitField :: TxOut -> Bool #

Generic TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

Associated Types

type Rep TxOut

Instance details

Defined in Haskoin.Transaction.Common

type Rep TxOut = D1 ('MetaData "TxOut" "Haskoin.Transaction.Common" "haskoin-core-1.2.2-IqsPTB3lyDG9ChtLlvwlSX" 'False) (C1 ('MetaCons "TxOut" 'PrefixI 'True) (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "script") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

Methods

from :: TxOut -> Rep TxOut x #

to :: Rep TxOut x -> TxOut #

Read TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

readsPrec :: Int -> ReadS TxOut #

readList :: ReadS [TxOut] #

readPrec :: ReadPrec TxOut #

readListPrec :: ReadPrec [TxOut] #

Show TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

showsPrec :: Int -> TxOut -> ShowS #

show :: TxOut -> String #

showList :: [TxOut] -> ShowS #

Binary TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

put :: TxOut -> Put #

get :: Get TxOut #

putList :: [TxOut] -> Put #

Serial TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

serialize :: MonadPut m => TxOut -> m () #

deserialize :: MonadGet m => m TxOut #

Serialize TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

put :: Putter TxOut #

get :: Get TxOut #

NFData TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

rnf :: TxOut -> () #

Eq TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

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

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

Ord TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

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 #

Hashable TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

hashWithSalt :: Int -> TxOut -> Int #

hash :: TxOut -> Int #

type Rep TxOut Source #

Instance details

Defined in Haskoin.Transaction.Common

type Rep TxOut = D1 ('MetaData "TxOut" "Haskoin.Transaction.Common" "haskoin-core-1.2.2-IqsPTB3lyDG9ChtLlvwlSX" 'False) (C1 ('MetaCons "TxOut" 'PrefixI 'True) (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "script") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

data OutPoint Source #

The OutPoint refers to a transaction output being spent.

Constructors

OutPoint
Fields hash :: !TxHash hash of previous transaction index :: !Word32 position of output in previous transaction

Instances

Instances details

FromJSON OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

parseJSON :: Value -> Parser OutPoint #

parseJSONList :: Value -> Parser [OutPoint] #

omittedField :: Maybe OutPoint #

ToJSON OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

toJSON :: OutPoint -> Value #

toEncoding :: OutPoint -> Encoding #

toJSONList :: [OutPoint] -> Value #

toEncodingList :: [OutPoint] -> Encoding #

omitField :: OutPoint -> Bool #

Generic OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Associated Types

type Rep OutPoint

Instance details

Defined in Haskoin.Transaction.Common

type Rep OutPoint = D1 ('MetaData "OutPoint" "Haskoin.Transaction.Common" "haskoin-core-1.2.2-IqsPTB3lyDG9ChtLlvwlSX" 'False) (C1 ('MetaCons "OutPoint" 'PrefixI 'True) (S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxHash) :*: S1 ('MetaSel ('Just "index") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)))

Methods

from :: OutPoint -> Rep OutPoint x #

to :: Rep OutPoint x -> OutPoint #

Read OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

readsPrec :: Int -> ReadS OutPoint #

readList :: ReadS [OutPoint] #

readPrec :: ReadPrec OutPoint #

readListPrec :: ReadPrec [OutPoint] #

Show OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

showsPrec :: Int -> OutPoint -> ShowS #

show :: OutPoint -> String #

showList :: [OutPoint] -> ShowS #

Binary OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

put :: OutPoint -> Put #

get :: Get OutPoint #

putList :: [OutPoint] -> Put #

Serial OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

serialize :: MonadPut m => OutPoint -> m () #

deserialize :: MonadGet m => m OutPoint #

Serialize OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

put :: Putter OutPoint #

get :: Get OutPoint #

NFData OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

rnf :: OutPoint -> () #

Eq OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

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

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

Ord OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

compare :: OutPoint -> OutPoint -> Ordering #

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

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

(>) :: OutPoint -> OutPoint -> Bool #

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

max :: OutPoint -> OutPoint -> OutPoint #

min :: OutPoint -> OutPoint -> OutPoint #

Hashable OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

hashWithSalt :: Int -> OutPoint -> Int #

hash :: OutPoint -> Int #

type Rep OutPoint Source #

Instance details

Defined in Haskoin.Transaction.Common

type Rep OutPoint = D1 ('MetaData "OutPoint" "Haskoin.Transaction.Common" "haskoin-core-1.2.2-IqsPTB3lyDG9ChtLlvwlSX" 'False) (C1 ('MetaCons "OutPoint" 'PrefixI 'True) (S1 ('MetaSel ('Just "hash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxHash) :*: S1 ('MetaSel ('Just "index") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word32)))

newtype TxHash Source #

Transaction id: hash of transaction excluding witness data.

Constructors

TxHash
Fields get :: Hash256

Instances

Instances details

FromJSON TxHash Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

parseJSON :: Value -> Parser TxHash #

parseJSONList :: Value -> Parser [TxHash] #

omittedField :: Maybe TxHash #

ToJSON TxHash Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

toJSON :: TxHash -> Value #

toEncoding :: TxHash -> Encoding #

toJSONList :: [TxHash] -> Value #

toEncodingList :: [TxHash] -> Encoding #

omitField :: TxHash -> Bool #

IsString TxHash Source #

Instance details

Defined in Haskoin.Transaction.Common

Methods

fromString :: String -> TxHash #

Generic TxHash Source #

Instance details

Defined in Haskoin.Transaction.Common

Associated Types

type Rep TxHash
Instance details Defined in Haskoin.Transaction.Common type Rep TxHash = D1 ('MetaData "TxHash" "Haskoin.Transaction.Common" "haskoin-core-1.2.2-IqsPTB3lyDG9ChtLlvwlSX" 'True) (C1 ('MetaCons "TxHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "get") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash256)))