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

FromJSON RpcError

Methods

parseJSON :: 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

FromJSON Filter

Methods

parseJSON :: Value -> Parser Filter

newtype FilterId

Event filder ident

Constructors

FilterId Int

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

FromJSON FilterId

Methods

parseJSON :: 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

FromJSON Change

Methods

parseJSON :: 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

FromJSON Call

Methods

parseJSON :: 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

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

FromJSON Transaction

Methods

parseJSON :: 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

FromJSON Block

Methods

parseJSON :: Value -> Parser Block