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

Data.Solidity.Abi

Description

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.

Synopsis

class AbiType a where
- isDynamic :: Proxy a -> Bool
class AbiType a => AbiPut a where
- abiPut :: Putter a
class GenericAbiPut a where
- gAbiPut :: Putter a
class AbiType a => AbiGet a where
- abiGet :: Get a
class GenericAbiGet a where
- gAbiGet :: Get a

Documentation

class AbiType a where #

A class for abi encoding datatype descriptions

Methods

isDynamic :: Proxy a -> Bool #

Instances

AbiType Bool #
Instance details Defined in Data.Solidity.Prim.Bool Methods isDynamic :: Proxy Bool -> Bool #
AbiType () #
Instance details Defined in Network.Ethereum.Contract.Method Methods isDynamic :: Proxy () -> Bool #
AbiType ByteString #
Instance details Defined in Data.Solidity.Prim.Bytes Methods isDynamic :: Proxy ByteString -> Bool #
AbiType Text #
Instance details Defined in Data.Solidity.Prim.String Methods isDynamic :: Proxy Text -> Bool #
AbiType Bytes #
Instance details Defined in Data.Solidity.Prim.Bytes Methods isDynamic :: Proxy Bytes -> Bool #
AbiType Address #
Instance details Defined in Data.Solidity.Prim.Address Methods isDynamic :: Proxy Address -> Bool #
AbiType TransferNonIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy TransferNonIndexed -> Bool #
AbiType TransferIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy TransferIndexed -> Bool #
AbiType NewTTLNonIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy NewTTLNonIndexed -> Bool #
AbiType NewTTLIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy NewTTLIndexed -> Bool #
AbiType NewResolverNonIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy NewResolverNonIndexed -> Bool #
AbiType NewResolverIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy NewResolverIndexed -> Bool #
AbiType NewOwnerNonIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy NewOwnerNonIndexed -> Bool #
AbiType NewOwnerIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy NewOwnerIndexed -> Bool #
AbiType TtlData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy TtlData -> Bool #
AbiType SetTTLData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy SetTTLData -> Bool #
AbiType SetSubnodeOwnerData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy SetSubnodeOwnerData -> Bool #
AbiType SetResolverData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy SetResolverData -> Bool #
AbiType SetOwnerData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy SetOwnerData -> Bool #
AbiType ResolverData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy ResolverData -> Bool #
AbiType OwnerData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods isDynamic :: Proxy OwnerData -> Bool #
AbiType PubkeyChangedNonIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy PubkeyChangedNonIndexed -> Bool #
AbiType PubkeyChangedIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy PubkeyChangedIndexed -> Bool #
AbiType NameChangedNonIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy NameChangedNonIndexed -> Bool #
AbiType NameChangedIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy NameChangedIndexed -> Bool #
AbiType ContentChangedNonIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy ContentChangedNonIndexed -> Bool #
AbiType ContentChangedIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy ContentChangedIndexed -> Bool #
AbiType AddrChangedNonIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy AddrChangedNonIndexed -> Bool #
AbiType AddrChangedIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy AddrChangedIndexed -> Bool #
AbiType ABIChangedNonIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy ABIChangedNonIndexed -> Bool #
AbiType ABIChangedIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy ABIChangedIndexed -> Bool #
AbiType SupportsInterfaceData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy SupportsInterfaceData -> Bool #
AbiType SetPubkeyData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy SetPubkeyData -> Bool #
AbiType SetNameData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy SetNameData -> Bool #
AbiType SetContentData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy SetContentData -> Bool #
AbiType SetAddrData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy SetAddrData -> Bool #
AbiType SetABIData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy SetABIData -> Bool #
AbiType PubkeyData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy PubkeyData -> Bool #
AbiType NameData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy NameData -> Bool #
AbiType ContentData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy ContentData -> Bool #
AbiType AddrData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy AddrData -> Bool #
AbiType ABIData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods isDynamic :: Proxy ABIData -> Bool #
AbiType [a] #
Instance details Defined in Data.Solidity.Prim.List Methods isDynamic :: Proxy [a] -> Bool #
AbiType a => AbiType (OneTuple a) #
Instance details Defined in Data.Solidity.Prim.Tuple Methods isDynamic :: Proxy (OneTuple a) -> Bool #
n <= 256 => AbiType (IntN n) #
Instance details Defined in Data.Solidity.Prim.Int Methods isDynamic :: Proxy (IntN n) -> Bool #
n <= 256 => AbiType (UIntN n) #
Instance details Defined in Data.Solidity.Prim.Int Methods isDynamic :: Proxy (UIntN n) -> Bool #
n <= 32 => AbiType (BytesN n) #
Instance details Defined in Data.Solidity.Prim.Bytes Methods isDynamic :: Proxy (BytesN n) -> Bool #
(AbiType a1, AbiType a2) => AbiType (a1, a2) #
Instance details Defined in Data.Solidity.Prim.Tuple Methods isDynamic :: Proxy (a1, a2) -> Bool #
AbiType (ListN n a) #
Instance details Defined in Data.Solidity.Prim.List Methods isDynamic :: Proxy (ListN n a) -> Bool #
(AbiType a1, AbiType a2, AbiType a3) => AbiType (a1, a2, a3) #
Instance details Defined in Data.Solidity.Prim.Tuple Methods isDynamic :: Proxy (a1, a2, a3) -> Bool #
AbiType a => AbiType (Tagged t a) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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 #

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

Instances

AbiPut Bool #
Instance details Defined in Data.Solidity.Prim.Bool Methods abiPut :: Putter Bool #
AbiPut () #
Instance details Defined in Network.Ethereum.Contract.Method Methods abiPut :: Putter () #
AbiPut ByteString #
Instance details Defined in Data.Solidity.Prim.Bytes Methods abiPut :: Putter ByteString #
AbiPut Text #
Instance details Defined in Data.Solidity.Prim.String Methods abiPut :: Putter Text #
AbiPut Bytes #
Instance details Defined in Data.Solidity.Prim.Bytes Methods abiPut :: Putter Bytes #
AbiPut Address #
Instance details Defined in Data.Solidity.Prim.Address Methods abiPut :: Putter Address #
AbiPut TtlData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiPut :: Putter TtlData #
AbiPut SetTTLData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiPut :: Putter SetTTLData #
AbiPut SetSubnodeOwnerData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiPut :: Putter SetSubnodeOwnerData #
AbiPut SetResolverData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiPut :: Putter SetResolverData #
AbiPut SetOwnerData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiPut :: Putter SetOwnerData #
AbiPut ResolverData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiPut :: Putter ResolverData #
AbiPut OwnerData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiPut :: Putter OwnerData #
AbiPut SupportsInterfaceData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiPut :: Putter SupportsInterfaceData #
AbiPut SetPubkeyData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiPut :: Putter SetPubkeyData #
AbiPut SetNameData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiPut :: Putter SetNameData #
AbiPut SetContentData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiPut :: Putter SetContentData #
AbiPut SetAddrData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiPut :: Putter SetAddrData #
AbiPut SetABIData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiPut :: Putter SetABIData #
AbiPut PubkeyData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiPut :: Putter PubkeyData #
AbiPut NameData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiPut :: Putter NameData #
AbiPut ContentData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiPut :: Putter ContentData #
AbiPut AddrData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiPut :: Putter AddrData #
AbiPut ABIData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiPut :: Putter ABIData #
AbiPut a => AbiPut [a] #
Instance details Defined in Data.Solidity.Prim.List Methods abiPut :: Putter [a] #
AbiPut a => AbiPut (OneTuple a) #
Instance details Defined in Data.Solidity.Prim.Tuple Methods abiPut :: Putter (OneTuple a) #
n <= 256 => AbiPut (IntN n) #
Instance details Defined in Data.Solidity.Prim.Int Methods abiPut :: Putter (IntN n) #
n <= 256 => AbiPut (UIntN n) #
Instance details Defined in Data.Solidity.Prim.Int Methods abiPut :: Putter (UIntN n) #
(KnownNat n, n <= 32) => AbiPut (BytesN n) #
Instance details Defined in Data.Solidity.Prim.Bytes Methods abiPut :: Putter (BytesN n) #
(AbiPut a1, AbiPut a2) => AbiPut (a1, a2) #
Instance details Defined in Data.Solidity.Prim.Tuple Methods abiPut :: Putter (a1, a2) #
AbiPut a => AbiPut (ListN n a) #
Instance details Defined in Data.Solidity.Prim.List Methods abiPut :: Putter (ListN n a) #
(AbiPut a1, AbiPut a2, AbiPut a3) => AbiPut (a1, a2, a3) #
Instance details Defined in Data.Solidity.Prim.Tuple Methods abiPut :: Putter (a1, a2, a3) #
AbiPut a => AbiPut (Tagged t a) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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 ': ([] :: [[k]]))) #
Instance details 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 #

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

Instances

AbiGet Bool #
Instance details Defined in Data.Solidity.Prim.Bool Methods abiGet :: Get Bool #
AbiGet ByteString #
Instance details Defined in Data.Solidity.Prim.Bytes Methods abiGet :: Get ByteString #
AbiGet Text #
Instance details Defined in Data.Solidity.Prim.String Methods abiGet :: Get Text #
AbiGet Bytes #
Instance details Defined in Data.Solidity.Prim.Bytes Methods abiGet :: Get Bytes #
AbiGet Address #
Instance details Defined in Data.Solidity.Prim.Address Methods abiGet :: Get Address #
AbiGet TransferNonIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get TransferNonIndexed #
AbiGet TransferIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get TransferIndexed #
AbiGet NewTTLNonIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get NewTTLNonIndexed #
AbiGet NewTTLIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get NewTTLIndexed #
AbiGet NewResolverNonIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get NewResolverNonIndexed #
AbiGet NewResolverIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get NewResolverIndexed #
AbiGet NewOwnerNonIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get NewOwnerNonIndexed #
AbiGet NewOwnerIndexed #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get NewOwnerIndexed #
AbiGet TtlData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get TtlData #
AbiGet SetTTLData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get SetTTLData #
AbiGet SetSubnodeOwnerData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get SetSubnodeOwnerData #
AbiGet SetResolverData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get SetResolverData #
AbiGet SetOwnerData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get SetOwnerData #
AbiGet ResolverData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get ResolverData #
AbiGet OwnerData #
Instance details Defined in Network.Ethereum.Ens.Registry Methods abiGet :: Get OwnerData #
AbiGet PubkeyChangedNonIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get PubkeyChangedNonIndexed #
AbiGet PubkeyChangedIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get PubkeyChangedIndexed #
AbiGet NameChangedNonIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get NameChangedNonIndexed #
AbiGet NameChangedIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get NameChangedIndexed #
AbiGet ContentChangedNonIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get ContentChangedNonIndexed #
AbiGet ContentChangedIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get ContentChangedIndexed #
AbiGet AddrChangedNonIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get AddrChangedNonIndexed #
AbiGet AddrChangedIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get AddrChangedIndexed #
AbiGet ABIChangedNonIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get ABIChangedNonIndexed #
AbiGet ABIChangedIndexed #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get ABIChangedIndexed #
AbiGet SupportsInterfaceData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get SupportsInterfaceData #
AbiGet SetPubkeyData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get SetPubkeyData #
AbiGet SetNameData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get SetNameData #
AbiGet SetContentData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get SetContentData #
AbiGet SetAddrData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get SetAddrData #
AbiGet SetABIData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get SetABIData #
AbiGet PubkeyData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get PubkeyData #
AbiGet NameData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get NameData #
AbiGet ContentData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get ContentData #
AbiGet AddrData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get AddrData #
AbiGet ABIData #
Instance details Defined in Network.Ethereum.Ens.PublicResolver Methods abiGet :: Get ABIData #
AbiGet a => AbiGet [a] #
Instance details Defined in Data.Solidity.Prim.List Methods abiGet :: Get [a] #
AbiGet a => AbiGet (OneTuple a) #
Instance details Defined in Data.Solidity.Prim.Tuple Methods abiGet :: Get (OneTuple a) #
n <= 256 => AbiGet (IntN n) #
Instance details Defined in Data.Solidity.Prim.Int Methods abiGet :: Get (IntN n) #
n <= 256 => AbiGet (UIntN n) #
Instance details Defined in Data.Solidity.Prim.Int Methods abiGet :: Get (UIntN n) #
(KnownNat n, n <= 32) => AbiGet (BytesN n) #
Instance details Defined in Data.Solidity.Prim.Bytes Methods abiGet :: Get (BytesN n) #
(AbiGet a1, AbiGet a2) => AbiGet (a1, a2) #
Instance details Defined in Data.Solidity.Prim.Tuple Methods abiGet :: Get (a1, a2) #
(NatWithinBound Int n, KnownNat n, AbiGet a) => AbiGet (ListN n a) #
Instance details Defined in Data.Solidity.Prim.List Methods abiGet :: Get (ListN n a) #
(AbiGet a1, AbiGet a2, AbiGet a3) => AbiGet (a1, a2, a3) #
Instance details Defined in Data.Solidity.Prim.Tuple Methods abiGet :: Get (a1, a2, a3) #
AbiGet a => AbiGet (Tagged t a) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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) #
Instance details 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)) #
Instance details Defined in Data.Solidity.Abi.Generic Methods gAbiGet :: Get (NP I (a ': as)) #
GenericAbiGet (NP f ([] :: [k])) #
Instance details Defined in Data.Solidity.Abi.Generic Methods gAbiGet :: Get (NP f []) #
GenericAbiGet (NP f as) => GenericAbiGet (SOP f (as ': ([] :: [[k]]))) #
Instance details Defined in Data.Solidity.Abi.Generic Methods gAbiGet :: Get (SOP f (as ': [])) #