Generics.EMGM.Data.Tuple

Summary: Generic representation and instances for tuples of arity 0 (''unit'') and 2 to 7.

Unit: ()

type Tuple0S = Unit

conTuple0 :: ConDescr

Constructor description for ().

repTuple0 :: Generic g => g ()

Representation of () for rep.

frepTuple0 :: Generic g => g ()

Representation of () for frep.

frep2Tuple0 :: Generic2 g => g () ()

Representation of () for frep2.

frep3Tuple0 :: Generic3 g => g () () ()

Representation of () for frep3.

bifrep2Tuple0 :: Generic2 g => g () ()

Representation of () for bifrep2.

Pair: (a,b)

type Tuple2S a b = a :*: b

conTuple2 :: ConDescr

Constructor description for (,).

repTuple2 :: (Generic g, Rep g a, Rep g b) => g (a, b)

Representation of (,) for rep.

frepTuple2 :: Generic g => g a -> g b -> g (a, b)

Representation of (,) for frep.

frep2Tuple2 :: Generic2 g => g a1 a2 -> g b1 b2 -> g (a1, b1) (a2, b2)

Representation of (,) for frep2.

frep3Tuple2 :: Generic3 g => g a1 a2 a3 -> g b1 b2 b3 -> g (a1, b1) (a2, b2) (a3, b3)

Representation of (,) for frep3.

bifrep2Tuple2 :: Generic2 g => g a1 a2 -> g b1 b2 -> g (a1, b1) (a2, b2)

Representation of (,) for bifrep2.

Triple: (a,b,c)

type Tuple3S a b c = a :*: (b :*: c)

conTuple3 :: ConDescr

Constructor description for (,,).

repTuple3 :: (Generic g, Rep g a, Rep g b, Rep g c) => g (a, b, c)

Representation of (,,) for rep.

frepTuple3 :: Generic g => g a -> g b -> g c -> g (a, b, c)

Representation of (,,) for frep.

frep2Tuple3 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g (a1, b1, c1) (a2, b2, c2)

Representation of (,,) for frep2.

frep3Tuple3 :: Generic3 g => g a1 a2 a3 -> g b1 b2 b3 -> g c1 c2 c3 -> g (a1, b1, c1) (a2, b2, c2) (a3, b3, c3)

Representation of (,,) for frep3.

bifrep2Tuple3 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g (a1, b1, c1) (a2, b2, c2)

Representation of (,,) for bifrep2.

Quadruple: (a,b,c,d)

type Tuple4S a b c d = a :*: (b :*: (c :*: d))

conTuple4 :: ConDescr

Constructor description for (,,,).

repTuple4 :: (Generic g, Rep g a, Rep g b, Rep g c, Rep g d) => g (a, b, c, d)

Representation of (,,,) for rep.

frepTuple4 :: Generic g => g a -> g b -> g c -> g d -> g (a, b, c, d)

Representation of (,,,) for frep.

frep2Tuple4 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g d1 d2 -> g (a1, b1, c1, d1) (a2, b2, c2, d2)

Representation of (,,,) for frep2.

frep3Tuple4 :: Generic3 g => g a1 a2 a3 -> g b1 b2 b3 -> g c1 c2 c3 -> g d1 d2 d3 -> g (a1, b1, c1, d1) (a2, b2, c2, d2) (a3, b3, c3, d3)

Representation of (,,,) for frep3.

bifrep2Tuple4 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g d1 d2 -> g (a1, b1, c1, d1) (a2, b2, c2, d2)

Representation of (,,,) for bifrep2.

Quintuple: (a,b,c,d,e)

type Tuple5S a b c d e = a :*: (b :*: (c :*: (d :*: e)))

conTuple5 :: ConDescr

Constructor description for (,,,,).

repTuple5 :: (Generic g, Rep g a, Rep g b, Rep g c, Rep g d, Rep g e) => g (a, b, c, d, e)

Representation of (,,,,) for rep.

frepTuple5 :: Generic g => g a -> g b -> g c -> g d -> g e -> g (a, b, c, d, e)

Representation of (,,,,) for frep.

frep2Tuple5 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g d1 d2 -> g e1 e2 -> g (a1, b1, c1, d1, e1) (a2, b2, c2, d2, e2)

Representation of (,,,,) for frep2.

frep3Tuple5 :: Generic3 g => g a1 a2 a3 -> g b1 b2 b3 -> g c1 c2 c3 -> g d1 d2 d3 -> g e1 e2 e3 -> g (a1, b1, c1, d1, e1) (a2, b2, c2, d2, e2) (a3, b3, c3, d3, e3)

Representation of (,,,,) for frep3.

bifrep2Tuple5 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g d1 d2 -> g e1 e2 -> g (a1, b1, c1, d1, e1) (a2, b2, c2, d2, e2)

Representation of (,,,,) for bfrep2.

Sextuple: (a,b,c,d,e,f)

type Tuple6S a b c d e f = a :*: (b :*: (c :*: (d :*: (e :*: f))))

conTuple6 :: ConDescr

Constructor description for (,,,,,).

repTuple6 :: (Generic g, Rep g a, Rep g b, Rep g c, Rep g d, Rep g e, Rep g f) => g (a, b, c, d, e, f)

Representation of (,,,,,) for rep.

frepTuple6 :: Generic g => g a -> g b -> g c -> g d -> g e -> g f -> g (a, b, c, d, e, f)

Representation of (,,,,,) for frep.

frep2Tuple6 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g d1 d2 -> g e1 e2 -> g f1 f2 -> g (a1, b1, c1, d1, e1, f1) (a2, b2, c2, d2, e2, f2)

Representation of (,,,,,) for frep2.

frep3Tuple6 :: Generic3 g => g a1 a2 a3 -> g b1 b2 b3 -> g c1 c2 c3 -> g d1 d2 d3 -> g e1 e2 e3 -> g f1 f2 f3 -> g (a1, b1, c1, d1, e1, f1) (a2, b2, c2, d2, e2, f2) (a3, b3, c3, d3, e3, f3)

Representation of (,,,,,) for frep3.

bifrep2Tuple6 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g d1 d2 -> g e1 e2 -> g f1 f2 -> g (a1, b1, c1, d1, e1, f1) (a2, b2, c2, d2, e2, f2)

Representation of (,,,,,) for bifrep2.

Septuple: (a,b,c,d,e,f,h)

type Tuple7S a b c d e f h = a :*: (b :*: (c :*: (d :*: (e :*: (f :*: h)))))

conTuple7 :: ConDescr

Constructor description for (,,,,,,).

repTuple7 :: (Generic g, Rep g a, Rep g b, Rep g c, Rep g d, Rep g e, Rep g f, Rep g h) => g (a, b, c, d, e, f, h)

Representation of (,,,,,,) for rep.

frepTuple7 :: Generic g => g a -> g b -> g c -> g d -> g e -> g f -> g h -> g (a, b, c, d, e, f, h)

Representation of (,,,,,,) for frep.

frep2Tuple7 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g d1 d2 -> g e1 e2 -> g f1 f2 -> g h1 h2 -> g (a1, b1, c1, d1, e1, f1, h1) (a2, b2, c2, d2, e2, f2, h2)

Representation of (,,,,,,) for frep2.

frep3Tuple7 :: Generic3 g => g a1 a2 a3 -> g b1 b2 b3 -> g c1 c2 c3 -> g d1 d2 d3 -> g e1 e2 e3 -> g f1 f2 f3 -> g h1 h2 h3 -> g (a1, b1, c1, d1, e1, f1, h1) (a2, b2, c2, d2, e2, f2, h2) (a3, b3, c3, d3, e3, f3, h3)

Representation of (,,,,,,) for frep3.

bifrep2Tuple7 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g d1 d2 -> g e1 e2 -> g f1 f2 -> g h1 h2 -> g (a1, b1, c1, d1, e1, f1, h1) (a2, b2, c2, d2, e2, f2, h2)

Representation of (,,,,,,) for bifrep2.