Module

Network.Ethereum.Web3

Package: purescript-web3
Repository: f-o-a-m/purescript-web3

Re-exports from Network.Ethereum.Web3.Contract

#EventAction Source

data EventAction

Represents a flag to continue or discontinue listening to the filter

Constructors

ContinueEvent
TerminateEvent

Instances

#call Source

call :: forall a b e p. Method a => IsAsyncProvider p => ABIEncoding b => Address -> Maybe Address -> CallMode -> a -> Web3 p e b

Constant call given contract 'Address' in mode and given input data

#sendTx Source

sendTx :: forall a u e p. Method a => IsAsyncProvider p => EtherUnit u => Maybe Address -> Address -> u -> a -> Web3 p e HexString

Send a transaction for given contract 'Address', value and input data

#event Source

event :: forall a e p. IsAsyncProvider p => EventFilter a => Address -> (a -> ReaderT Change (Web3 p e) EventAction) -> Web3 p e (Fiber (eth :: ETH | e) Unit)

Start listening to events eminating from the given address and caught by the filter, using the handler to process the data and decide whether to continue

Re-exports from Network.Ethereum.Web3.Provider

#Provider Source

data Provider :: Type

Represents a connection to an ethereum client

#Metamask Source

data Metamask

Used only in the browser

Instances

IsAsyncProvider Metamask

#IsAsyncProvider Source

class IsAsyncProvider p  where

Members

getAsyncProvider :: forall e. Web3 p e Provider

Instances

IsAsyncProvider Metamask

#runWeb3 Source

runWeb3 :: forall a e p. Proxy p -> Web3 p e a -> Aff (eth :: ETH | e) a

Run an asynchronous ETH action

#metamask Source

metamask :: Proxy Metamask

#httpProvider Source

httpProvider :: forall e. String -> Eff e Provider

Connect to an ethereum client at a given address, eg "http://localhost:8545"

#forkWeb3' Source

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

Fork an asynchronous ETH action inside Web3 monad

#forkWeb3 Source

forkWeb3 :: forall a e p. Proxy p -> Web3 p e a -> Aff (eth :: ETH | e) (Fiber (eth :: ETH | e) a)

Fork an asynchronous ETH action

Re-exports from Network.Ethereum.Web3.Solidity

#Vector Source

newtype Vector n a

Represents a statically sized vector of length n

Instances

(Show a) => Show (Vector n a)
(Eq a) => Eq (Vector n a)
Functor (Vector n)
Unfoldable (Vector n)
Foldable (Vector n)
Traversable (Vector n)

#UIntN Source

newtype UIntN n

Represents a statically sized unsigned integer of size n

Instances

Show (UIntN n)
Eq (UIntN n)

#N9 Source

type N9 = S N8

#N8 Source

type N8 = S N7

#N7 Source

type N7 = S N6

#N6 Source

type N6 = S N5

#N5 Source

type N5 = S N4

#N4 Source

type N4 = S N3

#N3 Source

type N3 = S N2

#N2 Source

type N2 = S N1

#N1 Source

type N1 = S N0

#N0 Source

type N0 = Z

#IntN Source

newtype IntN n

Represents a statically sized signed integer of size n bytes

Instances

Show (IntN n)
Eq (IntN n)

#D9 Source

data D9

Instances

#D8 Source

data D8

Instances

#D7 Source

data D7

Instances

#D6 Source

data D6

Instances

#D5 Source

data D5

Instances

#D4 Source

data D4

Instances

#D3 Source

data D3

Instances

#D2 Source

data D2

Instances

#D1 Source

data D1

Instances

#D0 Source

data D0

Instances

#BytesN Source

newtype BytesN n

Instances

Eq (BytesN n)
(KnownSize n) => Show (BytesN n)

#ByteString Source

newtype ByteString

A packed sequence of bytes.

Instances

#vCons Source

vCons :: forall n a. a -> Vector n a -> Vector (S n) a

Dependently typed cons

#unIntN Source

unIntN :: forall n. KnownSize n => IntN n -> BigNumber

Access the raw underlying integer

#unBytesN Source

unBytesN :: forall n. KnownSize n => BytesN n -> ByteString

Access the underlying raw bytestring

#uIntNFromBigNumber Source

uIntNFromBigNumber :: forall n. KnownSize n => BigNumber -> Maybe (UIntN n)

Attempt to coerce an unsigned integer into a statically sized one

#toVector Source

toVector :: forall n a. KnownNat n => Array a -> Maybe (Vector n a)

Attempt to coerce an array into a statically sized array

#nilVector Source

nilVector :: forall a. Vector Z a

Array of length 0

#intNFromBigNumber Source

intNFromBigNumber :: forall n. KnownSize n => BigNumber -> Maybe (IntN n)

Attempt to coerce an signed BigNumber into a statically sized one

#fromByteString Source

fromByteString :: forall n. KnownSize n => ByteString -> Maybe (BytesN n)

Attempt to coerce a bytestring into one of the appropriate size

#(:<) Source

Operator alias for Network.Ethereum.Web3.Solidity.Vector.vCons (right-associative / precedence 6)

#type (:&) Source

Operator alias for Network.Ethereum.Web3.Solidity.Size.NumCons (right-associative / precedence 6)

Re-exports from Network.Ethereum.Web3.Types

#Wei Source

data Wei

Instances

EtherUnitSpec Wei

#Web3 Source

newtype Web3 p e a

A monad for asynchronous Web3 actions

Instances

Functor (Web3 p e)
Apply (Web3 p e)
Applicative (Web3 p e)
Bind (Web3 p e)
Monad (Web3 p e)
MonadEff (eth :: ETH | e) (Web3 p e)
MonadAff (eth :: ETH | e) (Web3 p e)
MonadThrow Error (Web3 p e)

#Value Source

newtype Value a

Ether value in denomination a

Instances

Eq (Value a)
Show (Value a)
Encode (Value a)
Decode (Value a)
(EtherUnitSpec a) => EtherUnit (Value a)
(EtherUnitSpec a) => Semiring (Value a)
(EtherUnitSpec a) => Ring (Value a)

#TransactionOptions Source

newtype TransactionOptions

Constructors

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

Instances

#Transaction Source

newtype Transaction

Constructors

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

Instances

#Szabo Source

data Szabo

Szabo unit type

Instances

EtherUnitSpec Szabo

#Shannon Source

data Shannon

Shannon unit type

Instances

EtherUnitSpec Shannon

#Radix Source

newtype Radix

The number of unique digits (including zero) used to represent integers in a specific base.

#Lovelace Source

data Lovelace

Lovelace unit type

Instances

EtherUnitSpec Lovelace

#KEther Source

data KEther

KEther unit type

Instances

EtherUnitSpec KEther

#HexString Source

newtype HexString

Represents a base16, utf8 encoded bytestring

Instances

#Finney Source

data Finney

Finney unit type

Instances

EtherUnitSpec Finney

#FilterId Source

newtype FilterId

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

Constructors

FilterId HexString

Instances

#Filter Source

newtype Filter

Low-level event filter data structure

Constructors

Filter { address :: NullOrUndefined Address, fromBlock :: NullOrUndefined HexString, toBlock :: NullOrUndefined HexString, topics :: NullOrUndefined (Array (NullOrUndefined HexString)) }

Instances

#Ether Source

data Ether

Ether unit type

Instances

EtherUnitSpec Ether

#ETH Source

data ETH :: Effect

Instances

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

#Change Source

newtype Change

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

Constructors

Change { address :: Address, blockHash :: HexString, blockNumber :: HexString, data :: HexString, logIndex :: HexString, topics :: Array HexString, transactionHash :: HexString, transactionIndex :: HexString }

Instances

#CallMode Source

data CallMode

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

Constructors

Instances

Encode CallMode

#Block Source

newtype Block

Constructors

Block { difficulty :: BigNumber, extraData :: HexString, gasLimit :: BigNumber, gasUsed :: BigNumber, hash :: HexString, logsBloom :: HexString, miner :: HexString, mixHash :: 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

#BigNumber Source

data BigNumber :: Type

Large Integer, needed for handling numbers of up to 32 bytes

Instances

#Babbage Source

data Babbage

Babbage unit type

Instances

EtherUnitSpec Babbage

#Address Source

newtype Address

Represents and Ethereum address, which is a 20 byte HexString

Instances

#embed Source

embed :: forall r a. Algebra r a => r -> a

#fromWei Source

fromWei :: forall a. EtherUnit a => BigNumber -> a

#sha3 Source

sha3 :: forall a. SHA3 a => a -> HexString

#toWei Source

toWei :: forall a. EtherUnit a => a -> BigNumber

#unsafeToInt Source

unsafeToInt :: BigNumber -> Int

Unsafely coerce a BigNumber to an Int.

#unHex Source

unHex :: HexString -> String

#toUtf8 Source

toUtf8 :: HexString -> String

Takes a hex string and produces the corresponding UTF8-decoded string. This breaks at the first null octet, following the web3 function toUft8.

#toTwosComplement Source

toTwosComplement :: BigNumber -> BigNumber

Take the twos complement of a BigNumer

#toString Source

toString :: Radix -> BigNumber -> String

Convert a Big number into a string in the given base

#toSignedHexString Source

toSignedHexString :: BigNumber -> Signed HexString

#toHexString Source

toHexString :: BigNumber -> HexString

#toAscii Source

toAscii :: HexString -> String

Takes a hex string and produces the corresponding ASCII decoded string.

#pow Source

pow :: BigNumber -> Int -> BigNumber

Exponentiate a BigNumber

#parseBigNumber Source

parseBigNumber :: Radix -> String -> Maybe BigNumber

Convert a string in the given base to a BigNumber

#padRightSigned Source

padRightSigned :: Signed HexString -> HexString

Pad a Signed HexString on the right until it has length 0 mod 64.

#padRight Source

padRight :: HexString -> HexString

Pad a HexString on the right with 0's until it has length 0 mod 64.

#padLeftSigned Source

padLeftSigned :: Signed HexString -> HexString

Pad a Signed HexString on the left until it has length == 0 mod 64.

#padLeft Source

padLeft :: HexString -> HexString

Pad a HexString on the left with '0's until it has length == 0 mod 64.

#noPay Source

noPay :: Value Wei

#mkValue Source

mkValue :: forall a. EtherUnitSpec a => BigNumber -> Value a

Convert a big number into value, first using floor function to take the integer part

#mkHexString Source

mkHexString :: String -> Maybe HexString

#mkAddress Source

mkAddress :: HexString -> Maybe Address

#hexadecimal Source

hexadecimal :: Radix

The base-16 system.

#hexLength Source

hexLength :: HexString -> Int

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

#getPadLength Source

getPadLength :: Int -> Int

Computes the number of 0s needed to pad a bytestring of the input length

#fromUtf8 Source

fromUtf8 :: String -> HexString

Get the 'HexString' corresponding to the UTF8 encoding.

#fromHexStringSigned Source

fromHexStringSigned :: HexString -> BigNumber

#fromHexString Source

fromHexString :: HexString -> BigNumber

#fromAscii Source

fromAscii :: String -> HexString

Get the 'HexString' corresponding to the ASCII encoding.

#floor Source

floor :: Number -> Int

Convert a Number to an Int, by taking the closest integer equal to or less than the argument. Values outside the Int range are clamped, NaN and Infinity values return 0.

#defaultTransactionOptions Source

defaultTransactionOptions :: TransactionOptions

#defaultFilter Source

defaultFilter :: Filter

#decimal Source

decimal :: Radix

The base-10 system.

#convert Source

convert :: forall b a. EtherUnit a => EtherUnit b => a -> b

Convert between two denominations

#binary Source

binary :: Radix

The base-2 system.

#asSigned Source

asSigned :: forall a. a -> Signed a

Coerce a value into a positive signed value

#_value Source

_value :: Lens' TransactionOptions (Maybe (Value Wei))

#_topics Source

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

#_toBlock Source

_toBlock :: Lens' Filter (Maybe HexString)

#_to Source

_to :: Lens' TransactionOptions (Maybe Address)

#_nonce Source

_nonce :: Lens' TransactionOptions (Maybe BigNumber)

#_gasPrice Source

_gasPrice :: Lens' TransactionOptions (Maybe BigNumber)

#_gas Source

_gas :: Lens' TransactionOptions (Maybe BigNumber)

#_fromBlock Source

_fromBlock :: Lens' Filter (Maybe HexString)

#_from Source

_from :: Lens' TransactionOptions (Maybe Address)

#_data Source

_data :: Lens' TransactionOptions (Maybe HexString)

#_address Source

_address :: Lens' Filter (Maybe Address)

#(>-) Source

Operator alias for Network.Ethereum.Web3.Types.BigNumber.lsub (left-associative / precedence 6)

#(>+) Source

Operator alias for Network.Ethereum.Web3.Types.BigNumber.ladd (left-associative / precedence 6)

#(>*) Source

Operator alias for Network.Ethereum.Web3.Types.BigNumber.lmul (left-associative / precedence 7)

#(-<) Source

Operator alias for Network.Ethereum.Web3.Types.BigNumber.rsub (right-associative / precedence 6)

#(+<) Source

Operator alias for Network.Ethereum.Web3.Types.BigNumber.radd (right-associative / precedence 6)

#(*<) Source

Operator alias for Network.Ethereum.Web3.Types.BigNumber.rmul (right-associative / precedence 7)