Module

Network.Ethereum.Web3

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

Re-exports from Network.Ethereum.Web3.Contract

#EventFilter Source

class EventFilter a  where

Members

eventFilter :: Proxy a -> Address -> Filter
Event filter structure used by low-level subscription methods

#call Source

call :: forall selector a b e. CallMethod selector a b => IsSymbol selector => TransactionOptions NoPay -> ChainCursor -> Tagged (SProxy selector) a -> Web3 e (Either CallError b)

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

#sendTx Source

sendTx :: forall selector a u e. TxMethod selector a => EtherUnit (Value u) => IsSymbol selector => TransactionOptions u -> Tagged (SProxy selector) a -> Web3 e HexString

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

#event' Source

event' :: forall ni i a e. DecodeEvent i ni a => Filter -> Int -> (a -> ReaderT Change (Web3 e) EventAction) -> Web3 e Unit

Takes a Filter and a handler, as well as a windowSize. It runs the handler over the eventLogs using reduceEventStream. If no TerminateEvent is thrown, it then transitions to polling.

#event Source

event :: forall ni i a e. DecodeEvent i ni a => Filter -> (a -> ReaderT Change (Web3 e) EventAction) -> Web3 e Unit

run event' one block at a time.

#deployContract Source

deployContract :: forall t e rep a. Generic a rep => GenericABIEncode rep => TransactionOptions NoPay -> HexString -> Tagged t a -> Web3 e HexString

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)
Ord (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)
Ord (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

#unUIntN Source

unUIntN :: forall n. KnownSize n => UIntN n -> BigNumber

Access the raw underlying unsigned integer

#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

#fromData Source

fromData :: forall a. ABIDecode a => HexString -> Either ParseError a

Parse encoded value, droping the leading 0x

#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

#Web3Par Source

newtype Web3Par e a

Instances

#Web3Error Source

data Web3Error

Constructors

Rpc RpcError
NullError

Instances

#Web3 Source

newtype Web3 e a

A monad for asynchronous Web3 actions

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)

#Value Source

newtype Value a

Ether value in denomination a

Instances

Eq (Value a)
Show (Value a)
Encode (Value a)
Encode (Value NoPay)
Decode (Value a)
(EtherUnitSpec a) => EtherUnit (Value a)
(EtherUnitSpec a) => Semigroup (Value a)
(EtherUnitSpec a) => Monoid (Value a)
(EtherUnitSpec a) => LeftModule (Value a) Int

#TransactionOptions Source

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

#Transaction Source

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

#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

Instances

#Filter Source

newtype Filter

Low-level event filter data structure

Instances

#EventAction Source

data EventAction

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

Constructors

ContinueEvent
TerminateEvent

Instances

#Ether Source

data Ether

Ether unit type

Instances

EtherUnitSpec Ether

#ETH Source

data ETH :: Effect

Instances

MonadEff (eth :: ETH | e) (Web3 e)
MonadAff (eth :: ETH | e) (Web3 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 :: BlockNumber, data :: HexString, logIndex :: HexString, topics :: Array HexString, transactionHash :: HexString, transactionIndex :: HexString }

Instances

#ChainCursor Source

data ChainCursor

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

Constructors

Instances

#CallError Source

data CallError

Constructors

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

Instances

#BlockNumber Source

newtype BlockNumber

Constructors

BlockNumber BigNumber

Instances

#Block Source

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

#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 a r. Algebra a r => 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

#unAddress Source

unAddress :: Address -> HexString

#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.

#throwWeb3 Source

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

#runWeb3 Source

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

Run an asynchronous ETH action

#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.

#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.

#forkWeb3' Source

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

Fork an asynchronous ETH action inside Web3 monad

#forkWeb3 Source

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

Fork an asynchronous ETH action

#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 NoPay

#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

#byteStringFromHexString Source

byteStringFromHexString :: HexString -> ByteString

#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 :: forall u. EtherUnit (Value u) => Lens (TransactionOptions u) (TransactionOptions Wei) (Maybe (Value u)) (Maybe (Value Wei))

#_topics Source

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

#_toBlock Source

_toBlock :: Lens' Filter ChainCursor

#_to Source

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

#_nonce Source

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

#_gasPrice Source

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

#_gas Source

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

#_fromBlock Source

_fromBlock :: Lens' Filter ChainCursor

#_from Source

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

#_data Source

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

#_address Source

_address :: Lens' Filter (Maybe Address)

Re-exports from Network.Ethereum.Web3.Types.Provider

#Provider Source

data Provider :: Type

Represents a connection to an ethereum client

#metamaskProvider Source

metamaskProvider :: forall e. Eff (exception :: EXCEPTION | e) Provider

Produces reference to Metamas provider

#httpProvider Source

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

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