Module

Network.Ethereum.Web3.Solidity.Generic

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

#GenericABIEncode Source

class GenericABIEncode a  where

A class for encoding generically composed datatypes to their abi encoding

Members

Instances

#GenericABIDecode Source

class GenericABIDecode a  where

A class for decoding generically composed datatypes from their abi encoding

Members

Instances

#ABIData Source

class ABIData a  where

An internally used class for encoding

Members

Instances

#EncodedValue Source

data EncodedValue

An internally used type for encoding

Instances

#genericABIEncode Source

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 Source

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 Source

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

#RecordFieldsIso Source

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

Members

Instances

#genericToRecordFields Source

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

#genericFromRecordFields Source

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

#ArgsToRowListProxy Source

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

Members

Instances