Network.Ethereum.Web3.Solidity.Generic

class GenericABIEncode a  where

A class for encoding generically composed datatypes to their abi encoding

Members

• genericToDataBuilder :: a -> HexString

Instances

• (ABIData a) => GenericABIEncode (Constructor name a)

class GenericABIDecode a  where

A class for decoding generically composed datatypes from their abi encoding

Members

• genericFromDataParser :: Parser String a

Instances

• (EncodingType a, ABIDecode a) => GenericABIDecode (Argument a)
• GenericABIDecode NoArguments
• (EncodingType b, ABIDecode b, GenericABIDecode a) => GenericABIDecode (Product (Argument b) a)
• (GenericABIDecode a) => GenericABIDecode (Constructor name a)

class ABIData a  where

An internally used class for encoding

Members

• _serialize :: Array EncodedValue -> a -> Array EncodedValue

Instances

• ABIData NoArguments
• (EncodingType b, ABIEncode b) => ABIData (Argument b)
• (EncodingType b, ABIEncode b, ABIData a) => ABIData (Product (Argument b) a)

data EncodedValue

An internally used type for encoding

Instances

• Eq EncodedValue
• Ord EncodedValue

genericABIEncode :: forall rep a. Generic a rep => GenericABIEncode rep => a -> HexString

Encode a generic type into its abi encoding, works only for types of the form Constructor name (Product (Argument a1) (Product ... (Argument an)))

genericABIDecode :: forall rep a. Generic a rep => GenericABIDecode rep => Parser String a

Encode a generic type into its abi encoding, works only for types of the form Constructor name (Product (Argument a1) (Product ... (Argument an)))

genericFromData :: forall rep a. Generic a rep => GenericABIDecode rep => HexString -> Either ParseError a

class RecordFieldsIso args fields rowList | args -> rowList, rowList -> args fields where

Members

• toRecordFields :: RLProxy rowList -> args -> Record fields
• fromRecordFields :: RLProxy rowList -> Record fields -> args

Instances

• (IsSymbol s, RowCons s a () r, RowLacks s ()) => RecordFieldsIso (Argument (Tagged (SProxy s) a)) r (Cons s a Nil)
• RecordFieldsIso NoArguments () Nil
• (RecordFieldsIso as r1 (Cons ls la ll), RowCons s a r1 r2, RowLacks s r1, IsSymbol s, ListToRow (Cons ls la ll) r1) => RecordFieldsIso (Product (Argument (Tagged (SProxy s) a)) as) r2 (Cons s a (Cons ls la ll))

genericToRecordFields :: forall name a l fields args. RecordFieldsIso args fields l => Generic a (Constructor name args) => a -> Record fields

genericFromRecordFields :: forall name a l fields args. RecordFieldsIso args fields l => Generic a (Constructor name args) => Record fields -> a

class ArgsToRowListProxy args (l :: RowList) | args -> l, l -> args where

Members

• argsToRowListProxy :: Proxy args -> RLProxy l

Instances

• ArgsToRowListProxy NoArguments Nil
• ArgsToRowListProxy (Argument (Tagged (SProxy s) a)) (Cons s a Nil)
• (ArgsToRowListProxy as l) => ArgsToRowListProxy (Product (Argument (Tagged (SProxy s) a)) as) (Cons s a l)