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 #

Methods

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

Instances

Tup v => TupConcat Empty v v Source # 

Methods

tupConcat :: Empty a -> v a -> v a Source #

TupConcat NTup9 NTup0 NTup9 Source # 

Methods

tupConcat :: NTup9 a -> NTup0 a -> NTup9 a Source #

TupConcat NTup8 NTup1 NTup9 Source # 

Methods

tupConcat :: NTup8 a -> NTup1 a -> NTup9 a Source #

TupConcat NTup8 NTup0 NTup8 Source # 

Methods

tupConcat :: NTup8 a -> NTup0 a -> NTup8 a Source #

TupConcat NTup7 NTup2 NTup9 Source # 

Methods

tupConcat :: NTup7 a -> NTup2 a -> NTup9 a Source #

TupConcat NTup7 NTup1 NTup8 Source # 

Methods

tupConcat :: NTup7 a -> NTup1 a -> NTup8 a Source #

TupConcat NTup7 NTup0 NTup7 Source # 

Methods

tupConcat :: NTup7 a -> NTup0 a -> NTup7 a Source #

TupConcat NTup6 NTup3 NTup9 Source # 

Methods

tupConcat :: NTup6 a -> NTup3 a -> NTup9 a Source #

TupConcat NTup6 NTup2 NTup8 Source # 

Methods

tupConcat :: NTup6 a -> NTup2 a -> NTup8 a Source #

TupConcat NTup6 NTup1 NTup7 Source # 

Methods

tupConcat :: NTup6 a -> NTup1 a -> NTup7 a Source #

TupConcat NTup6 NTup0 NTup6 Source # 

Methods

tupConcat :: NTup6 a -> NTup0 a -> NTup6 a Source #

TupConcat NTup5 NTup4 NTup9 Source # 

Methods

tupConcat :: NTup5 a -> NTup4 a -> NTup9 a Source #

TupConcat NTup5 NTup3 NTup8 Source # 

Methods

tupConcat :: NTup5 a -> NTup3 a -> NTup8 a Source #

TupConcat NTup5 NTup2 NTup7 Source # 

Methods

tupConcat :: NTup5 a -> NTup2 a -> NTup7 a Source #

TupConcat NTup5 NTup1 NTup6 Source # 

Methods

tupConcat :: NTup5 a -> NTup1 a -> NTup6 a Source #

TupConcat NTup5 NTup0 NTup5 Source # 

Methods

tupConcat :: NTup5 a -> NTup0 a -> NTup5 a Source #

TupConcat NTup4 NTup5 NTup9 Source # 

Methods

tupConcat :: NTup4 a -> NTup5 a -> NTup9 a Source #

TupConcat NTup4 NTup4 NTup8 Source # 

Methods

tupConcat :: NTup4 a -> NTup4 a -> NTup8 a Source #

TupConcat NTup4 NTup3 NTup7 Source # 

Methods

tupConcat :: NTup4 a -> NTup3 a -> NTup7 a Source #

TupConcat NTup4 NTup2 NTup6 Source # 

Methods

tupConcat :: NTup4 a -> NTup2 a -> NTup6 a Source #

TupConcat NTup4 NTup1 NTup5 Source # 

Methods

tupConcat :: NTup4 a -> NTup1 a -> NTup5 a Source #

TupConcat NTup4 NTup0 NTup4 Source # 

Methods

tupConcat :: NTup4 a -> NTup0 a -> NTup4 a Source #

TupConcat NTup3 NTup6 NTup9 Source # 

Methods

tupConcat :: NTup3 a -> NTup6 a -> NTup9 a Source #

TupConcat NTup3 NTup5 NTup8 Source # 

Methods

tupConcat :: NTup3 a -> NTup5 a -> NTup8 a Source #

TupConcat NTup3 NTup4 NTup7 Source # 

Methods

tupConcat :: NTup3 a -> NTup4 a -> NTup7 a Source #

TupConcat NTup3 NTup3 NTup6 Source # 

Methods

tupConcat :: NTup3 a -> NTup3 a -> NTup6 a Source #

TupConcat NTup3 NTup2 NTup5 Source # 

Methods

tupConcat :: NTup3 a -> NTup2 a -> NTup5 a Source #

TupConcat NTup3 NTup1 NTup4 Source # 

Methods

tupConcat :: NTup3 a -> NTup1 a -> NTup4 a Source #

TupConcat NTup3 NTup0 NTup3 Source # 

Methods

tupConcat :: NTup3 a -> NTup0 a -> NTup3 a Source #

TupConcat NTup2 NTup7 NTup9 Source # 

Methods

tupConcat :: NTup2 a -> NTup7 a -> NTup9 a Source #

TupConcat NTup2 NTup6 NTup8 Source # 

Methods

tupConcat :: NTup2 a -> NTup6 a -> NTup8 a Source #

TupConcat NTup2 NTup5 NTup7 Source # 

Methods

tupConcat :: NTup2 a -> NTup5 a -> NTup7 a Source #

TupConcat NTup2 NTup4 NTup6 Source # 

Methods

tupConcat :: NTup2 a -> NTup4 a -> NTup6 a Source #

TupConcat NTup2 NTup3 NTup5 Source # 

Methods

tupConcat :: NTup2 a -> NTup3 a -> NTup5 a Source #

TupConcat NTup2 NTup2 NTup4 Source # 

Methods

tupConcat :: NTup2 a -> NTup2 a -> NTup4 a Source #

TupConcat NTup2 NTup1 NTup3 Source # 

Methods

tupConcat :: NTup2 a -> NTup1 a -> NTup3 a Source #

TupConcat NTup2 NTup0 NTup2 Source # 

Methods

tupConcat :: NTup2 a -> NTup0 a -> NTup2 a Source #

TupConcat NTup1 NTup8 NTup9 Source # 

Methods

tupConcat :: NTup1 a -> NTup8 a -> NTup9 a Source #

TupConcat NTup1 NTup7 NTup8 Source # 

Methods

tupConcat :: NTup1 a -> NTup7 a -> NTup8 a Source #

TupConcat NTup1 NTup6 NTup7 Source # 

Methods

tupConcat :: NTup1 a -> NTup6 a -> NTup7 a Source #

TupConcat NTup1 NTup5 NTup6 Source # 

Methods

tupConcat :: NTup1 a -> NTup5 a -> NTup6 a Source #

TupConcat NTup1 NTup4 NTup5 Source # 

Methods

tupConcat :: NTup1 a -> NTup4 a -> NTup5 a Source #

TupConcat NTup1 NTup3 NTup4 Source # 

Methods

tupConcat :: NTup1 a -> NTup3 a -> NTup4 a Source #

TupConcat NTup1 NTup2 NTup3 Source # 

Methods

tupConcat :: NTup1 a -> NTup2 a -> NTup3 a Source #

TupConcat NTup1 NTup1 NTup2 Source # 

Methods

tupConcat :: NTup1 a -> NTup1 a -> NTup2 a Source #

TupConcat NTup1 NTup0 NTup1 Source # 

Methods

tupConcat :: NTup1 a -> NTup0 a -> NTup1 a Source #

TupConcat NTup0 NTup9 NTup9 Source # 

Methods

tupConcat :: NTup0 a -> NTup9 a -> NTup9 a Source #

TupConcat NTup0 NTup8 NTup8 Source # 

Methods

tupConcat :: NTup0 a -> NTup8 a -> NTup8 a Source #

TupConcat NTup0 NTup7 NTup7 Source # 

Methods

tupConcat :: NTup0 a -> NTup7 a -> NTup7 a Source #

TupConcat NTup0 NTup6 NTup6 Source # 

Methods

tupConcat :: NTup0 a -> NTup6 a -> NTup6 a Source #

TupConcat NTup0 NTup5 NTup5 Source # 

Methods

tupConcat :: NTup0 a -> NTup5 a -> NTup5 a Source #

TupConcat NTup0 NTup4 NTup4 Source # 

Methods

tupConcat :: NTup0 a -> NTup4 a -> NTup4 a Source #

TupConcat NTup0 NTup3 NTup3 Source # 

Methods

tupConcat :: NTup0 a -> NTup3 a -> NTup3 a Source #

TupConcat NTup0 NTup2 NTup2 Source # 

Methods

tupConcat :: NTup0 a -> NTup2 a -> NTup2 a Source #

TupConcat NTup0 NTup1 NTup1 Source # 

Methods

tupConcat :: NTup0 a -> NTup1 a -> NTup1 a Source #

TupConcat NTup0 NTup0 NTup0 Source # 

Methods

tupConcat :: NTup0 a -> NTup0 a -> NTup0 a Source #

TupConcat Tup9 Tup0 Tup9 Source # 

Methods

tupConcat :: Tup9 a -> Tup0 a -> Tup9 a Source #

TupConcat Tup8 Tup1 Tup9 Source # 

Methods

tupConcat :: Tup8 a -> Tup1 a -> Tup9 a Source #

TupConcat Tup8 Tup0 Tup8 Source # 

Methods

tupConcat :: Tup8 a -> Tup0 a -> Tup8 a Source #

TupConcat Tup7 Tup2 Tup9 Source # 

Methods

tupConcat :: Tup7 a -> Tup2 a -> Tup9 a Source #

TupConcat Tup7 Tup1 Tup8 Source # 

Methods

tupConcat :: Tup7 a -> Tup1 a -> Tup8 a Source #

TupConcat Tup7 Tup0 Tup7 Source # 

Methods

tupConcat :: Tup7 a -> Tup0 a -> Tup7 a Source #

TupConcat Tup6 Tup3 Tup9 Source # 

Methods

tupConcat :: Tup6 a -> Tup3 a -> Tup9 a Source #

TupConcat Tup6 Tup2 Tup8 Source # 

Methods

tupConcat :: Tup6 a -> Tup2 a -> Tup8 a Source #

TupConcat Tup6 Tup1 Tup7 Source # 

Methods

tupConcat :: Tup6 a -> Tup1 a -> Tup7 a Source #

TupConcat Tup6 Tup0 Tup6 Source # 

Methods

tupConcat :: Tup6 a -> Tup0 a -> Tup6 a Source #

TupConcat Tup5 Tup4 Tup9 Source # 

Methods

tupConcat :: Tup5 a -> Tup4 a -> Tup9 a Source #

TupConcat Tup5 Tup3 Tup8 Source # 

Methods

tupConcat :: Tup5 a -> Tup3 a -> Tup8 a Source #

TupConcat Tup5 Tup2 Tup7 Source # 

Methods

tupConcat :: Tup5 a -> Tup2 a -> Tup7 a Source #

TupConcat Tup5 Tup1 Tup6 Source # 

Methods

tupConcat :: Tup5 a -> Tup1 a -> Tup6 a Source #

TupConcat Tup5 Tup0 Tup5 Source # 

Methods

tupConcat :: Tup5 a -> Tup0 a -> Tup5 a Source #

TupConcat Tup4 Tup5 Tup9 Source # 

Methods

tupConcat :: Tup4 a -> Tup5 a -> Tup9 a Source #

TupConcat Tup4 Tup4 Tup8 Source # 

Methods

tupConcat :: Tup4 a -> Tup4 a -> Tup8 a Source #

TupConcat Tup4 Tup3 Tup7 Source # 

Methods

tupConcat :: Tup4 a -> Tup3 a -> Tup7 a Source #

TupConcat Tup4 Tup2 Tup6 Source # 

Methods

tupConcat :: Tup4 a -> Tup2 a -> Tup6 a Source #

TupConcat Tup4 Tup1 Tup5 Source # 

Methods

tupConcat :: Tup4 a -> Tup1 a -> Tup5 a Source #

TupConcat Tup4 Tup0 Tup4 Source # 

Methods

tupConcat :: Tup4 a -> Tup0 a -> Tup4 a Source #

TupConcat Tup3 Tup6 Tup9 Source # 

Methods

tupConcat :: Tup3 a -> Tup6 a -> Tup9 a Source #

TupConcat Tup3 Tup5 Tup8 Source # 

Methods

tupConcat :: Tup3 a -> Tup5 a -> Tup8 a Source #

TupConcat Tup3 Tup4 Tup7 Source # 

Methods

tupConcat :: Tup3 a -> Tup4 a -> Tup7 a Source #

TupConcat Tup3 Tup3 Tup6 Source # 

Methods

tupConcat :: Tup3 a -> Tup3 a -> Tup6 a Source #

TupConcat Tup3 Tup2 Tup5 Source # 

Methods

tupConcat :: Tup3 a -> Tup2 a -> Tup5 a Source #

TupConcat Tup3 Tup1 Tup4 Source # 

Methods

tupConcat :: Tup3 a -> Tup1 a -> Tup4 a Source #

TupConcat Tup3 Tup0 Tup3 Source # 

Methods

tupConcat :: Tup3 a -> Tup0 a -> Tup3 a Source #

TupConcat Tup2 Tup7 Tup9 Source # 

Methods

tupConcat :: Tup2 a -> Tup7 a -> Tup9 a Source #

TupConcat Tup2 Tup6 Tup8 Source # 

Methods

tupConcat :: Tup2 a -> Tup6 a -> Tup8 a Source #

TupConcat Tup2 Tup5 Tup7 Source # 

Methods

tupConcat :: Tup2 a -> Tup5 a -> Tup7 a Source #

TupConcat Tup2 Tup4 Tup6 Source # 

Methods

tupConcat :: Tup2 a -> Tup4 a -> Tup6 a Source #

TupConcat Tup2 Tup3 Tup5 Source # 

Methods

tupConcat :: Tup2 a -> Tup3 a -> Tup5 a Source #

TupConcat Tup2 Tup2 Tup4 Source # 

Methods

tupConcat :: Tup2 a -> Tup2 a -> Tup4 a Source #

TupConcat Tup2 Tup1 Tup3 Source # 

Methods

tupConcat :: Tup2 a -> Tup1 a -> Tup3 a Source #

TupConcat Tup2 Tup0 Tup2 Source # 

Methods

tupConcat :: Tup2 a -> Tup0 a -> Tup2 a Source #

TupConcat Tup1 Tup8 Tup9 Source # 

Methods

tupConcat :: Tup1 a -> Tup8 a -> Tup9 a Source #

TupConcat Tup1 Tup7 Tup8 Source # 

Methods

tupConcat :: Tup1 a -> Tup7 a -> Tup8 a Source #

TupConcat Tup1 Tup6 Tup7 Source # 

Methods

tupConcat :: Tup1 a -> Tup6 a -> Tup7 a Source #

TupConcat Tup1 Tup5 Tup6 Source # 

Methods

tupConcat :: Tup1 a -> Tup5 a -> Tup6 a Source #

TupConcat Tup1 Tup4 Tup5 Source # 

Methods

tupConcat :: Tup1 a -> Tup4 a -> Tup5 a Source #

TupConcat Tup1 Tup3 Tup4 Source # 

Methods

tupConcat :: Tup1 a -> Tup3 a -> Tup4 a Source #

TupConcat Tup1 Tup2 Tup3 Source # 

Methods

tupConcat :: Tup1 a -> Tup2 a -> Tup3 a Source #

TupConcat Tup1 Tup1 Tup2 Source # 

Methods

tupConcat :: Tup1 a -> Tup1 a -> Tup2 a Source #

TupConcat Tup1 Tup0 Tup1 Source # 

Methods

tupConcat :: Tup1 a -> Tup0 a -> Tup1 a Source #

TupConcat Tup0 Tup9 Tup9 Source # 

Methods

tupConcat :: Tup0 a -> Tup9 a -> Tup9 a Source #

TupConcat Tup0 Tup8 Tup8 Source # 

Methods

tupConcat :: Tup0 a -> Tup8 a -> Tup8 a Source #

TupConcat Tup0 Tup7 Tup7 Source # 

Methods

tupConcat :: Tup0 a -> Tup7 a -> Tup7 a Source #

TupConcat Tup0 Tup6 Tup6 Source # 

Methods

tupConcat :: Tup0 a -> Tup6 a -> Tup6 a Source #

TupConcat Tup0 Tup5 Tup5 Source # 

Methods

tupConcat :: Tup0 a -> Tup5 a -> Tup5 a Source #

TupConcat Tup0 Tup4 Tup4 Source # 

Methods

tupConcat :: Tup0 a -> Tup4 a -> Tup4 a Source #

TupConcat Tup0 Tup3 Tup3 Source # 

Methods

tupConcat :: Tup0 a -> Tup3 a -> Tup3 a Source #

TupConcat Tup0 Tup2 Tup2 Source # 

Methods

tupConcat :: Tup0 a -> Tup2 a -> Tup2 a Source #

TupConcat Tup0 Tup1 Tup1 Source # 

Methods

tupConcat :: Tup0 a -> Tup1 a -> Tup1 a Source #

TupConcat Tup0 Tup0 Tup0 Source # 

Methods

tupConcat :: Tup0 a -> Tup0 a -> Tup0 a Source #

TupConcat Tup9 Tup0 Tup9 Source # 

Methods

tupConcat :: Tup9 a -> Tup0 a -> Tup9 a Source #

TupConcat Tup8 Tup1 Tup9 Source # 

Methods

tupConcat :: Tup8 a -> Tup1 a -> Tup9 a Source #

TupConcat Tup8 Tup0 Tup8 Source # 

Methods

tupConcat :: Tup8 a -> Tup0 a -> Tup8 a Source #

TupConcat Tup7 Tup2 Tup9 Source # 

Methods

tupConcat :: Tup7 a -> Tup2 a -> Tup9 a Source #

TupConcat Tup7 Tup1 Tup8 Source # 

Methods

tupConcat :: Tup7 a -> Tup1 a -> Tup8 a Source #

TupConcat Tup7 Tup0 Tup7 Source # 

Methods

tupConcat :: Tup7 a -> Tup0 a -> Tup7 a Source #

TupConcat Tup6 Tup3 Tup9 Source # 

Methods

tupConcat :: Tup6 a -> Tup3 a -> Tup9 a Source #

TupConcat Tup6 Tup2 Tup8 Source # 

Methods

tupConcat :: Tup6 a -> Tup2 a -> Tup8 a Source #

TupConcat Tup6 Tup1 Tup7 Source # 

Methods

tupConcat :: Tup6 a -> Tup1 a -> Tup7 a Source #

TupConcat Tup6 Tup0 Tup6 Source # 

Methods

tupConcat :: Tup6 a -> Tup0 a -> Tup6 a Source #

TupConcat Tup5 Tup4 Tup9 Source # 

Methods

tupConcat :: Tup5 a -> Tup4 a -> Tup9 a Source #

TupConcat Tup5 Tup3 Tup8 Source # 

Methods

tupConcat :: Tup5 a -> Tup3 a -> Tup8 a Source #

TupConcat Tup5 Tup2 Tup7 Source # 

Methods

tupConcat :: Tup5 a -> Tup2 a -> Tup7 a Source #

TupConcat Tup5 Tup1 Tup6 Source # 

Methods

tupConcat :: Tup5 a -> Tup1 a -> Tup6 a Source #

TupConcat Tup5 Tup0 Tup5 Source # 

Methods

tupConcat :: Tup5 a -> Tup0 a -> Tup5 a Source #

TupConcat Tup4 Tup5 Tup9 Source # 

Methods

tupConcat :: Tup4 a -> Tup5 a -> Tup9 a Source #

TupConcat Tup4 Tup4 Tup8 Source # 

Methods

tupConcat :: Tup4 a -> Tup4 a -> Tup8 a Source #

TupConcat Tup4 Tup3 Tup7 Source # 

Methods

tupConcat :: Tup4 a -> Tup3 a -> Tup7 a Source #

TupConcat Tup4 Tup2 Tup6 Source # 

Methods

tupConcat :: Tup4 a -> Tup2 a -> Tup6 a Source #

TupConcat Tup4 Tup1 Tup5 Source # 

Methods

tupConcat :: Tup4 a -> Tup1 a -> Tup5 a Source #

TupConcat Tup4 Tup0 Tup4 Source # 

Methods

tupConcat :: Tup4 a -> Tup0 a -> Tup4 a Source #

TupConcat Tup3 Tup6 Tup9 Source # 

Methods

tupConcat :: Tup3 a -> Tup6 a -> Tup9 a Source #

TupConcat Tup3 Tup5 Tup8 Source # 

Methods

tupConcat :: Tup3 a -> Tup5 a -> Tup8 a Source #

TupConcat Tup3 Tup4 Tup7 Source # 

Methods

tupConcat :: Tup3 a -> Tup4 a -> Tup7 a Source #

TupConcat Tup3 Tup3 Tup6 Source # 

Methods

tupConcat :: Tup3 a -> Tup3 a -> Tup6 a Source #

TupConcat Tup3 Tup2 Tup5 Source # 

Methods

tupConcat :: Tup3 a -> Tup2 a -> Tup5 a Source #

TupConcat Tup3 Tup1 Tup4 Source # 

Methods

tupConcat :: Tup3 a -> Tup1 a -> Tup4 a Source #

TupConcat Tup3 Tup0 Tup3 Source # 

Methods

tupConcat :: Tup3 a -> Tup0 a -> Tup3 a Source #

TupConcat Tup2 Tup7 Tup9 Source # 

Methods

tupConcat :: Tup2 a -> Tup7 a -> Tup9 a Source #

TupConcat Tup2 Tup6 Tup8 Source # 

Methods

tupConcat :: Tup2 a -> Tup6 a -> Tup8 a Source #

TupConcat Tup2 Tup5 Tup7 Source # 

Methods

tupConcat :: Tup2 a -> Tup5 a -> Tup7 a Source #

TupConcat Tup2 Tup4 Tup6 Source # 

Methods

tupConcat :: Tup2 a -> Tup4 a -> Tup6 a Source #

TupConcat Tup2 Tup3 Tup5 Source # 

Methods

tupConcat :: Tup2 a -> Tup3 a -> Tup5 a Source #

TupConcat Tup2 Tup2 Tup4 Source # 

Methods

tupConcat :: Tup2 a -> Tup2 a -> Tup4 a Source #

TupConcat Tup2 Tup1 Tup3 Source # 

Methods

tupConcat :: Tup2 a -> Tup1 a -> Tup3 a Source #

TupConcat Tup2 Tup0 Tup2 Source # 

Methods

tupConcat :: Tup2 a -> Tup0 a -> Tup2 a Source #

TupConcat Tup1 Tup8 Tup9 Source # 

Methods

tupConcat :: Tup1 a -> Tup8 a -> Tup9 a Source #

TupConcat Tup1 Tup7 Tup8 Source # 

Methods

tupConcat :: Tup1 a -> Tup7 a -> Tup8 a Source #

TupConcat Tup1 Tup6 Tup7 Source # 

Methods

tupConcat :: Tup1 a -> Tup6 a -> Tup7 a Source #

TupConcat Tup1 Tup5 Tup6 Source # 

Methods

tupConcat :: Tup1 a -> Tup5 a -> Tup6 a Source #

TupConcat Tup1 Tup4 Tup5 Source # 

Methods

tupConcat :: Tup1 a -> Tup4 a -> Tup5 a Source #

TupConcat Tup1 Tup3 Tup4 Source # 

Methods

tupConcat :: Tup1 a -> Tup3 a -> Tup4 a Source #

TupConcat Tup1 Tup2 Tup3 Source # 

Methods

tupConcat :: Tup1 a -> Tup2 a -> Tup3 a Source #

TupConcat Tup1 Tup1 Tup2 Source # 

Methods

tupConcat :: Tup1 a -> Tup1 a -> Tup2 a Source #

TupConcat Tup1 Tup0 Tup1 Source # 

Methods

tupConcat :: Tup1 a -> Tup0 a -> Tup1 a Source #

TupConcat Tup0 Tup9 Tup9 Source # 

Methods

tupConcat :: Tup0 a -> Tup9 a -> Tup9 a Source #

TupConcat Tup0 Tup8 Tup8 Source # 

Methods

tupConcat :: Tup0 a -> Tup8 a -> Tup8 a Source #

TupConcat Tup0 Tup7 Tup7 Source # 

Methods

tupConcat :: Tup0 a -> Tup7 a -> Tup7 a Source #

TupConcat Tup0 Tup6 Tup6 Source # 

Methods

tupConcat :: Tup0 a -> Tup6 a -> Tup6 a Source #

TupConcat Tup0 Tup5 Tup5 Source # 

Methods

tupConcat :: Tup0 a -> Tup5 a -> Tup5 a Source #

TupConcat Tup0 Tup4 Tup4 Source # 

Methods

tupConcat :: Tup0 a -> Tup4 a -> Tup4 a Source #

TupConcat Tup0 Tup3 Tup3 Source # 

Methods

tupConcat :: Tup0 a -> Tup3 a -> Tup3 a Source #

TupConcat Tup0 Tup2 Tup2 Source # 

Methods

tupConcat :: Tup0 a -> Tup2 a -> Tup2 a Source #

TupConcat Tup0 Tup1 Tup1 Source # 

Methods

tupConcat :: Tup0 a -> Tup1 a -> Tup1 a Source #

TupConcat Tup0 Tup0 Tup0 Source # 

Methods

tupConcat :: Tup0 a -> Tup0 a -> Tup0 a Source #

(Tup u, Tup v, TupConcat u v w) => TupConcat (Cons u) v (Cons w) Source # 

Methods

tupConcat :: Cons u a -> v a -> Cons w a Source #