Module

Erl.Data.Tuple

Package: erl-tuples
Repository: purerl/purescript-erl-tuples

Native Erlang tuples

#Tuple1 Source

data Tuple1 :: Type -> Type

Instances

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

#Tuple2 Source

data Tuple2 :: Type -> Type -> Type

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

#Tuple3 Source

data Tuple3 :: Type -> Type -> Type -> Type

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)

#Tuple4 Source

data Tuple4 :: Type -> Type -> Type -> Type -> Type

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)

#Tuple5 Source

data Tuple5 :: Type -> Type -> Type -> Type -> Type -> Type

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)

#Tuple6 Source

data Tuple6 :: Type -> Type -> Type -> Type -> Type -> Type -> Type

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)

#Tuple7 Source

data Tuple7 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type

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)

#Tuple8 Source

data Tuple8 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type

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)

#Tuple9 Source

data Tuple9 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type

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)

#Tuple10 Source

data Tuple10 :: Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type -> Type

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 Source

tuple1 :: forall a. a -> Tuple1 a

#tuple2 Source

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

#tuple3 Source

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

#tuple4 Source

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

#tuple5 Source

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

#tuple6 Source

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

#tuple7 Source

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 Source

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 Source

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 Source

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 Source

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

#uncurry2 Source

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

#uncurry3 Source

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

#uncurry4 Source

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

#uncurry5 Source

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

#uncurry6 Source

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 Source

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 Source

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 Source

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 Source

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 Source

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

#snd Source

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

#untuple1 Source

untuple1 :: forall a. Tuple1 a -> a

#toNested2 Source

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

#toNested3 Source

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

#toNested4 Source

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

#toNested5 Source

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

#toNested6 Source

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

#toNested7 Source

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 Source

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 Source

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 Source

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

Modules: Erl.Data.Tuple