Network.Ethereum.Web3.Types

Common used types and instances.

Documentation

newtype Web3 a b

Any communication with Ethereum node wrapped with Web3 monad

Constructors

Web3

Fields

• unWeb3 :: IO b

Instances

Monad (Web3 a)

Methods

(>>=) :: Web3 a a -> (a -> Web3 a b) -> Web3 a b

(>>) :: Web3 a a -> Web3 a b -> Web3 a b

return :: a -> Web3 a a

fail :: String -> Web3 a a

Functor (Web3 a)

Methods

fmap :: (a -> b) -> Web3 a a -> Web3 a b

(<$) :: a -> Web3 a b -> Web3 a a

Applicative (Web3 a)

Methods

pure :: a -> Web3 a a

(<*>) :: Web3 a (a -> b) -> Web3 a a -> Web3 a b

(*>) :: Web3 a a -> Web3 a b -> Web3 a b

(<*) :: Web3 a a -> Web3 a b -> Web3 a a

MonadIO (Web3 a)

Methods

liftIO :: IO a -> Web3 a a

data Web3Error

Some peace of error response

Constructors

JsonRpcFail !RpcError

JSON-RPC communication error

ParserFail !String

Error in parser state

UserFail !String

Common head for user errors

Instances

Eq Web3Error

Methods

(==) :: Web3Error -> Web3Error -> Bool

(/=) :: Web3Error -> Web3Error -> Bool

Show Web3Error

Methods

showsPrec :: Int -> Web3Error -> ShowS

show :: Web3Error -> String

showList :: [Web3Error] -> ShowS

Exception Web3Error

Methods

toException :: Web3Error -> SomeException

fromException :: SomeException -> Maybe Web3Error

displayException :: Web3Error -> String

data RpcError

JSON-RPC error message

Constructors

RpcError

Fields

• errCode :: !Int
• errMessage :: !Text
• errData :: !(Maybe Value)

Instances

Eq RpcError

Methods

(==) :: RpcError -> RpcError -> Bool

(/=) :: RpcError -> RpcError -> Bool

Show RpcError

Methods

showsPrec :: Int -> RpcError -> ShowS

show :: RpcError -> String

showList :: [RpcError] -> ShowS

ToJSON RpcError

Methods

toJSON :: RpcError -> Value

toEncoding :: RpcError -> Encoding

toJSONList :: [RpcError] -> Value

toEncodingList :: [RpcError] -> Encoding

FromJSON RpcError

Methods

parseJSON :: Value -> Parser RpcError

parseJSONList :: Value -> Parser [RpcError]

data Filter

Low-level event filter data structure

Constructors

Filter

Fields

• filterAddress :: !(Maybe Address)
• filterTopics :: !(Maybe [Maybe Text])
• filterFromBlock :: !(Maybe Text)
• filterToBlock :: !(Maybe Text)

Instances

Show Filter

Methods

showsPrec :: Int -> Filter -> ShowS

show :: Filter -> String

showList :: [Filter] -> ShowS

ToJSON Filter

Methods

toJSON :: Filter -> Value

toEncoding :: Filter -> Encoding

toJSONList :: [Filter] -> Value

toEncodingList :: [Filter] -> Encoding

FromJSON Filter

Methods

parseJSON :: Value -> Parser Filter

parseJSONList :: Value -> Parser [Filter]

newtype FilterId

Event filder ident

Constructors

FilterId Integer

Instances

Eq FilterId

Methods

(==) :: FilterId -> FilterId -> Bool

(/=) :: FilterId -> FilterId -> Bool

Ord FilterId

Methods

compare :: FilterId -> FilterId -> Ordering

(<) :: FilterId -> FilterId -> Bool

(<=) :: FilterId -> FilterId -> Bool

(>) :: FilterId -> FilterId -> Bool

(>=) :: FilterId -> FilterId -> Bool

max :: FilterId -> FilterId -> FilterId

min :: FilterId -> FilterId -> FilterId

Show FilterId

Methods

showsPrec :: Int -> FilterId -> ShowS

show :: FilterId -> String

showList :: [FilterId] -> ShowS

ToJSON FilterId

Methods

toJSON :: FilterId -> Value

toEncoding :: FilterId -> Encoding

toJSONList :: [FilterId] -> Value

toEncodingList :: [FilterId] -> Encoding

FromJSON FilterId

Methods

parseJSON :: Value -> Parser FilterId

parseJSONList :: Value -> Parser [FilterId]

data Change

Changes pulled by low-level call eth_getFilterChanges

Constructors

Change

Fields

• changeLogIndex :: !Text
• changeTransactionIndex :: !Text
• changeTransactionHash :: !Text
• changeBlockHash :: !Text
• changeBlockNumber :: !Text
• changeAddress :: !Address
• changeData :: !Text
• changeTopics :: ![Text]

Instances

Show Change

Methods

showsPrec :: Int -> Change -> ShowS

show :: Change -> String

showList :: [Change] -> ShowS

ToJSON Change

Methods

toJSON :: Change -> Value

toEncoding :: Change -> Encoding

toJSONList :: [Change] -> Value

toEncodingList :: [Change] -> Encoding

FromJSON Change

Methods

parseJSON :: Value -> Parser Change

parseJSONList :: Value -> Parser [Change]

data Call

The contract call params

Constructors

Call

Fields

• callFrom :: !(Maybe Address)
• callTo :: !Address
• callGas :: !(Maybe Text)
• callGasPrice :: !(Maybe Text)
• callValue :: !(Maybe Text)
• callData :: !(Maybe Text)

Instances

Show Call

Methods

showsPrec :: Int -> Call -> ShowS

show :: Call -> String

showList :: [Call] -> ShowS

ToJSON Call

Methods

toJSON :: Call -> Value

toEncoding :: Call -> Encoding

toJSONList :: [Call] -> Value

toEncodingList :: [Call] -> Encoding

FromJSON Call

Methods

parseJSON :: Value -> Parser Call

parseJSONList :: Value -> Parser [Call]

data CallMode

The contract call mode describe used state: latest or pending

Constructors

Latest

Pending

Instances

Eq CallMode

Methods

(==) :: CallMode -> CallMode -> Bool

(/=) :: CallMode -> CallMode -> Bool

Show CallMode

Methods

showsPrec :: Int -> CallMode -> ShowS

show :: CallMode -> String

showList :: [CallMode] -> ShowS

ToJSON CallMode

Methods

toJSON :: CallMode -> Value

toEncoding :: CallMode -> Encoding

toJSONList :: [CallMode] -> Value

toEncodingList :: [CallMode] -> Encoding

type TxHash = Text

Transaction hash text string

data Transaction

Transaction information

Constructors

Transaction

Fields

• txHash :: !TxHash

  DATA, 32 Bytes - hash of the transaction.

• txNonce :: !Text

  QUANTITY - the number of transactions made by the sender prior to this one.

• txBlockHash :: !Text

  DATA, 32 Bytes - hash of the block where this transaction was in. null when its pending.

• txBlockNumber :: !Text

  QUANTITY - block number where this transaction was in. null when its pending.

• txTransactionIndex :: !Text

  QUANTITY - integer of the transactions index position in the block. null when its pending.

• txFrom :: !Address

  DATA, 20 Bytes - address of the sender.

• txTo :: !(Maybe Address)

  DATA, 20 Bytes - address of the receiver. null when its a contract creation transaction.

• txValue :: !Text

  QUANTITY - value transferred in Wei.

• txGasPrice :: !Text

  QUANTITY - gas price provided by the sender in Wei.

• txGas :: !Text

  QUANTITY - gas provided by the sender.

• txInput :: !Text

  DATA - the data send along with the transaction.

Instances

Show Transaction

Methods

showsPrec :: Int -> Transaction -> ShowS

show :: Transaction -> String

showList :: [Transaction] -> ShowS

ToJSON Transaction

Methods

toJSON :: Transaction -> Value

toEncoding :: Transaction -> Encoding

toJSONList :: [Transaction] -> Value

toEncodingList :: [Transaction] -> Encoding

FromJSON Transaction

Methods

parseJSON :: Value -> Parser Transaction

parseJSONList :: Value -> Parser [Transaction]

data Block

Block information

Constructors

Block

Fields

• blockNumber :: !Text

  QUANTITY - the block number. null when its pending block.

• blockHash :: !Text

  DATA, 32 Bytes - hash of the block. null when its pending block.

• blockParentHash :: !Text

  DATA, 32 Bytes - hash of the parent block.

• blockNonce :: !(Maybe Text)

  DATA, 8 Bytes - hash of the generated proof-of-work. null when its pending block.

• blockSha3Uncles :: !Text

  DATA, 32 Bytes - SHA3 of the uncles data in the block.

• blockLogsBloom :: !Text

  DATA, 256 Bytes - the bloom filter for the logs of the block. null when its pending block.

• blockTransactionsRoot :: !Text

  DATA, 32 Bytes - the root of the transaction trie of the block.

• blockStateRoot :: !Text

  DATA, 32 Bytes - the root of the final state trie of the block.

• blockReceiptRoot :: !(Maybe Text)

  DATA, 32 Bytes - the root of the receipts trie of the block.

• blockMiner :: !Address

  DATA, 20 Bytes - the address of the beneficiary to whom the mining rewards were given.

• blockDifficulty :: !Text

  QUANTITY - integer of the difficulty for this block.

• blockTotalDifficulty :: !Text

  QUANTITY - integer of the total difficulty of the chain until this block.

• blockExtraData :: !Text

  DATA - the "extra data" field of this block.

• blockSize :: !Text

  QUANTITY - integer the size of this block in bytes.

• blockGasLimit :: !Text

  QUANTITY - the maximum gas allowed in this block.

• blockGasUsed :: !Text

  QUANTITY - the total used gas by all transactions in this block.

• blockTimestamp :: !Text

  QUANTITY - the unix timestamp for when the block was collated.

• blockTransactions :: ![Transaction]

  Array of transaction objects.

• blockUncles :: ![Text]

  Array - Array of uncle hashes.

Instances

Show Block

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

ToJSON Block

Methods

toJSON :: Block -> Value

toEncoding :: Block -> Encoding

toJSONList :: [Block] -> Value

toEncodingList :: [Block] -> Encoding

FromJSON Block

Methods

parseJSON :: Value -> Parser Block

parseJSONList :: Value -> Parser [Block]