Network.Ethereum.Web3

An Ethereum node offers a RPC interface. This interface gives Ðapp’s access to the Ethereum blockchain and functionality that the node provides, such as compiling smart contract code. It uses a subset of the JSON-RPC 2.0 specification (no support for notifications or named parameters) as serialisation protocol and is available over HTTP and IPC (unix domain sockets on linux/OSX and named pipe’s on Windows).

Web3 Haskell library currently use JSON-RPC over HTTP to access node functionality.

Monad as base of any Ethereum node communication

data Web3 a

Any communication with Ethereum node wrapped with Web3 monad

Instances

Monad Web3

Methods

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

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

return :: a -> Web3 a

fail :: String -> Web3 a

Functor Web3

Methods

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

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

Applicative Web3

Methods

pure :: a -> Web3 a

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

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

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

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

MonadIO Web3

Methods

liftIO :: IO a -> Web3 a

MonadThrow Web3

Methods

throwM :: Exception e => e -> Web3 a

FromJSON a => Remote Web3 (Web3 a)

Methods

remote_ :: ([Value] -> Web3 ByteString) -> Web3 a

MonadReader (ServerUri, Manager) Web3

Methods

ask :: Web3 (ServerUri, Manager)

local :: ((ServerUri, Manager) -> (ServerUri, Manager)) -> Web3 a -> Web3 a

reader :: ((ServerUri, Manager) -> a) -> Web3 a

runWeb3 :: MonadIO m => Web3 a -> m (Either Web3Error a)

Web3 runner for default provider

Basic transaction sending

sendTx

Arguments

:: Method a

=> Call

Call configuration

-> a

method data

-> Web3 Hash

sendTx is used to submit a state changing transaction.

data Call

The contract call params.

Constructors

Call

Fields

• callFrom :: !(Maybe Address)

  DATA, 20 Bytes - The address the transaction is send from.

• callTo :: !(Maybe Address)

  DATA, 20 Bytes - (optional when creating new contract) The address the transaction is directed to.

• callGas :: !(Maybe Quantity)

  QUANTITY - (optional, default: 3000000) Integer of the gas provided for the transaction execution. It will return unused gas.

• callGasPrice :: !(Maybe Quantity)

  QUANTITY - (optional, default: To-Be-Determined) Integer of the gasPrice used for each paid gas.

• callValue :: !(Maybe Quantity)

  QUANTITY - (optional) Integer of the value sent with this transaction.

• callData :: !(Maybe Bytes)

  DATA - The compiled code of a contract OR the hash of the invoked method signature and encoded parameters.

• callNonce :: !(Maybe Quantity)

  QUANTITY - (optional) Integer of a nonce. This allows to overwrite your own pending transactions that use the same nonce.

Instances

Eq Call

Methods

(==) :: Call -> Call -> Bool

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

Show Call

Methods

showsPrec :: Int -> Call -> ShowS

show :: Call -> String

showList :: [Call] -> ShowS

Generic Call

Associated Types

type Rep Call :: * -> *

Methods

from :: Call -> Rep Call x

to :: Rep Call x -> Call

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]

Default Call

Methods

def :: Call

type Rep Call

type Rep Call = D1 * (MetaData "Call" "Network.Ethereum.Web3.Types" "web3-0.7.3.0-BH6gK1wKPUz1odKfbprREs" False) (C1 * (MetaCons "Call" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "callFrom") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Address))) ((:*:) * (S1 * (MetaSel (Just Symbol "callTo") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Address))) (S1 * (MetaSel (Just Symbol "callGas") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Quantity))))) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "callGasPrice") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Quantity))) (S1 * (MetaSel (Just Symbol "callValue") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Quantity)))) ((:*:) * (S1 * (MetaSel (Just Symbol "callData") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Bytes))) (S1 * (MetaSel (Just Symbol "callNonce") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Maybe Quantity)))))))

Basic event listening

data EventAction

Event callback control response

Constructors

ContinueEvent

Continue to listen events

TerminateEvent

Terminate event listener

Instances

Eq EventAction

Methods

(==) :: EventAction -> EventAction -> Bool

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

Show EventAction

Methods

showsPrec :: Int -> EventAction -> ShowS

show :: EventAction -> String

showList :: [EventAction] -> ShowS

event :: DecodeEvent i ni e => Filter e -> (e -> ReaderT Change Web3 EventAction) -> Web3 (Async ())

Run 'event\'' one block at a time.

event' :: DecodeEvent i ni e => Filter e -> (e -> ReaderT Change Web3 EventAction) -> Web3 ()

Same as event, but does not immediately spawn a new thread.

Primitive data types

module Network.Ethereum.ABI.Prim

Metric unit system

module Network.Ethereum.Unit