Copyright	Alexander Krupenkin 2016
License	BSD3
Maintainer	mail@akru.me
Stability	experimental
Portability	unportable
Safe Haskell	None
Language	Haskell2010

Network.Ethereum.Web3.TH

Contents

Quasiquoter's
Used by TH data types

Description

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

[abiFrom|data/sample.json|]

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

Synopsis

Quasiquoter's

abi :: QuasiQuoter Source #

QQ reader for contract ABI

abiFrom :: QuasiQuoter Source #

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

Hashable Text
Methods hashWithSalt :: Int -> Text -> Int # hash :: Text -> Int #
ToJSON Text
Methods toJSON :: Text -> Value # toEncoding :: Text -> Encoding # toJSONList :: [Text] -> Value # toEncodingList :: [Text] -> Encoding #
KeyValue Pair
Methods (.=) :: ToJSON v => Text -> v -> Pair #
ToJSONKey Text
Methods toJSONKey :: ToJSONKeyFunction Text # toJSONKeyList :: ToJSONKeyFunction [Text] #
FromJSON Text
Methods parseJSON :: Value -> Parser Text # parseJSONList :: Value -> Parser [Text] #
FromJSONKey Text
Methods fromJSONKey :: FromJSONKeyFunction Text # fromJSONKeyList :: FromJSONKeyFunction [Text] #
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]
ABIEncoding Text Source #
Methods toDataBuilder :: Text -> Builder Source # fromDataParser :: Parser Text Source # toData :: Text -> Text Source # fromData :: Text -> Maybe Text Source #
type State Text
type State Text = Buffer
type ChunkElem Text
type ChunkElem Text = Char
type Item Text
type Item Text = Char

newtype Singleton a Source #

Singleton parameter instance

Constructors

Singleton
Fields unSingleton :: a

Instances

(EncodingType a, ABIEncoding a) => ABIEncoding (Singleton a) Source #
Methods toDataBuilder :: Singleton a -> Builder Source # fromDataParser :: Parser (Singleton a) Source # toData :: Singleton a -> Text Source # fromData :: Text -> Maybe (Singleton a) Source #

class ABIEncoding a where Source #

Contract ABI data codec

Minimal complete definition

toDataBuilder, fromDataParser

Methods

toDataBuilder :: a -> Builder Source #

fromDataParser :: Parser a Source #

toData :: a -> Text Source #

Encode value into abi-encoding represenation

fromData :: Text -> Maybe a Source #

Parse encoded value

Instances

ABIEncoding Bool Source #
Methods toDataBuilder :: Bool -> Builder Source # fromDataParser :: Parser Bool Source # toData :: Bool -> Text Source # fromData :: Text -> Maybe Bool Source #
ABIEncoding Int Source #
Methods toDataBuilder :: Int -> Builder Source # fromDataParser :: Parser Int Source # toData :: Int -> Text Source # fromData :: Text -> Maybe Int Source #
ABIEncoding Integer Source #
Methods toDataBuilder :: Integer -> Builder Source # fromDataParser :: Parser Integer Source # toData :: Integer -> Text Source # fromData :: Text -> Maybe Integer Source #
ABIEncoding Word Source #
Methods toDataBuilder :: Word -> Builder Source # fromDataParser :: Parser Word Source # toData :: Word -> Text Source # fromData :: Text -> Maybe Word Source #
ABIEncoding Text Source #
Methods toDataBuilder :: Text -> Builder Source # fromDataParser :: Parser Text Source # toData :: Text -> Text Source # fromData :: Text -> Maybe Text Source #
ABIEncoding Address Source #
Methods toDataBuilder :: Address -> Builder Source # fromDataParser :: Parser Address Source # toData :: Address -> Text Source # fromData :: Text -> Maybe Address Source #
ABIEncoding BytesD Source #
Methods toDataBuilder :: BytesD -> Builder Source # fromDataParser :: Parser BytesD Source # toData :: BytesD -> Text Source # fromData :: Text -> Maybe BytesD Source #
ABIEncoding NoMethod Source #
Methods toDataBuilder :: NoMethod -> Builder Source # fromDataParser :: Parser NoMethod Source # toData :: NoMethod -> Text Source # fromData :: Text -> Maybe NoMethod Source #
ABIEncoding a => ABIEncoding [a] Source #
Methods toDataBuilder :: [a] -> Builder Source # fromDataParser :: Parser [a] Source # toData :: [a] -> Text Source # fromData :: Text -> Maybe [a] Source #
KnownNat n => ABIEncoding (BytesN n) Source #
Methods toDataBuilder :: BytesN n -> Builder Source # fromDataParser :: Parser (BytesN n) Source # toData :: BytesN n -> Text Source # fromData :: Text -> Maybe (BytesN n) Source #
(EncodingType a, ABIEncoding a) => ABIEncoding (Singleton a) Source #
Methods toDataBuilder :: Singleton a -> Builder Source # fromDataParser :: Parser (Singleton a) Source # toData :: Singleton a -> Text Source # fromData :: Text -> Maybe (Singleton a) Source #