Erl.Data.Tuple

data Tuple1 t0

Instances

• (Eq a) => Eq (Tuple1 a)
• Eq1 Tuple1
• (Show a) => Show (Tuple1 a)

data Tuple2 t0 t1

Instances

• (Eq a, Eq b) => Eq (Tuple2 a b)
• (Eq a) => Eq1 (Tuple2 a)
• (Show a, Show b) => Show (Tuple2 a b)
• Bifunctor Tuple2
• Bitraversable Tuple2
• Bifoldable Tuple2

data Tuple3 t0 t1 t2

Instances

• (Eq a, Eq b, Eq c) => Eq (Tuple3 a b c)
• (Eq a, Eq b) => Eq1 (Tuple3 a b)
• (Show a, Show b, Show c) => Show (Tuple3 a b c)

data Tuple4 t0 t1 t2 t3

Instances

• (Eq a, Eq b, Eq c, Eq d) => Eq (Tuple4 a b c d)
• (Eq a, Eq b, Eq c) => Eq1 (Tuple4 a b c)
• (Show a, Show b, Show c, Show d) => Show (Tuple4 a b c d)

data Tuple5 t0 t1 t2 t3 t4

Instances

• (Eq a, Eq b, Eq c, Eq d, Eq e) => Eq (Tuple5 a b c d e)
• (Eq a, Eq b, Eq c, Eq d) => Eq1 (Tuple5 a b c d)
• (Show a, Show b, Show c, Show d, Show e) => Show (Tuple5 a b c d e)

data Tuple6 t0 t1 t2 t3 t4 t5

Instances

• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq (Tuple6 a b c d e f)
• (Eq a, Eq b, Eq c, Eq d, Eq e) => Eq1 (Tuple6 a b c d e)
• (Show a, Show b, Show c, Show d, Show e, Show f) => Show (Tuple6 a b c d e f)

data Tuple7 t0 t1 t2 t3 t4 t5 t6

Instances

• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq (Tuple7 a b c d e f g)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f) => Eq1 (Tuple7 a b c d e f)
• (Show a, Show b, Show c, Show d, Show e, Show f, Show g) => Show (Tuple7 a b c d e f g)

data Tuple8 t0 t1 t2 t3 t4 t5 t6 t7

Instances

• (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)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g) => Eq1 (Tuple8 a b c d e f g)
• (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)

data Tuple9 t0 t1 t2 t3 t4 t5 t6 t7 t8

Instances

• (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)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h) => Eq1 (Tuple9 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 i) => Show (Tuple9 a b c d e f g h i)

data Tuple10 t0 t1 t2 t3 t4 t5 t6 t7 t8 t9

Instances

• (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)
• (Eq a, Eq b, Eq c, Eq d, Eq e, Eq f, Eq g, Eq h, Eq i) => Eq1 (Tuple10 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 j) => Show (Tuple10 a b c d e f g h i j)

tuple1 :: forall a. a -> Tuple1 a

tuple2 :: forall a b. a -> b -> Tuple2 a b

tuple3 :: forall a b c. a -> b -> c -> Tuple3 a b c

tuple4 :: forall a b c d. a -> b -> c -> d -> Tuple4 a b c d

tuple5 :: forall a b c d e. a -> b -> c -> d -> e -> Tuple5 a b c d e

tuple6 :: forall a b c d e f. a -> b -> c -> d -> e -> f -> Tuple6 a b c d e f

tuple7 :: forall a b c d e f g. a -> b -> c -> d -> e -> f -> g -> Tuple7 a b c d e f g

tuple8 :: forall a b c d e f g h. a -> b -> c -> d -> e -> f -> g -> h -> Tuple8 a b c d e f g h

tuple9 :: forall a b c d e f g h i. a -> b -> c -> d -> e -> f -> g -> h -> i -> Tuple9 a b c d e f g h i

tuple10 :: forall a b c d e f g h i j. a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> Tuple10 a b c d e f g h i j

uncurry1 :: forall a z. (a -> z) -> Tuple1 a -> z

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

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

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

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

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

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

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

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

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

fst :: forall a b. Tuple2 a b -> a

snd :: forall a b. Tuple2 a b -> b

untuple1 :: forall a. Tuple1 a -> a

toNested2 :: forall a b. Tuple2 a b -> Tuple2 a b

toNested3 :: forall a b c. Tuple3 a b c -> Tuple3 a b c

toNested4 :: forall a b c d. Tuple4 a b c d -> Tuple4 a b c d

toNested5 :: forall a b c d e. Tuple5 a b c d e -> Tuple5 a b c d e

toNested6 :: forall a b c d e f. Tuple6 a b c d e f -> Tuple6 a b c d e f

toNested7 :: forall a b c d e f g. Tuple7 a b c d e f g -> Tuple7 a b c d e f g

toNested8 :: forall a b c d e f g h. Tuple8 a b c d e f g h -> Tuple8 a b c d e f g h

toNested9 :: forall a b c d e f g h i. Tuple9 a b c d e f g h i -> Tuple9 a b c d e f g h i

toNested10 :: forall a b c d e f g h i j. Tuple10 a b c d e f g h i j -> Tuple10 a b c d e f g h i j