tup-functor-0.3.0.0: Homogeneous tuples

Safe HaskellNone
LanguageHaskell98

Data.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 where Source

Minimal complete definition

Nothing

Methods

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

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 
Tup v => TupConcat Empty v v 
TupConcat NTup9 NTup0 NTup9 
TupConcat NTup8 NTup1 NTup9 
TupConcat NTup8 NTup0 NTup8 
TupConcat NTup7 NTup2 NTup9 
TupConcat NTup7 NTup1 NTup8 
TupConcat NTup7 NTup0 NTup7 
TupConcat NTup6 NTup3 NTup9 
TupConcat NTup6 NTup2 NTup8 
TupConcat NTup6 NTup1 NTup7 
TupConcat NTup6 NTup0 NTup6 
TupConcat NTup5 NTup4 NTup9 
TupConcat NTup5 NTup3 NTup8 
TupConcat NTup5 NTup2 NTup7 
TupConcat NTup5 NTup1 NTup6 
TupConcat NTup5 NTup0 NTup5 
TupConcat NTup4 NTup5 NTup9 
TupConcat NTup4 NTup4 NTup8 
TupConcat NTup4 NTup3 NTup7 
TupConcat NTup4 NTup2 NTup6 
TupConcat NTup4 NTup1 NTup5 
TupConcat NTup4 NTup0 NTup4 
TupConcat NTup3 NTup6 NTup9 
TupConcat NTup3 NTup5 NTup8 
TupConcat NTup3 NTup4 NTup7 
TupConcat NTup3 NTup3 NTup6 
TupConcat NTup3 NTup2 NTup5 
TupConcat NTup3 NTup1 NTup4 
TupConcat NTup3 NTup0 NTup3 
TupConcat NTup2 NTup7 NTup9 
TupConcat NTup2 NTup6 NTup8 
TupConcat NTup2 NTup5 NTup7 
TupConcat NTup2 NTup4 NTup6 
TupConcat NTup2 NTup3 NTup5 
TupConcat NTup2 NTup2 NTup4 
TupConcat NTup2 NTup1 NTup3 
TupConcat NTup2 NTup0 NTup2 
TupConcat NTup1 NTup8 NTup9 
TupConcat NTup1 NTup7 NTup8 
TupConcat NTup1 NTup6 NTup7 
TupConcat NTup1 NTup5 NTup6 
TupConcat NTup1 NTup4 NTup5 
TupConcat NTup1 NTup3 NTup4 
TupConcat NTup1 NTup2 NTup3 
TupConcat NTup1 NTup1 NTup2 
TupConcat NTup1 NTup0 NTup1 
TupConcat NTup0 NTup9 NTup9 
TupConcat NTup0 NTup8 NTup8 
TupConcat NTup0 NTup7 NTup7 
TupConcat NTup0 NTup6 NTup6 
TupConcat NTup0 NTup5 NTup5 
TupConcat NTup0 NTup4 NTup4 
TupConcat NTup0 NTup3 NTup3 
TupConcat NTup0 NTup2 NTup2 
TupConcat NTup0 NTup1 NTup1 
TupConcat NTup0 NTup0 NTup0 
(Tup u, Tup v, TupConcat u v w) => TupConcat (Cons u) v (Cons w)