Network.Ethereum.Web3.Types.Types

data Sign

Constructors

• Pos
• Neg

Instances

• Eq Sign

data Signed a

Represents values that can be either positive or negative.

Constructors

• Signed Sign a

Instances

• (Show a) => Show (Signed a)
• (Eq a) => Eq (Signed a)
• Functor Signed

asSigned :: forall a. a -> Signed a

Coerce a value into a positive signed value

newtype HexString

Represents a base16, utf8 encoded bytestring

Instances

• Show HexString
• Eq HexString
• Ord HexString
• Semigroup HexString
• Monoid HexString
• Decode HexString
• ReadForeign HexString
• Encode HexString

mkHexString :: String -> Maybe HexString

unHex :: HexString -> String

hexLength :: HexString -> Int

Compute the length of the hex string, which is twice the number of bytes it represents

takeHex :: Int -> HexString -> HexString

nullWord :: HexString

newtype Address

Represents and Ethereum address, which is a 20 byte HexString

Instances

• Show Address
• Eq Address
• Ord Address
• Decode Address
• Encode Address

unAddress :: Address -> HexString

mkAddress :: HexString -> Maybe Address

newtype BlockNumber

Constructors

• BlockNumber BigNumber

Instances

• Show BlockNumber
• Eq BlockNumber
• Ord BlockNumber
• Decode BlockNumber
• Encode BlockNumber
• Newtype 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 :: HexString, logsBloom :: HexString, miner :: HexString, nonce :: HexString, number :: 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 :: HexString, blockNumber :: BlockNumber, from :: Address, gas :: BigNumber, gasPrice :: BigNumber, hash :: HexString, input :: HexString, nonce :: BigNumber, to :: NullOrUndefined Address, transactionIndex :: BigNumber, value :: Value Wei }

Instances

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

newtype TransactionReceipt

Constructors

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

Instances

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

newtype TransactionOptions u

Constructors

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

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. EtherUnit (Value u) => Lens (TransactionOptions u) (TransactionOptions Wei) (Maybe (Value u)) (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 (ExceptT Web3Error (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 Web3Error (Web3 e)
• MonadAsk Provider (Web3 e)
• MonadReader Provider (Web3 e)
• MonadRec (Web3 e)
• 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

Low-level event filter data structure

Instances

• Generic Filter _
• Newtype Filter _
• Show Filter
• Eq Filter
• Encode Filter

defaultFilter :: Filter

_address :: Lens' Filter (Maybe Address)

_topics :: Lens' Filter (Maybe (Array (Maybe HexString)))

_fromBlock :: Lens' Filter ChainCursor

_toBlock :: Lens' Filter 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 :: HexString, topics :: Array HexString, transactionHash :: HexString, transactionIndex :: HexString }

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
• NullError

Instances

• MonadThrow Web3Error (Web3 e)
• 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

data CallError

Constructors

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

Instances

• Generic CallError _
• Show CallError
• Eq CallError