Network.Ethereum.Web3.Types.Types

newtype BlockNumber

Constructors

• BlockNumber BigNumber

Instances

• Generic BlockNumber _
• Show BlockNumber
• Eq BlockNumber
• Ord BlockNumber
• Decode BlockNumber
• Encode BlockNumber
• Newtype BlockNumber _
• EncodeJson BlockNumber
• DecodeJson BlockNumber
• ReadForeign BlockNumber
• WriteForeign BlockNumber

data ChainCursor

Refers to a particular block time, used when making calls, transactions, or watching for events.

Constructors

• Latest
• Pending
• Earliest
• BN BlockNumber

Instances

• Generic ChainCursor _
• Eq ChainCursor
• Show ChainCursor
• Ord ChainCursor
• Encode ChainCursor

newtype Block

Constructors

• Block { difficulty :: BigNumber, extraData :: HexString, gasLimit :: BigNumber, gasUsed :: BigNumber, hash :: Maybe HexString, logsBloom :: Maybe HexString, miner :: HexString, nonce :: Maybe HexString, number :: Maybe BigNumber, parentHash :: HexString, receiptsRoot :: HexString, sha3Uncles :: HexString, size :: BigNumber, stateRoot :: HexString, timestamp :: BigNumber, totalDifficulty :: BigNumber, transactions :: Array HexString, transactionsRoot :: HexString, uncles :: Array HexString }

Instances

• Generic Block _
• Newtype Block _
• Eq Block
• Show Block
• Decode Block

newtype Transaction

Constructors

• Transaction { blockHash :: Maybe HexString, blockNumber :: Maybe BlockNumber, from :: Address, gas :: BigNumber, gasPrice :: BigNumber, hash :: HexString, input :: HexString, nonce :: BigNumber, to :: Maybe Address, transactionIndex :: Maybe BigNumber, value :: Value Wei }

Instances

• Generic Transaction _
• Newtype Transaction _
• Eq Transaction
• Show Transaction
• Decode Transaction

newtype TransactionReceipt

Constructors

• TransactionReceipt { blockHash :: HexString, blockNumber :: BlockNumber, contractAddress :: Maybe Address, cumulativeGasUsed :: BigNumber, gasUsed :: BigNumber, logs :: Array Change, status :: TransactionStatus, transactionHash :: HexString, transactionIndex :: BigNumber }

Instances

• Generic TransactionReceipt _
• Newtype TransactionReceipt _
• Eq TransactionReceipt
• Show TransactionReceipt
• Decode TransactionReceipt

data TransactionStatus

Constructors

• Succeeded
• Failed

Instances

• Generic TransactionStatus _
• Eq TransactionStatus
• Show TransactionStatus
• Decode TransactionStatus

newtype TransactionOptions u

Constructors

• TransactionOptions { data :: Maybe HexString, from :: Maybe Address, gas :: Maybe BigNumber, gasPrice :: Maybe BigNumber, nonce :: Maybe BigNumber, to :: Maybe Address, value :: Maybe (Value (u ETHER)) }

Instances

• Generic (TransactionOptions u) _
• Newtype (TransactionOptions u) _
• Eq (TransactionOptions u)
• Show (TransactionOptions u)
• Encode (TransactionOptions u)

defaultTransactionOptions :: TransactionOptions NoPay

_from :: forall u. Lens' (TransactionOptions u) (Maybe Address)

_to :: forall u. Lens' (TransactionOptions u) (Maybe Address)

_data :: forall u. Lens' (TransactionOptions u) (Maybe HexString)

_value :: forall u. TokenUnit (Value (u ETHER)) => Lens (TransactionOptions u) (TransactionOptions MinorUnit) (Maybe (Value (u ETHER))) (Maybe (Value Wei))

_gas :: forall u. Lens' (TransactionOptions u) (Maybe BigNumber)

_gasPrice :: forall u. Lens' (TransactionOptions u) (Maybe BigNumber)

data ETH :: Effect

Instances

• MonadEff (eth :: ETH | e) (Web3 e)
• MonadAff (eth :: ETH | e) (Web3 e)

_nonce :: forall u. Lens' (TransactionOptions u) (Maybe BigNumber)

forkWeb3 :: forall a e. Provider -> Web3 e a -> Aff (eth :: ETH | e) (Fiber (eth :: ETH | e) (Either Web3Error a))

Fork an asynchronous ETH action

forkWeb3' :: forall a e. Web3 e a -> Web3 e (Fiber (eth :: ETH | e) (Either Web3Error a))

Fork an asynchronous ETH action inside Web3 monad

runWeb3 :: forall a e. Provider -> Web3 e a -> Aff (eth :: ETH | e) (Either Web3Error a)

Run an asynchronous ETH action

newtype Web3 e a

A monad for asynchronous Web3 actions

Constructors

• Web3 (ReaderT Provider (Aff (eth :: ETH | e)) a)

Instances

• Functor (Web3 e)
• Apply (Web3 e)
• Applicative (Web3 e)
• Bind (Web3 e)
• Monad (Web3 e)
• MonadEff (eth :: ETH | e) (Web3 e)
• MonadAff (eth :: ETH | e) (Web3 e)
• MonadThrow Error (Web3 e)
• MonadError Error (Web3 e)
• MonadAsk Provider (Web3 e)
• MonadReader Provider (Web3 e)
• MonadRec (Web3 e)
• (EffectRowEquals eff (eth :: ETH | eff')) => MonadFork (Fiber eff) (Web3 eff')
• (EffectRowEquals eff (eth :: ETH | eff')) => MonadKill Error (Fiber eff) (Web3 eff')
• (EffectRowEquals eff (eth :: ETH | eff')) => MonadBracket Error (Fiber eff) (Web3 eff')
• Parallel (Web3Par e) (Web3 e)

newtype Web3Par e a

Instances

• Functor (Web3Par e)
• Apply (Web3Par e)
• Applicative (Web3Par e)
• Parallel (Web3Par e) (Web3 e)
• Alt (Web3Par e)
• Plus (Web3Par e)
• Alternative (Web3Par e)

throwWeb3 :: forall a e. Error -> Web3 e a

newtype Filter a

Low-level event filter data structure

Instances

• Generic (Filter a) _
• Newtype (Filter a) _
• Show (Filter a)
• Eq (Filter a)
• Encode (Filter a)

defaultFilter :: forall a. Filter a

_address :: forall a. Lens' (Filter a) (Maybe Address)

_topics :: forall a. Lens' (Filter a) (Maybe (Array (Maybe HexString)))

_fromBlock :: forall a. Lens' (Filter a) ChainCursor

_toBlock :: forall a. Lens' (Filter a) ChainCursor

newtype FilterId

Used by the ethereum client to identify the filter you are querying

Instances

• Generic FilterId _
• Show FilterId
• Eq FilterId
• Encode FilterId
• Decode FilterId

data EventAction

EventAction Represents a flag to continue or discontinue listening to the filter

Constructors

• ContinueEvent
• TerminateEvent

Instances

• Generic EventAction _
• Show EventAction
• Eq EventAction

newtype Change

Changes pulled by low-level call 'eth_getFilterChanges', 'eth_getLogs', and 'eth_getFilterLogs'

Constructors

• Change { address :: Address, blockHash :: HexString, blockNumber :: BlockNumber, data :: HexString, logIndex :: BigNumber, removed :: Boolean, topics :: Array HexString, transactionHash :: HexString, transactionIndex :: BigNumber }

Instances

• Generic Change _
• Newtype Change _
• Show Change
• Eq Change
• Decode Change

newtype FalseOrObject a

Newtype wrapper around Maybe to handle cases where Web3 passes back either false or some data type

Constructors

• FalseOrObject (Maybe a)

Instances

• Newtype (FalseOrObject a) _
• (Eq a) => Eq (FalseOrObject a)
• (Ord a) => Ord (FalseOrObject a)
• Generic (FalseOrObject a) _
• (Show a) => Show (FalseOrObject a)
• (Decode a) => Decode (FalseOrObject a)

unFalseOrObject :: forall a. FalseOrObject a -> Maybe a

newtype SyncStatus

Constructors

• SyncStatus { currentBlock :: BigNumber, highestBlock :: BigNumber, startingBlock :: BigNumber }

Instances

• Generic SyncStatus _
• Newtype SyncStatus _
• Eq SyncStatus
• Decode SyncStatus
• Show SyncStatus

type MethodName = String

Web3 RPC

newtype Request

Instances

• Generic Request _
• Encode Request

mkRequest :: MethodName -> Int -> Array Foreign -> Request

newtype Response a

Constructors

• Response (Either Web3Error a)

Instances

• (Decode a) => Decode (Response a)

data Web3Error

Constructors

• Rpc RpcError
• RemoteError String
• ParserError String
• NullError

Instances

• Generic Web3Error _
• Show Web3Error
• Eq Web3Error
• Decode Web3Error

newtype RpcError

Constructors

• RpcError { code :: Int, message :: String }

Instances

• Newtype RpcError _
• Generic RpcError _
• Show RpcError
• Eq RpcError
• Decode RpcError
• Encode RpcError

data CallError

Constructors

• NullStorageError { _data :: HexString, signature :: String }

Instances

• Generic CallError _
• Show CallError
• Eq CallError