tup-functor-0.2.0.3: Homogeneous tuples

Safe HaskellNone

Data.Tup.Tup.Concat

Description

Concatenation of tuples. Requires MPTCs and FunDeps.

Documentation

class (Tup f, Tup g, Tup h) => TupConcat f g h | f g -> h whereSource

Methods

tupConcat :: f a -> g a -> h aSource

Instances

TupConcat Tup9 Tup0 Tup9 
TupConcat Tup8 Tup1 Tup9 
TupConcat Tup8 Tup0 Tup8 
TupConcat Tup7 Tup2 Tup9 
TupConcat Tup7 Tup1 Tup8 
TupConcat Tup7 Tup0 Tup7 
TupConcat Tup6 Tup3 Tup9 
TupConcat Tup6 Tup2 Tup8 
TupConcat Tup6 Tup1 Tup7 
TupConcat Tup6 Tup0 Tup6 
TupConcat Tup5 Tup4 Tup9 
TupConcat Tup5 Tup3 Tup8 
TupConcat Tup5 Tup2 Tup7 
TupConcat Tup5 Tup1 Tup6 
TupConcat Tup5 Tup0 Tup5 
TupConcat Tup4 Tup5 Tup9 
TupConcat Tup4 Tup4 Tup8 
TupConcat Tup4 Tup3 Tup7 
TupConcat Tup4 Tup2 Tup6 
TupConcat Tup4 Tup1 Tup5 
TupConcat Tup4 Tup0 Tup4 
TupConcat Tup3 Tup6 Tup9 
TupConcat Tup3 Tup5 Tup8 
TupConcat Tup3 Tup4 Tup7 
TupConcat Tup3 Tup3 Tup6 
TupConcat Tup3 Tup2 Tup5 
TupConcat Tup3 Tup1 Tup4 
TupConcat Tup3 Tup0 Tup3 
TupConcat Tup2 Tup7 Tup9 
TupConcat Tup2 Tup6 Tup8 
TupConcat Tup2 Tup5 Tup7 
TupConcat Tup2 Tup4 Tup6 
TupConcat Tup2 Tup3 Tup5 
TupConcat Tup2 Tup2 Tup4 
TupConcat Tup2 Tup1 Tup3 
TupConcat Tup2 Tup0 Tup2 
TupConcat Tup1 Tup8 Tup9 
TupConcat Tup1 Tup7 Tup8 
TupConcat Tup1 Tup6 Tup7 
TupConcat Tup1 Tup5 Tup6 
TupConcat Tup1 Tup4 Tup5 
TupConcat Tup1 Tup3 Tup4 
TupConcat Tup1 Tup2 Tup3 
TupConcat Tup1 Tup1 Tup2 
TupConcat Tup1 Tup0 Tup1 
TupConcat Tup0 Tup9 Tup9 
TupConcat Tup0 Tup8 Tup8 
TupConcat Tup0 Tup7 Tup7 
TupConcat Tup0 Tup6 Tup6 
TupConcat Tup0 Tup5 Tup5 
TupConcat Tup0 Tup4 Tup4 
TupConcat Tup0 Tup3 Tup3 
TupConcat Tup0 Tup2 Tup2 
TupConcat Tup0 Tup1 Tup1 
TupConcat Tup0 Tup0 Tup0 
TupConcat Tup9 Tup0 Tup9 
TupConcat Tup8 Tup1 Tup9 
TupConcat Tup8 Tup0 Tup8 
TupConcat Tup7 Tup2 Tup9 
TupConcat Tup7 Tup1 Tup8 
TupConcat Tup7 Tup0 Tup7 
TupConcat Tup6 Tup3 Tup9 
TupConcat Tup6 Tup2 Tup8 
TupConcat Tup6 Tup1 Tup7 
TupConcat Tup6 Tup0 Tup6 
TupConcat Tup5 Tup4 Tup9 
TupConcat Tup5 Tup3 Tup8 
TupConcat Tup5 Tup2 Tup7 
TupConcat Tup5 Tup1 Tup6 
TupConcat Tup5 Tup0 Tup5 
TupConcat Tup4 Tup5 Tup9 
TupConcat Tup4 Tup4 Tup8 
TupConcat Tup4 Tup3 Tup7 
TupConcat Tup4 Tup2 Tup6 
TupConcat Tup4 Tup1 Tup5 
TupConcat Tup4 Tup0 Tup4 
TupConcat Tup3 Tup6 Tup9 
TupConcat Tup3 Tup5 Tup8 
TupConcat Tup3 Tup4 Tup7 
TupConcat Tup3 Tup3 Tup6 
TupConcat Tup3 Tup2 Tup5 
TupConcat Tup3 Tup1 Tup4 
TupConcat Tup3 Tup0 Tup3 
TupConcat Tup2 Tup7 Tup9 
TupConcat Tup2 Tup6 Tup8 
TupConcat Tup2 Tup5 Tup7 
TupConcat Tup2 Tup4 Tup6 
TupConcat Tup2 Tup3 Tup5 
TupConcat Tup2 Tup2 Tup4 
TupConcat Tup2 Tup1 Tup3 
TupConcat Tup2 Tup0 Tup2 
TupConcat Tup1 Tup8 Tup9 
TupConcat Tup1 Tup7 Tup8 
TupConcat Tup1 Tup6 Tup7 
TupConcat Tup1 Tup5 Tup6 
TupConcat Tup1 Tup4 Tup5 
TupConcat Tup1 Tup3 Tup4 
TupConcat Tup1 Tup2 Tup3 
TupConcat Tup1 Tup1 Tup2 
TupConcat Tup1 Tup0 Tup1 
TupConcat Tup0 Tup9 Tup9 
TupConcat Tup0 Tup8 Tup8 
TupConcat Tup0 Tup7 Tup7 
TupConcat Tup0 Tup6 Tup6 
TupConcat Tup0 Tup5 Tup5 
TupConcat Tup0 Tup4 Tup4 
TupConcat Tup0 Tup3 Tup3 
TupConcat Tup0 Tup2 Tup2 
TupConcat Tup0 Tup1 Tup1 
TupConcat Tup0 Tup0 Tup0