web3-solidity-1.0.1.0: Solidity language for Haskell Web3 library.
CopyrightAleksandr Krupenkin 2016-2024
LicenseApache-2.0
Maintainermail@akru.me
Stabilityexperimental
Portabilitynoportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Solidity.Prim.Tuple

Description

Tuple type abi encoding instances.

Orphan instances

Generic (a) Source # 
Instance details

Associated Types

type Code (a) :: [[Type]] #

Methods

from :: (a) -> Rep (a) #

to :: Rep (a) -> (a) #

AbiGet a => AbiGet (a) Source # 
Instance details

Methods

abiGet :: Get (a) Source #

AbiPut a => AbiPut (a) Source # 
Instance details

Methods

abiPut :: Putter (a) Source #

AbiType a => AbiType (a) Source # 
Instance details

Methods

isDynamic :: Proxy (a) -> Bool Source #

(AbiGet a, AbiGet a) => AbiGet (a, a) Source # 
Instance details

Methods

abiGet :: Get (a0, a) Source #

(AbiPut a, AbiPut a) => AbiPut (a, a) Source # 
Instance details

Methods

abiPut :: Putter (a0, a) Source #

(AbiType a, AbiType a) => AbiType (a, a) Source # 
Instance details

Methods

isDynamic :: Proxy (a0, a) -> Bool Source #

(AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a) Source # 
Instance details

Methods

abiGet :: Get (a0, a1, a) Source #

(AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a) Source # 
Instance details

Methods

abiPut :: Putter (a0, a1, a) Source #

(AbiType a, AbiType a, AbiType a) => AbiType (a, a, a) Source # 
Instance details

Methods

isDynamic :: Proxy (a0, a1, a) -> Bool Source #

(AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a) Source # 
Instance details

Methods

abiGet :: Get (a0, a1, a2, a) Source #

(AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a) Source # 
Instance details

Methods

abiPut :: Putter (a0, a1, a2, a) Source #

(AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a) Source # 
Instance details

Methods

isDynamic :: Proxy (a0, a1, a2, a) -> Bool Source #

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a) Source # 
Instance details

Methods

abiGet :: Get (a0, a1, a2, a3, a) Source #

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a) Source # 
Instance details

Methods

abiPut :: Putter (a0, a1, a2, a3, a) Source #

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a) Source # 
Instance details

Methods

isDynamic :: Proxy (a0, a1, a2, a3, a) -> Bool Source #

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a) Source # 
Instance details

Methods

abiGet :: Get (a0, a1, a2, a3, a4, a) Source #

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a) Source # 
Instance details

Methods

abiPut :: Putter (a0, a1, a2, a3, a4, a) Source #

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a) Source # 
Instance details

Methods

isDynamic :: Proxy (a0, a1, a2, a3, a4, a) -> Bool Source #

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a) Source # 
Instance details

Methods

abiGet :: Get (a0, a1, a2, a3, a4, a5, a) Source #

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a) Source # 
Instance details

Methods

abiPut :: Putter (a0, a1, a2, a3, a4, a5, a) Source #

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a) Source # 
Instance details

Methods

isDynamic :: Proxy (a0, a1, a2, a3, a4, a5, a) -> Bool Source #

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

abiGet :: Get (a0, a1, a2, a3, a4, a5, a6, a) Source #

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

abiPut :: Putter (a0, a1, a2, a3, a4, a5, a6, a) Source #

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

isDynamic :: Proxy (a0, a1, a2, a3, a4, a5, a6, a) -> Bool Source #

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

abiGet :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a) Source #

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

abiPut :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a) Source #

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

abiGet :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a) Source #

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

abiPut :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a) Source #

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

abiGet :: Get (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a) Source #

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

abiPut :: Putter (a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a) Source #

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a, AbiGet a) => AbiGet (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a, AbiPut a) => AbiPut (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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

(AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a, AbiType a) => AbiType (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) Source # 
Instance details

Methods

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