Language.Syntactic.Functional.Tuple

Construction and elimination of tuples

Generic tuple projection

class Select1 tup where

Associated Types

type Sel1 tup

Methods

select1 :: tup -> Sel1 tup

Instances

Select1 (a, b)

Select1 (a, b, c)

Select1 (a, b, c, d)

Select1 (a, b, c, d, e)

Select1 (a, b, c, d, e, f)

Select1 (a, b, c, d, e, f, g)

Select1 (a, b, c, d, e, f, g, h)

Select1 (a, b, c, d, e, f, g, h, i)

Select1 (a, b, c, d, e, f, g, h, i, j)

Select1 (a, b, c, d, e, f, g, h, i, j, k)

Select1 (a, b, c, d, e, f, g, h, i, j, k, l)

Select1 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select1 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select1 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select2 tup where

Associated Types

type Sel2 tup

Methods

select2 :: tup -> Sel2 tup

Instances

Select2 (a, b)

Select2 (a, b, c)

Select2 (a, b, c, d)

Select2 (a, b, c, d, e)

Select2 (a, b, c, d, e, f)

Select2 (a, b, c, d, e, f, g)

Select2 (a, b, c, d, e, f, g, h)

Select2 (a, b, c, d, e, f, g, h, i)

Select2 (a, b, c, d, e, f, g, h, i, j)

Select2 (a, b, c, d, e, f, g, h, i, j, k)

Select2 (a, b, c, d, e, f, g, h, i, j, k, l)

Select2 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select2 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select2 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select3 tup where

Associated Types

type Sel3 tup

Methods

select3 :: tup -> Sel3 tup

Instances

Select3 (a, b, c)

Select3 (a, b, c, d)

Select3 (a, b, c, d, e)

Select3 (a, b, c, d, e, f)

Select3 (a, b, c, d, e, f, g)

Select3 (a, b, c, d, e, f, g, h)

Select3 (a, b, c, d, e, f, g, h, i)

Select3 (a, b, c, d, e, f, g, h, i, j)

Select3 (a, b, c, d, e, f, g, h, i, j, k)

Select3 (a, b, c, d, e, f, g, h, i, j, k, l)

Select3 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select3 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select3 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select4 tup where

Associated Types

type Sel4 tup

Methods

select4 :: tup -> Sel4 tup

Instances

Select4 (a, b, c, d)

Select4 (a, b, c, d, e)

Select4 (a, b, c, d, e, f)

Select4 (a, b, c, d, e, f, g)

Select4 (a, b, c, d, e, f, g, h)

Select4 (a, b, c, d, e, f, g, h, i)

Select4 (a, b, c, d, e, f, g, h, i, j)

Select4 (a, b, c, d, e, f, g, h, i, j, k)

Select4 (a, b, c, d, e, f, g, h, i, j, k, l)

Select4 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select4 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select4 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select5 tup where

Associated Types

type Sel5 tup

Methods

select5 :: tup -> Sel5 tup

Instances

Select5 (a, b, c, d, e)

Select5 (a, b, c, d, e, f)

Select5 (a, b, c, d, e, f, g)

Select5 (a, b, c, d, e, f, g, h)

Select5 (a, b, c, d, e, f, g, h, i)

Select5 (a, b, c, d, e, f, g, h, i, j)

Select5 (a, b, c, d, e, f, g, h, i, j, k)

Select5 (a, b, c, d, e, f, g, h, i, j, k, l)

Select5 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select5 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select5 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select6 tup where

Associated Types

type Sel6 tup

Methods

select6 :: tup -> Sel6 tup

Instances

Select6 (a, b, c, d, e, f)

Select6 (a, b, c, d, e, f, g)

Select6 (a, b, c, d, e, f, g, h)

Select6 (a, b, c, d, e, f, g, h, i)

Select6 (a, b, c, d, e, f, g, h, i, j)

Select6 (a, b, c, d, e, f, g, h, i, j, k)

Select6 (a, b, c, d, e, f, g, h, i, j, k, l)

Select6 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select6 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select6 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select7 tup where

Associated Types

type Sel7 tup

Methods

select7 :: tup -> Sel7 tup

Instances

Select7 (a, b, c, d, e, f, g)

Select7 (a, b, c, d, e, f, g, h)

Select7 (a, b, c, d, e, f, g, h, i)

Select7 (a, b, c, d, e, f, g, h, i, j)

Select7 (a, b, c, d, e, f, g, h, i, j, k)

Select7 (a, b, c, d, e, f, g, h, i, j, k, l)

Select7 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select7 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select7 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select8 tup where

Associated Types

type Sel8 tup

Methods

select8 :: tup -> Sel8 tup

Instances

Select8 (a, b, c, d, e, f, g, h)

Select8 (a, b, c, d, e, f, g, h, i)

Select8 (a, b, c, d, e, f, g, h, i, j)

Select8 (a, b, c, d, e, f, g, h, i, j, k)

Select8 (a, b, c, d, e, f, g, h, i, j, k, l)

Select8 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select8 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select8 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select9 tup where

Associated Types

type Sel9 tup

Methods

select9 :: tup -> Sel9 tup

Instances

Select9 (a, b, c, d, e, f, g, h, i)

Select9 (a, b, c, d, e, f, g, h, i, j)

Select9 (a, b, c, d, e, f, g, h, i, j, k)

Select9 (a, b, c, d, e, f, g, h, i, j, k, l)

Select9 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select9 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select9 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select10 tup where

Associated Types

type Sel10 tup

Methods

select10 :: tup -> Sel10 tup

Instances

Select10 (a, b, c, d, e, f, g, h, i, j)

Select10 (a, b, c, d, e, f, g, h, i, j, k)

Select10 (a, b, c, d, e, f, g, h, i, j, k, l)

Select10 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select10 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select10 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select11 tup where

Associated Types

type Sel11 tup

Methods

select11 :: tup -> Sel11 tup

Instances

Select11 (a, b, c, d, e, f, g, h, i, j, k)

Select11 (a, b, c, d, e, f, g, h, i, j, k, l)

Select11 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select11 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select11 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select12 tup where

Associated Types

type Sel12 tup

Methods

select12 :: tup -> Sel12 tup

Instances

Select12 (a, b, c, d, e, f, g, h, i, j, k, l)

Select12 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select12 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select12 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select13 tup where

Associated Types

type Sel13 tup

Methods

select13 :: tup -> Sel13 tup

Instances

Select13 (a, b, c, d, e, f, g, h, i, j, k, l, m)

Select13 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select13 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select14 tup where

Associated Types

type Sel14 tup

Methods

select14 :: tup -> Sel14 tup

Instances

Select14 (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Select14 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

class Select15 tup where

Associated Types

type Sel15 tup

Methods

select15 :: tup -> Sel15 tup

Instances

Select15 (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Symbols

data Tuple sig

Construction and elimination of tuples

Constructors

forall a b . (sig ~ (:->) a ((:->) b (Full (a, b)))) => Tup2

forall a b c . (sig ~ (:->) a ((:->) b ((:->) c (Full (a, b, c))))) => Tup3

forall a b c d . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d (Full (a, b, c, d)))))) => Tup4

forall a b c d e . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d ((:->) e (Full (a, b, c, d, e))))))) => Tup5

forall a b c d e f . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d ((:->) e ((:->) f (Full (a, b, c, d, e, f)))))))) => Tup6

forall a b c d e f g . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d ((:->) e ((:->) f ((:->) g (Full (a, b, c, d, e, f, g))))))))) => Tup7

forall a b c d e f g h . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d ((:->) e ((:->) f ((:->) g ((:->) h (Full (a, b, c, d, e, f, g, h)))))))))) => Tup8

forall a b c d e f g h i . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d ((:->) e ((:->) f ((:->) g ((:->) h ((:->) i (Full (a, b, c, d, e, f, g, h, i))))))))))) => Tup9

forall a b c d e f g h i j . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d ((:->) e ((:->) f ((:->) g ((:->) h ((:->) i ((:->) j (Full (a, b, c, d, e, f, g, h, i, j)))))))))))) => Tup10

forall a b c d e f g h i j k . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d ((:->) e ((:->) f ((:->) g ((:->) h ((:->) i ((:->) j ((:->) k (Full (a, b, c, d, e, f, g, h, i, j, k))))))))))))) => Tup11

forall a b c d e f g h i j k l . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d ((:->) e ((:->) f ((:->) g ((:->) h ((:->) i ((:->) j ((:->) k ((:->) l (Full (a, b, c, d, e, f, g, h, i, j, k, l)))))))))))))) => Tup12

forall a b c d e f g h i j k l m . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d ((:->) e ((:->) f ((:->) g ((:->) h ((:->) i ((:->) j ((:->) k ((:->) l ((:->) m (Full (a, b, c, d, e, f, g, h, i, j, k, l, m))))))))))))))) => Tup13

forall a b c d e f g h i j k l m n . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d ((:->) e ((:->) f ((:->) g ((:->) h ((:->) i ((:->) j ((:->) k ((:->) l ((:->) m ((:->) n (Full (a, b, c, d, e, f, g, h, i, j, k, l, m, n)))))))))))))))) => Tup14

forall a b c d e f g h i j k l m n o . (sig ~ (:->) a ((:->) b ((:->) c ((:->) d ((:->) e ((:->) f ((:->) g ((:->) h ((:->) i ((:->) j ((:->) k ((:->) l ((:->) m ((:->) n ((:->) o (Full (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o))))))))))))))))) => Tup15

forall tup . (sig ~ (:->) tup (Full (Sel1 tup)), Select1 tup) => Sel1

forall tup . (sig ~ (:->) tup (Full (Sel2 tup)), Select2 tup) => Sel2

forall tup . (sig ~ (:->) tup (Full (Sel3 tup)), Select3 tup) => Sel3

forall tup . (sig ~ (:->) tup (Full (Sel4 tup)), Select4 tup) => Sel4

forall tup . (sig ~ (:->) tup (Full (Sel5 tup)), Select5 tup) => Sel5

forall tup . (sig ~ (:->) tup (Full (Sel6 tup)), Select6 tup) => Sel6

forall tup . (sig ~ (:->) tup (Full (Sel7 tup)), Select7 tup) => Sel7

forall tup . (sig ~ (:->) tup (Full (Sel8 tup)), Select8 tup) => Sel8

forall tup . (sig ~ (:->) tup (Full (Sel9 tup)), Select9 tup) => Sel9

forall tup . (sig ~ (:->) tup (Full (Sel10 tup)), Select10 tup) => Sel10

forall tup . (sig ~ (:->) tup (Full (Sel11 tup)), Select11 tup) => Sel11

forall tup . (sig ~ (:->) tup (Full (Sel12 tup)), Select12 tup) => Sel12

forall tup . (sig ~ (:->) tup (Full (Sel13 tup)), Select13 tup) => Sel13

forall tup . (sig ~ (:->) tup (Full (Sel14 tup)), Select14 tup) => Sel14

forall tup . (sig ~ (:->) tup (Full (Sel15 tup)), Select15 tup) => Sel15

Instances

Symbol Tuple

StringTree Tuple

Render Tuple

Equality Tuple

Eval Tuple

EvalEnv Tuple env

Template Haskell

eqPred :: Type -> Type -> Pred

Portable method for constructing a Pred of the form (t1 ~ t2)

classPred

Arguments

:: Name

Class name

-> (Name -> Type)

How to make a type for the class (typically ConT or VarT)

-> [Type]

Class arguments

-> Pred

Portable method for constructing a Pred of the form SomeClass t1 t2 ...

mkSelectClassPlusInstances

Arguments

:: Int

Max tuple width

-> DecsQ

deriveSyntacticForTuples

Arguments

:: (Type -> Cxt)

internalPred (see above)

-> (Type -> Type)

mkDomain (see above)

-> (Exp -> Exp)

Symbol injection

-> Int

Max tuple width

-> DecsQ