emgm-0.3.1: Extensible and Modular Generics for the Masses Source code Contents Index

Generics.EMGM.Data.Tuple Portability non-portable Stability experimental Maintainer generics@haskell.org

Contents Unit: () Pair: (a,b) Triple: (a,b,c) Quadruple: (a,b,c,d) Quintuple: (a,b,c,d,e) Sextuple: (a,b,c,d,e,f) Septuple: (a,b,c,d,e,f,h)

Description

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

Synopsis

epTuple0 :: EP () Unit conTuple0 :: ConDescr repTuple0 :: Generic g => g () frepTuple0 :: Generic g => g () frep2Tuple0 :: Generic2 g => g () () frep3Tuple0 :: Generic3 g => g () () () bifrep2Tuple0 :: Generic2 g => g () () epTuple2 :: EP (a, b) (a :*: b) conTuple2 :: ConDescr repTuple2 :: (Generic g, Rep g a, Rep g b) => g (a, b) frepTuple2 :: Generic g => g a -> g b -> g (a, b) frep2Tuple2 :: Generic2 g => g a1 a2 -> g b1 b2 -> g (a1, b1) (a2, b2) frep3Tuple2 :: Generic3 g => g a1 a2 a3 -> g b1 b2 b3 -> g (a1, b1) (a2, b2) (a3, b3) bifrep2Tuple2 :: Generic2 g => g a1 a2 -> g b1 b2 -> g (a1, b1) (a2, b2) epTuple3 :: EP (a, b, c) (a :*: (b :*: c)) conTuple3 :: ConDescr repTuple3 :: (Generic g, Rep g a, Rep g b, Rep g c) => g (a, b, c) frepTuple3 :: Generic g => g a -> g b -> g c -> g (a, b, c) frep2Tuple3 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g (a1, b1, c1) (a2, b2, c2) 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) bifrep2Tuple3 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g (a1, b1, c1) (a2, b2, c2) epTuple4 :: EP (a, b, c, d) (a :*: (b :*: (c :*: d))) conTuple4 :: ConDescr repTuple4 :: (Generic g, Rep g a, Rep g b, Rep g c, Rep g d) => g (a, b, c, d) frepTuple4 :: Generic g => g a -> g b -> g c -> g d -> g (a, b, c, d) frep2Tuple4 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g d1 d2 -> g (a1, b1, c1, d1) (a2, b2, c2, d2) 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) bifrep2Tuple4 :: Generic2 g => g a1 a2 -> g b1 b2 -> g c1 c2 -> g d1 d2 -> g (a1, b1, c1, d1) (a2, b2, c2, d2) epTuple5 :: EP (a, b, c, d, e) (a :*: (b :*: (c :*: (d :*: e)))) conTuple5 :: ConDescr repTuple5 :: (Generic g, Rep g a, Rep g b, Rep g c, Rep g d, Rep g e) => g (a, b, c, d, e) frepTuple5 :: Generic g => g a -> g b -> g c -> g d -> g e -> g (a, b, c, d, e) 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) 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) 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) epTuple6 :: EP (a, b, c, d, e, f) (a :*: (b :*: (c :*: (d :*: (e :*: f))))) conTuple6 :: ConDescr 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) frepTuple6 :: Generic g => g a -> g b -> g c -> g d -> g e -> g f -> g (a, b, c, d, e, f) 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) 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) 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) epTuple7 :: EP (a, b, c, d, e, f, h) (a :*: (b :*: (c :*: (d :*: (e :*: (f :*: h)))))) conTuple7 :: ConDescr 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) 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) 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) 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) 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)

Unit: ()

epTuple0 :: EP () Unit Source

Embedding-projection pair for ().

conTuple0 :: ConDescr Source

Constructor description for ().

repTuple0 :: Generic g => g () Source

Representation of () for rep.

frepTuple0 :: Generic g => g () Source

Representation of () for frep.

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

Representation of () for frep2.

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

Representation of () for frep3.

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

Representation of () for bifrep2.

Pair: (a,b)

epTuple2 :: EP (a, b) (a :*: b) Source

Embedding-projection pair for (,).

conTuple2 :: ConDescr Source

Constructor description for (,).

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

Representation of (,) for rep.

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

Representation of (,) for frep.

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

Representation of (,) for frep2.

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

Representation of (,) for frep3.

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

Representation of (,) for bifrep2.

Triple: (a,b,c)

epTuple3 :: EP (a, b, c) (a :*: (b :*: c)) Source

Embedding-projection pair for (,,).

conTuple3 :: ConDescr Source

Constructor description for (,,).

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

Representation of (,,) for rep.

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

Representation of (,,) for frep.

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

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) Source

Representation of (,,) for frep3.

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

Representation of (,,) for bifrep2.

Quadruple: (a,b,c,d)

epTuple4 :: EP (a, b, c, d) (a :*: (b :*: (c :*: d))) Source

Embedding-projection pair for (,,,).

conTuple4 :: ConDescr Source

Constructor description for (,,,).

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

Representation of (,,,) for rep.

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

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) Source

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) Source

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) Source

Representation of (,,,) for bifrep2.

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

epTuple5 :: EP (a, b, c, d, e) (a :*: (b :*: (c :*: (d :*: e)))) Source

Embedding-projection pair for (,,,,).

conTuple5 :: ConDescr Source

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) Source

Representation of (,,,,) for rep.

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

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) Source

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) Source

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) Source

Representation of (,,,,) for bfrep2.

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

epTuple6 :: EP (a, b, c, d, e, f) (a :*: (b :*: (c :*: (d :*: (e :*: f))))) Source

Embedding-projection pair for (,,,,,).

conTuple6 :: ConDescr Source

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) Source

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) Source

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) Source

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) Source

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) Source

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

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

epTuple7 :: EP (a, b, c, d, e, f, h) (a :*: (b :*: (c :*: (d :*: (e :*: (f :*: h)))))) Source

Embedding-projection pair for (,,,,,,).

conTuple7 :: ConDescr Source

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) Source

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) Source

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) Source

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) Source

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) Source

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

Produced by Haddock version 2.4.2