Network.Ethereum.Web3.TH

TemplateHaskell based Ethereum contract ABI methods & event generator for Haskell native API.

[abiFrom|data/sample.json|]

main = do
    runWeb3 $ event "0x..." $
       (Action2 n x) -> do print n
                            print x
    wait
  where wait = threadDelay 1000000 >> wait

Quasiquoter's

abi :: QuasiQuoter

QQ reader for contract ABI

abiFrom :: QuasiQuoter

Read contract ABI from file

Used by TH data types

data Bytes :: *

Simplest Byte Array

Instances

Eq Bytes

Methods

(==) :: Bytes -> Bytes -> Bool

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

Ord Bytes

Methods

compare :: Bytes -> Bytes -> Ordering

(<) :: Bytes -> Bytes -> Bool

(<=) :: Bytes -> Bytes -> Bool

(>) :: Bytes -> Bytes -> Bool

(>=) :: Bytes -> Bytes -> Bool

max :: Bytes -> Bytes -> Bytes

min :: Bytes -> Bytes -> Bytes

Show Bytes

Methods

showsPrec :: Int -> Bytes -> ShowS

show :: Bytes -> String

showList :: [Bytes] -> ShowS

Monoid Bytes

Methods

mempty :: Bytes

mappend :: Bytes -> Bytes -> Bytes

mconcat :: [Bytes] -> Bytes

ByteArray Bytes

Methods

allocRet :: Int -> (Ptr p -> IO a) -> IO (a, Bytes)

ByteArrayAccess Bytes

Methods

length :: Bytes -> Int

withByteArray :: Bytes -> (Ptr p -> IO a) -> IO a

NFData Bytes

Methods

rnf :: Bytes -> ()

data Text :: *

A space efficient, packed, unboxed Unicode text type.

Instances

Chunk Text

Associated Types

type ChunkElem Text :: *

Methods

nullChunk :: Text -> Bool

pappendChunk :: State Text -> Text -> State Text

atBufferEnd :: Text -> State Text -> Pos

bufferElemAt :: Text -> Pos -> State Text -> Maybe (ChunkElem Text, Int)

chunkElemToChar :: Text -> ChunkElem Text -> Char

FoldCase Text

Methods

foldCase :: Text -> Text

foldCaseList :: [Text] -> [Text]

Hashable Text

Methods

hashWithSalt :: Int -> Text -> Int

hash :: Text -> Int

ABIEncoding Text

Methods

toDataBuilder :: Text -> Builder

fromDataParser :: Parser Text

toData :: Text -> Text

fromData :: Text -> Maybe Text

type State Text

type State Text = Buffer

type ChunkElem Text

type ChunkElem Text = Char

type Item Text

type Item Text = Char

newtype Singleton a

Singleton parameter instance

Constructors

Singleton

Fields

• unSingleton :: a

Instances

(EncodingType a, ABIEncoding a) => ABIEncoding (Singleton a)

Methods

toDataBuilder :: Singleton a -> Builder

fromDataParser :: Parser (Singleton a)

toData :: Singleton a -> Text

fromData :: Text -> Maybe (Singleton a)

class ABIEncoding a where

Contract ABI data codec

Minimal complete definition

toDataBuilder, fromDataParser

Methods

toDataBuilder :: a -> Builder

fromDataParser :: Parser a

toData :: a -> Text

Encode value into abi-encoding represenation

fromData :: Text -> Maybe a

Parse encoded value

Instances

ABIEncoding Bool

Methods

toDataBuilder :: Bool -> Builder

fromDataParser :: Parser Bool

toData :: Bool -> Text

fromData :: Text -> Maybe Bool

ABIEncoding Int

Methods

toDataBuilder :: Int -> Builder

fromDataParser :: Parser Int

toData :: Int -> Text

fromData :: Text -> Maybe Int

ABIEncoding Integer

Methods

toDataBuilder :: Integer -> Builder

fromDataParser :: Parser Integer

toData :: Integer -> Text

fromData :: Text -> Maybe Integer

ABIEncoding Word

Methods

toDataBuilder :: Word -> Builder

fromDataParser :: Parser Word

toData :: Word -> Text

fromData :: Text -> Maybe Word

ABIEncoding Text

Methods

toDataBuilder :: Text -> Builder

fromDataParser :: Parser Text

toData :: Text -> Text

fromData :: Text -> Maybe Text

ABIEncoding Address

Methods

toDataBuilder :: Address -> Builder

fromDataParser :: Parser Address

toData :: Address -> Text

fromData :: Text -> Maybe Address

ABIEncoding BytesD

Methods

toDataBuilder :: BytesD -> Builder

fromDataParser :: Parser BytesD

toData :: BytesD -> Text

fromData :: Text -> Maybe BytesD

ABIEncoding NoMethod

Methods

toDataBuilder :: NoMethod -> Builder

fromDataParser :: Parser NoMethod

toData :: NoMethod -> Text

fromData :: Text -> Maybe NoMethod

ABIEncoding a => ABIEncoding [a]

Methods

toDataBuilder :: [a] -> Builder

fromDataParser :: Parser [a]

toData :: [a] -> Text

fromData :: Text -> Maybe [a]

KnownNat n => ABIEncoding (BytesN n)

Methods

toDataBuilder :: BytesN n -> Builder

fromDataParser :: Parser (BytesN n)

toData :: BytesN n -> Text

fromData :: Text -> Maybe (BytesN n)

(EncodingType a, ABIEncoding a) => ABIEncoding (Singleton a)

Methods

toDataBuilder :: Singleton a -> Builder

fromDataParser :: Parser (Singleton a)

toData :: Singleton a -> Text

fromData :: Text -> Maybe (Singleton a)