Network.Ethereum.Web3.Solidity.Tuple

data EncodedValue

Constructors

• EncodedValue { encoding :: HexString, offset :: Maybe Int, order :: Int }

Instances

• Eq EncodedValue
• Ord EncodedValue

class ABIData a  where

ABI data multiparam internal serializer

Members

• _serialize :: Array EncodedValue -> a

Instances

• ABIData HexString
• (EncodingType b, ABIEncoding b, ABIData a) => ABIData (b -> a)

newtype Singleton a

Constructors

• Singleton a

Instances

• (ABIEncoding a, EncodingType a) => ABIEncoding (Singleton a)
• Generic (Singleton a) _
• (Show a) => Show (Singleton a)
• (Eq a) => Eq (Singleton a)

unSingleton :: forall a. Singleton a -> a

uncurry1 :: forall b a. (a -> b) -> Singleton a -> b

curry1 :: forall b a. (Singleton a -> b) -> a -> b

data Tuple2 a b

Constructors

• Tuple2 a b

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b) => ABIEncoding (Tuple2 a b)
• Generic (Tuple2 a b) _
• (Show a, Show b) => Show (Tuple2 a b)
• (Eq a, Eq b) => Eq (Tuple2 a b)

uncurry2 :: forall c b a. (a -> b -> c) -> Tuple2 a b -> c

curry2 :: forall c b a. (Tuple2 a b -> c) -> a -> b -> c

data Tuple3 a b c

Constructors

• Tuple3 a b c

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c) => ABIEncoding (Tuple3 a b c)
• Generic (Tuple3 a b c) _
• (Show a, Show b, Show c) => Show (Tuple3 a b c)
• (Eq a, Eq b, Eq c) => Eq (Tuple3 a b c)

uncurry3 :: forall d c b a. (a -> b -> c -> d) -> Tuple3 a b c -> d

curry3 :: forall d c b a. (Tuple3 a b c -> d) -> a -> b -> c -> d

data Tuple4 a b c d

Constructors

• Tuple4 a b c d

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d) => ABIEncoding (Tuple4 a b c d)
• Generic (Tuple4 a b c d) _
• (Show a, Show b, Show c, Show d) => Show (Tuple4 a b c d)
• (Eq a, Eq b, Eq c, Eq d) => Eq (Tuple4 a b c d)

uncurry4 :: forall e d c b a. (a -> b -> c -> d -> e) -> Tuple4 a b c d -> e

curry4 :: forall e d c b a. (Tuple4 a b c d -> e) -> a -> b -> c -> d -> e

data Tuple5 a b c d e

Constructors

• Tuple5 a b c d e

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e) => ABIEncoding (Tuple5 a b c d e)
• Generic (Tuple5 a b c d e) _
• (Show a, Show b, Show c, Show d, Show e) => Show (Tuple5 a b c d e)
• (Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (Tuple5 a b c d e)

uncurry5 :: forall f e d c b a. (a -> b -> c -> d -> e -> f) -> Tuple5 a b c d e -> f

curry5 :: forall f e d c b a. (Tuple5 a b c d e -> f) -> a -> b -> c -> d -> e -> f

data Tuple6 a b c d e f

Constructors

• Tuple6 a b c d e f

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f) => ABIEncoding (Tuple6 a b c d e f)
• Generic (Tuple6 a b c d e f) _
• (Show a, Show b, Show c, Show d, Show e, Show f) => Show (Tuple6 a b c d e f)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (Tuple6 a b c d e f)

uncurry6 :: forall g f e d c b a. (a -> b -> c -> d -> e -> f -> g) -> Tuple6 a b c d e f -> g

curry6 :: forall g f e d c b a. (Tuple6 a b c d e f -> g) -> a -> b -> c -> d -> e -> f -> g

data Tuple7 a b c d e f g

Constructors

• Tuple7 a b c d e f g

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g) => ABIEncoding (Tuple7 a b c d e f g)
• Generic (Tuple7 a b c d e f g) _
• (Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (Tuple7 a b c d e f g)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (Tuple7 a b c d e f g)

uncurry7 :: forall h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h) -> Tuple7 a b c d e f g -> h

curry7 :: forall h g f e d c b a. (Tuple7 a b c d e f g -> h) -> a -> b -> c -> d -> e -> f -> g -> h

data Tuple8 a b c d e f g h

Constructors

• Tuple8 a b c d e f g h

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h) => ABIEncoding (Tuple8 a b c d e f g h)
• Generic (Tuple8 a b c d e f g h) _
• (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h) => Show (Tuple8 a b c d e f g h)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq (Tuple8 a b c d e f g h)

uncurry8 :: forall i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i) -> Tuple8 a b c d e f g h -> i

curry8 :: forall i h g f e d c b a. (Tuple8 a b c d e f g h -> i) -> a -> b -> c -> d -> e -> f -> g -> h -> i

data Tuple9 a b c d e f g h i

Constructors

• Tuple9 a b c d e f g h i

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i) => ABIEncoding (Tuple9 a b c d e f g h i)
• Generic (Tuple9 a b c d e f g h i) _
• (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i) => Show (Tuple9 a b c d e f g h i)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq (Tuple9 a b c d e f g h i)

uncurry9 :: forall j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j) -> Tuple9 a b c d e f g h i -> j

curry9 :: forall j i h g f e d c b a. (Tuple9 a b c d e f g h i -> j) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j

data Tuple10 a b c d e f g h i j

Constructors

• Tuple10 a b c d e f g h i j

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j) => ABIEncoding (Tuple10 a b c d e f g h i j)
• Generic (Tuple10 a b c d e f g h i j) _
• (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j) => Show (Tuple10 a b c d e f g h i j)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j) => Eq (Tuple10 a b c d e f g h i j)

uncurry10 :: forall k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k) -> Tuple10 a b c d e f g h i j -> k

curry10 :: forall k j i h g f e d c b a. (Tuple10 a b c d e f g h i j -> k) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k

data Tuple11 a b c d e f g h i j k

Constructors

• Tuple11 a b c d e f g h i j k

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k) => ABIEncoding (Tuple11 a b c d e f g h i j k)
• Generic (Tuple11 a b c d e f g h i j k) _
• (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k) => Show (Tuple11 a b c d e f g h i j k)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k) => Eq (Tuple11 a b c d e f g h i j k)

uncurry11 :: forall l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l) -> Tuple11 a b c d e f g h i j k -> l

curry11 :: forall l k j i h g f e d c b a. (Tuple11 a b c d e f g h i j k -> l) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l

data Tuple12 a b c d e f g h i j k l

Constructors

• Tuple12 a b c d e f g h i j k l

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k, ABIEncoding l, EncodingType l) => ABIEncoding (Tuple12 a b c d e f g h i j k l)
• Generic (Tuple12 a b c d e f g h i j k l) _
• (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l) => Show (Tuple12 a b c d e f g h i j k l)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l) => Eq (Tuple12 a b c d e f g h i j k l)

uncurry12 :: forall m l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m) -> Tuple12 a b c d e f g h i j k l -> m

curry12 :: forall m l k j i h g f e d c b a. (Tuple12 a b c d e f g h i j k l -> m) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m

data Tuple13 a b c d e f g h i j k l m

Constructors

• Tuple13 a b c d e f g h i j k l m

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k, ABIEncoding l, EncodingType l, ABIEncoding m, EncodingType m) => ABIEncoding (Tuple13 a b c d e f g h i j k l m)
• Generic (Tuple13 a b c d e f g h i j k l m) _
• (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m) => Show (Tuple13 a b c d e f g h i j k l m)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m) => Eq (Tuple13 a b c d e f g h i j k l m)

uncurry13 :: forall n m l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n) -> Tuple13 a b c d e f g h i j k l m -> n

curry13 :: forall n m l k j i h g f e d c b a. (Tuple13 a b c d e f g h i j k l m -> n) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n

data Tuple14 a b c d e f g h i j k l m n

Constructors

• Tuple14 a b c d e f g h i j k l m n

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k, ABIEncoding l, EncodingType l, ABIEncoding m, EncodingType m, ABIEncoding n, EncodingType n) => ABIEncoding (Tuple14 a b c d e f g h i j k l m n)
• Generic (Tuple14 a b c d e f g h i j k l m n) _
• (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n) => Show (Tuple14 a b c d e f g h i j k l m n)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n) => Eq (Tuple14 a b c d e f g h i j k l m n)

uncurry14 :: forall o n m l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o) -> Tuple14 a b c d e f g h i j k l m n -> o

curry14 :: forall o n m l k j i h g f e d c b a. (Tuple14 a b c d e f g h i j k l m n -> o) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o

data Tuple15 a b c d e f g h i j k l m n o

Constructors

• Tuple15 a b c d e f g h i j k l m n o

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k, ABIEncoding l, EncodingType l, ABIEncoding m, EncodingType m, ABIEncoding n, EncodingType n, ABIEncoding o, EncodingType o) => ABIEncoding (Tuple15 a b c d e f g h i j k l m n o)
• Generic (Tuple15 a b c d e f g h i j k l m n o) _
• (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o) => Show (Tuple15 a b c d e f g h i j k l m n o)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o) => Eq (Tuple15 a b c d e f g h i j k l m n o)

uncurry15 :: forall p o n m l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p) -> Tuple15 a b c d e f g h i j k l m n o -> p

curry15 :: forall p o n m l k j i h g f e d c b a. (Tuple15 a b c d e f g h i j k l m n o -> p) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p

data Tuple16 a b c d e f g h i j k l m n o p

Constructors

• Tuple16 a b c d e f g h i j k l m n o p

Instances

• (ABIEncoding a, EncodingType a, ABIEncoding b, EncodingType b, ABIEncoding c, EncodingType c, ABIEncoding d, EncodingType d, ABIEncoding e, EncodingType e, ABIEncoding f, EncodingType f, ABIEncoding g, EncodingType g, ABIEncoding h, EncodingType h, ABIEncoding i, EncodingType i, ABIEncoding j, EncodingType j, ABIEncoding k, EncodingType k, ABIEncoding l, EncodingType l, ABIEncoding m, EncodingType m, ABIEncoding n, EncodingType n, ABIEncoding o, EncodingType o, ABIEncoding p, EncodingType p) => ABIEncoding (Tuple16 a b c d e f g h i j k l m n o p)
• Generic (Tuple16 a b c d e f g h i j k l m n o p) _
• (Show a, Show b, Show c, Show d, Show e, Show f, Show g, Show h, Show i, Show j, Show k, Show l, Show m, Show n, Show o, Show p) => Show (Tuple16 a b c d e f g h i j k l m n o p)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i, Eq j, Eq k, Eq l, Eq m, Eq n, Eq o, Eq p) => Eq (Tuple16 a b c d e f g h i j k l m n o p)

uncurry16 :: forall q p o n m l k j i h g f e d c b a. (a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q) -> Tuple16 a b c d e f g h i j k l m n o p -> q

curry16 :: forall q p o n m l k j i h g f e d c b a. (Tuple16 a b c d e f g h i j k l m n o p -> q) -> a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q

factorParser :: forall a. ABIEncoding a => EncodingType a => Parser String a

dParser :: forall a. ABIEncoding a => Parser String a