Data.Solidity.Abi

The Application Binary Interface is the standard way to interact with contracts in the Ethereum ecosystem, both from outside the blockchain and for contract-to-contract interaction. Data is encoded according to its type, as described in this specification. The encoding is not self describing and thus requires a schema in order to decode.

Documentation

class AbiType a where

A class for abi encoding datatype descriptions

Methods

isDynamic :: Proxy a -> Bool

Instances

AbiType Bool

Defined in Data.Solidity.Prim.Bool

Methods

isDynamic :: Proxy Bool -> Bool

AbiType ByteString

Defined in Data.Solidity.Prim.Bytes

Methods

isDynamic :: Proxy ByteString -> Bool

AbiType Text

Defined in Data.Solidity.Prim.String

Methods

isDynamic :: Proxy Text -> Bool

AbiType Bytes

Defined in Data.Solidity.Prim.Bytes

Methods

isDynamic :: Proxy Bytes -> Bool

AbiType Address

Defined in Data.Solidity.Prim.Address

Methods

isDynamic :: Proxy Address -> Bool

AbiType [a]

Defined in Data.Solidity.Prim.List

Methods

isDynamic :: Proxy [a] -> Bool

AbiType a => AbiType (OneTuple a)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (OneTuple a) -> Bool

n <= 256 => AbiType (IntN n)

Defined in Data.Solidity.Prim.Int

Methods

isDynamic :: Proxy (IntN n) -> Bool

n <= 256 => AbiType (UIntN n)

Defined in Data.Solidity.Prim.Int

Methods

isDynamic :: Proxy (UIntN n) -> Bool

n <= 32 => AbiType (BytesN n)

Defined in Data.Solidity.Prim.Bytes

Methods

isDynamic :: Proxy (BytesN n) -> Bool

(AbiType a1, AbiType a2) => AbiType (a1, a2)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2) -> Bool

AbiType (ListN n a)

Defined in Data.Solidity.Prim.List

Methods

isDynamic :: Proxy (ListN n a) -> Bool

(AbiType a1, AbiType a2, AbiType a3) => AbiType (a1, a2, a3)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3) -> Bool

AbiType a => AbiType (Tagged t a)

Defined in Data.Solidity.Prim.Tagged

Methods

isDynamic :: Proxy (Tagged t a) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4) => AbiType (a1, a2, a3, a4)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5) => AbiType (a1, a2, a3, a4, a5)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6) => AbiType (a1, a2, a3, a4, a5, a6)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7) => AbiType (a1, a2, a3, a4, a5, a6, a7)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9, AbiType a10) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9, AbiType a10, AbiType a11) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9, AbiType a10, AbiType a11, AbiType a12) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9, AbiType a10, AbiType a11, AbiType a12, AbiType a13) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9, AbiType a10, AbiType a11, AbiType a12, AbiType a13, AbiType a14) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9, AbiType a10, AbiType a11, AbiType a12, AbiType a13, AbiType a14, AbiType a15) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9, AbiType a10, AbiType a11, AbiType a12, AbiType a13, AbiType a14, AbiType a15, AbiType a16) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9, AbiType a10, AbiType a11, AbiType a12, AbiType a13, AbiType a14, AbiType a15, AbiType a16, AbiType a17) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9, AbiType a10, AbiType a11, AbiType a12, AbiType a13, AbiType a14, AbiType a15, AbiType a16, AbiType a17, AbiType a18) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9, AbiType a10, AbiType a11, AbiType a12, AbiType a13, AbiType a14, AbiType a15, AbiType a16, AbiType a17, AbiType a18, AbiType a19) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19) -> Bool

(AbiType a1, AbiType a2, AbiType a3, AbiType a4, AbiType a5, AbiType a6, AbiType a7, AbiType a8, AbiType a9, AbiType a10, AbiType a11, AbiType a12, AbiType a13, AbiType a14, AbiType a15, AbiType a16, AbiType a17, AbiType a18, AbiType a19, AbiType a20) => AbiType (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20)

Defined in Data.Solidity.Prim.Tuple

Methods

isDynamic :: Proxy (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20) -> Bool

class AbiType a => AbiPut a where

A class for encoding datatypes to their abi encoding

If your compiler has support for the DeriveGeneric and DefaultSignatures language extensions (ghc >= 7.2.1), the abiPut method will have default generic implementations.

To use this option, simply add a deriving Generic clause to your datatype and declare a AbiPut instance for it without giving a definition for abiPut.

Minimal complete definition

Nothing

Methods

abiPut :: Putter a

default abiPut :: (Generic a, Rep a ~ rep, GenericAbiPut rep) => Putter a

Instances

AbiPut Bool

Defined in Data.Solidity.Prim.Bool

Methods

abiPut :: Putter Bool

AbiPut ByteString

Defined in Data.Solidity.Prim.Bytes

Methods

abiPut :: Putter ByteString

AbiPut Text

Defined in Data.Solidity.Prim.String

Methods

abiPut :: Putter Text

AbiPut Bytes

Defined in Data.Solidity.Prim.Bytes

Methods

abiPut :: Putter Bytes

AbiPut Address

Defined in Data.Solidity.Prim.Address

Methods

abiPut :: Putter Address

AbiPut a => AbiPut [a]

Defined in Data.Solidity.Prim.List

Methods

abiPut :: Putter [a]

AbiPut a => AbiPut (OneTuple a)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (OneTuple a)

n <= 256 => AbiPut (IntN n)

Defined in Data.Solidity.Prim.Int

Methods

abiPut :: Putter (IntN n)

n <= 256 => AbiPut (UIntN n)

Defined in Data.Solidity.Prim.Int

Methods

abiPut :: Putter (UIntN n)

(KnownNat n, n <= 32) => AbiPut (BytesN n)

Defined in Data.Solidity.Prim.Bytes

Methods

abiPut :: Putter (BytesN n)

(AbiPut a1, AbiPut a2) => AbiPut (a1, a2)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2)

AbiPut a => AbiPut (ListN n a)

Defined in Data.Solidity.Prim.List

Methods

abiPut :: Putter (ListN n a)

(AbiPut a1, AbiPut a2, AbiPut a3) => AbiPut (a1, a2, a3)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3)

AbiPut a => AbiPut (Tagged t a)

Defined in Data.Solidity.Prim.Tagged

Methods

abiPut :: Putter (Tagged t a)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4) => AbiPut (a1, a2, a3, a4)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5) => AbiPut (a1, a2, a3, a4, a5)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6) => AbiPut (a1, a2, a3, a4, a5, a6)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7) => AbiPut (a1, a2, a3, a4, a5, a6, a7)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9, AbiPut a10) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9, AbiPut a10, AbiPut a11) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9, AbiPut a10, AbiPut a11, AbiPut a12) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9, AbiPut a10, AbiPut a11, AbiPut a12, AbiPut a13) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9, AbiPut a10, AbiPut a11, AbiPut a12, AbiPut a13, AbiPut a14) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9, AbiPut a10, AbiPut a11, AbiPut a12, AbiPut a13, AbiPut a14, AbiPut a15) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9, AbiPut a10, AbiPut a11, AbiPut a12, AbiPut a13, AbiPut a14, AbiPut a15, AbiPut a16) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9, AbiPut a10, AbiPut a11, AbiPut a12, AbiPut a13, AbiPut a14, AbiPut a15, AbiPut a16, AbiPut a17) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9, AbiPut a10, AbiPut a11, AbiPut a12, AbiPut a13, AbiPut a14, AbiPut a15, AbiPut a16, AbiPut a17, AbiPut a18) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9, AbiPut a10, AbiPut a11, AbiPut a12, AbiPut a13, AbiPut a14, AbiPut a15, AbiPut a16, AbiPut a17, AbiPut a18, AbiPut a19) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19)

(AbiPut a1, AbiPut a2, AbiPut a3, AbiPut a4, AbiPut a5, AbiPut a6, AbiPut a7, AbiPut a8, AbiPut a9, AbiPut a10, AbiPut a11, AbiPut a12, AbiPut a13, AbiPut a14, AbiPut a15, AbiPut a16, AbiPut a17, AbiPut a18, AbiPut a19, AbiPut a20) => AbiPut (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20)

Defined in Data.Solidity.Prim.Tuple

Methods

abiPut :: Putter (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20)

class GenericAbiPut a where

A class for encoding generically composed datatypes to their abi encoding

Methods

gAbiPut :: Putter a

Instances

AbiData (NP f as) => GenericAbiPut (SOP f '[as])

Defined in Data.Solidity.Abi.Generic

Methods

gAbiPut :: Putter (SOP f '[as])

class AbiType a => AbiGet a where

A class for decoding datatypes from their abi encoding

If your compiler has support for the DeriveGeneric and DefaultSignatures language extensions (ghc >= 7.2.1), the abiGet method will have default generic implementations.

To use this option, simply add a deriving Generic clause to your datatype and declare a AbiGet instance for it without giving a definition for abiGet.

Minimal complete definition

Nothing

Methods

abiGet :: Get a

default abiGet :: (Generic a, Rep a ~ rep, GenericAbiGet rep) => Get a

Instances

AbiGet Bool

Defined in Data.Solidity.Prim.Bool

Methods

abiGet :: Get Bool

AbiGet ByteString

Defined in Data.Solidity.Prim.Bytes

Methods

abiGet :: Get ByteString

AbiGet Text

Defined in Data.Solidity.Prim.String

Methods

abiGet :: Get Text

AbiGet Bytes

Defined in Data.Solidity.Prim.Bytes

Methods

abiGet :: Get Bytes

AbiGet Address

Defined in Data.Solidity.Prim.Address

Methods

abiGet :: Get Address

AbiGet a => AbiGet [a]

Defined in Data.Solidity.Prim.List

Methods

abiGet :: Get [a]

AbiGet a => AbiGet (OneTuple a)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (OneTuple a)

n <= 256 => AbiGet (IntN n)

Defined in Data.Solidity.Prim.Int

Methods

abiGet :: Get (IntN n)

n <= 256 => AbiGet (UIntN n)

Defined in Data.Solidity.Prim.Int

Methods

abiGet :: Get (UIntN n)

(KnownNat n, n <= 32) => AbiGet (BytesN n)

Defined in Data.Solidity.Prim.Bytes

Methods

abiGet :: Get (BytesN n)

(AbiGet a1, AbiGet a2) => AbiGet (a1, a2)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2)

(NatWithinBound Int n, KnownNat n, AbiGet a) => AbiGet (ListN n a)

Defined in Data.Solidity.Prim.List

Methods

abiGet :: Get (ListN n a)

(AbiGet a1, AbiGet a2, AbiGet a3) => AbiGet (a1, a2, a3)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3)

AbiGet a => AbiGet (Tagged t a)

Defined in Data.Solidity.Prim.Tagged

Methods

abiGet :: Get (Tagged t a)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4) => AbiGet (a1, a2, a3, a4)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5) => AbiGet (a1, a2, a3, a4, a5)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6) => AbiGet (a1, a2, a3, a4, a5, a6)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7) => AbiGet (a1, a2, a3, a4, a5, a6, a7)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9, AbiGet a10) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9, AbiGet a10, AbiGet a11) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9, AbiGet a10, AbiGet a11, AbiGet a12) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9, AbiGet a10, AbiGet a11, AbiGet a12, AbiGet a13) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9, AbiGet a10, AbiGet a11, AbiGet a12, AbiGet a13, AbiGet a14) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9, AbiGet a10, AbiGet a11, AbiGet a12, AbiGet a13, AbiGet a14, AbiGet a15) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9, AbiGet a10, AbiGet a11, AbiGet a12, AbiGet a13, AbiGet a14, AbiGet a15, AbiGet a16) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9, AbiGet a10, AbiGet a11, AbiGet a12, AbiGet a13, AbiGet a14, AbiGet a15, AbiGet a16, AbiGet a17) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9, AbiGet a10, AbiGet a11, AbiGet a12, AbiGet a13, AbiGet a14, AbiGet a15, AbiGet a16, AbiGet a17, AbiGet a18) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9, AbiGet a10, AbiGet a11, AbiGet a12, AbiGet a13, AbiGet a14, AbiGet a15, AbiGet a16, AbiGet a17, AbiGet a18, AbiGet a19) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19)

(AbiGet a1, AbiGet a2, AbiGet a3, AbiGet a4, AbiGet a5, AbiGet a6, AbiGet a7, AbiGet a8, AbiGet a9, AbiGet a10, AbiGet a11, AbiGet a12, AbiGet a13, AbiGet a14, AbiGet a15, AbiGet a16, AbiGet a17, AbiGet a18, AbiGet a19, AbiGet a20) => AbiGet (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20)

Defined in Data.Solidity.Prim.Tuple

Methods

abiGet :: Get (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16, a17, a18, a19, a20)

class GenericAbiGet a where

A class for decoding generically composed datatypes from their abi encoding

Methods

gAbiGet :: Get a

Instances

(AbiGet a, GenericAbiGet (NP I as)) => GenericAbiGet (NP I (a ': as))

Defined in Data.Solidity.Abi.Generic

Methods

gAbiGet :: Get (NP I (a ': as))

GenericAbiGet (NP f ('[] :: [k]))

Defined in Data.Solidity.Abi.Generic

Methods

gAbiGet :: Get (NP f '[])

GenericAbiGet (NP f as) => GenericAbiGet (SOP f '[as])

Defined in Data.Solidity.Abi.Generic

Methods

gAbiGet :: Get (SOP f '[as])