Safe Haskell | None |
---|---|
Language | Haskell98 |
A module where tuple classes and instances are created up to 16-tuple using makeTupleRefs
.
The number of classes and instances can be changed by hiding import from this module
and calling makeTupleRefs
in an other module.
Documentation
class Lens_1 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_1 (a, a) (b2, a) a b2 | |
Lens_1 (a, a, a) (b2, a, a) a b2 | |
Lens_1 (a, a, a, a) (b2, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a) (b2, a, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a, a) (b2, a, a, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a, a, a) (b2, a, a, a, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a, a, a, a) (b2, a, a, a, a, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a, a, a, a, a) (b2, a, a, a, a, a, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a, a, a, a, a, a) (b2, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a, a, a, a, a, a, a) (b2, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a, a, a, a, a, a, a, a) (b2, a, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a, a, a, a, a, a, a, a, a) (b2, a, a, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (b2, a, a, a, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (b2, a, a, a, a, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_1 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (b2, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) a b2 |
class Lens_2 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_2 (a, a) (a, b2) a b2 | |
Lens_2 (a, a, a) (a, b2, a) a b2 | |
Lens_2 (a, a, a, a) (a, b2, a, a) a b2 | |
Lens_2 (a, a, a, a, a) (a, b2, a, a, a) a b2 | |
Lens_2 (a, a, a, a, a, a) (a, b2, a, a, a, a) a b2 | |
Lens_2 (a, a, a, a, a, a, a) (a, b2, a, a, a, a, a) a b2 | |
Lens_2 (a, a, a, a, a, a, a, a) (a, b2, a, a, a, a, a, a) a b2 | |
Lens_2 (a, a, a, a, a, a, a, a, a) (a, b2, a, a, a, a, a, a, a) a b2 | |
Lens_2 (a, a, a, a, a, a, a, a, a, a) (a, b2, a, a, a, a, a, a, a, a) a b2 | |
Lens_2 (a, a, a, a, a, a, a, a, a, a, a) (a, b2, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_2 (a, a, a, a, a, a, a, a, a, a, a, a) (a, b2, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_2 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, b2, a, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_2 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, b2, a, a, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_2 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, b2, a, a, a, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_2 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, b2, a, a, a, a, a, a, a, a, a, a, a, a, a, a) a b2 |
class Lens_3 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_3 (a, a, a) (a, a, b2) a b2 | |
Lens_3 (a, a, a, a) (a, a, b2, a) a b2 | |
Lens_3 (a, a, a, a, a) (a, a, b2, a, a) a b2 | |
Lens_3 (a, a, a, a, a, a) (a, a, b2, a, a, a) a b2 | |
Lens_3 (a, a, a, a, a, a, a) (a, a, b2, a, a, a, a) a b2 | |
Lens_3 (a, a, a, a, a, a, a, a) (a, a, b2, a, a, a, a, a) a b2 | |
Lens_3 (a, a, a, a, a, a, a, a, a) (a, a, b2, a, a, a, a, a, a) a b2 | |
Lens_3 (a, a, a, a, a, a, a, a, a, a) (a, a, b2, a, a, a, a, a, a, a) a b2 | |
Lens_3 (a, a, a, a, a, a, a, a, a, a, a) (a, a, b2, a, a, a, a, a, a, a, a) a b2 | |
Lens_3 (a, a, a, a, a, a, a, a, a, a, a, a) (a, a, b2, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_3 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, b2, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_3 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, b2, a, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_3 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, b2, a, a, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_3 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, b2, a, a, a, a, a, a, a, a, a, a, a, a, a) a b2 |
class Lens_4 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_4 (a, a, a, a) (a, a, a, b2) a b2 | |
Lens_4 (a, a, a, a, a) (a, a, a, b2, a) a b2 | |
Lens_4 (a, a, a, a, a, a) (a, a, a, b2, a, a) a b2 | |
Lens_4 (a, a, a, a, a, a, a) (a, a, a, b2, a, a, a) a b2 | |
Lens_4 (a, a, a, a, a, a, a, a) (a, a, a, b2, a, a, a, a) a b2 | |
Lens_4 (a, a, a, a, a, a, a, a, a) (a, a, a, b2, a, a, a, a, a) a b2 | |
Lens_4 (a, a, a, a, a, a, a, a, a, a) (a, a, a, b2, a, a, a, a, a, a) a b2 | |
Lens_4 (a, a, a, a, a, a, a, a, a, a, a) (a, a, a, b2, a, a, a, a, a, a, a) a b2 | |
Lens_4 (a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, b2, a, a, a, a, a, a, a, a) a b2 | |
Lens_4 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, b2, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_4 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, b2, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_4 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, b2, a, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_4 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, b2, a, a, a, a, a, a, a, a, a, a, a, a) a b2 |
class Lens_5 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_5 (a, a, a, a, a) (a, a, a, a, b2) a b2 | |
Lens_5 (a, a, a, a, a, a) (a, a, a, a, b2, a) a b2 | |
Lens_5 (a, a, a, a, a, a, a) (a, a, a, a, b2, a, a) a b2 | |
Lens_5 (a, a, a, a, a, a, a, a) (a, a, a, a, b2, a, a, a) a b2 | |
Lens_5 (a, a, a, a, a, a, a, a, a) (a, a, a, a, b2, a, a, a, a) a b2 | |
Lens_5 (a, a, a, a, a, a, a, a, a, a) (a, a, a, a, b2, a, a, a, a, a) a b2 | |
Lens_5 (a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, b2, a, a, a, a, a, a) a b2 | |
Lens_5 (a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, b2, a, a, a, a, a, a, a) a b2 | |
Lens_5 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, b2, a, a, a, a, a, a, a, a) a b2 | |
Lens_5 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, b2, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_5 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, b2, a, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_5 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, b2, a, a, a, a, a, a, a, a, a, a, a) a b2 |
class Lens_6 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_6 (a, a, a, a, a, a) (a, a, a, a, a, b2) a b2 | |
Lens_6 (a, a, a, a, a, a, a) (a, a, a, a, a, b2, a) a b2 | |
Lens_6 (a, a, a, a, a, a, a, a) (a, a, a, a, a, b2, a, a) a b2 | |
Lens_6 (a, a, a, a, a, a, a, a, a) (a, a, a, a, a, b2, a, a, a) a b2 | |
Lens_6 (a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, b2, a, a, a, a) a b2 | |
Lens_6 (a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, b2, a, a, a, a, a) a b2 | |
Lens_6 (a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, b2, a, a, a, a, a, a) a b2 | |
Lens_6 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, b2, a, a, a, a, a, a, a) a b2 | |
Lens_6 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, b2, a, a, a, a, a, a, a, a) a b2 | |
Lens_6 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, b2, a, a, a, a, a, a, a, a, a) a b2 | |
Lens_6 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, b2, a, a, a, a, a, a, a, a, a, a) a b2 |
class Lens_7 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_7 (a, a, a, a, a, a, a) (a, a, a, a, a, a, b2) a b2 | |
Lens_7 (a, a, a, a, a, a, a, a) (a, a, a, a, a, a, b2, a) a b2 | |
Lens_7 (a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, b2, a, a) a b2 | |
Lens_7 (a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, b2, a, a, a) a b2 | |
Lens_7 (a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, b2, a, a, a, a) a b2 | |
Lens_7 (a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, b2, a, a, a, a, a) a b2 | |
Lens_7 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, b2, a, a, a, a, a, a) a b2 | |
Lens_7 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, b2, a, a, a, a, a, a, a) a b2 | |
Lens_7 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, b2, a, a, a, a, a, a, a, a) a b2 | |
Lens_7 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, b2, a, a, a, a, a, a, a, a, a) a b2 |
class Lens_8 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_8 (a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, b2) a b2 | |
Lens_8 (a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, b2, a) a b2 | |
Lens_8 (a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, b2, a, a) a b2 | |
Lens_8 (a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, b2, a, a, a) a b2 | |
Lens_8 (a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, b2, a, a, a, a) a b2 | |
Lens_8 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, b2, a, a, a, a, a) a b2 | |
Lens_8 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, b2, a, a, a, a, a, a) a b2 | |
Lens_8 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, b2, a, a, a, a, a, a, a) a b2 | |
Lens_8 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, b2, a, a, a, a, a, a, a, a) a b2 |
class Lens_9 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_9 (a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, b2) a b2 | |
Lens_9 (a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, b2, a) a b2 | |
Lens_9 (a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, b2, a, a) a b2 | |
Lens_9 (a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, b2, a, a, a) a b2 | |
Lens_9 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, b2, a, a, a, a) a b2 | |
Lens_9 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, b2, a, a, a, a, a) a b2 | |
Lens_9 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, b2, a, a, a, a, a, a) a b2 | |
Lens_9 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, b2, a, a, a, a, a, a, a) a b2 |
class Lens_10 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_10 (a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, b2) a b2 | |
Lens_10 (a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, b2, a) a b2 | |
Lens_10 (a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, b2, a, a) a b2 | |
Lens_10 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, b2, a, a, a) a b2 | |
Lens_10 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, b2, a, a, a, a) a b2 | |
Lens_10 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, b2, a, a, a, a, a) a b2 | |
Lens_10 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, b2, a, a, a, a, a, a) a b2 |
class Lens_11 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_11 (a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, b2) a b2 | |
Lens_11 (a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, b2, a) a b2 | |
Lens_11 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, b2, a, a) a b2 | |
Lens_11 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, b2, a, a, a) a b2 | |
Lens_11 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, b2, a, a, a, a) a b2 | |
Lens_11 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, b2, a, a, a, a, a) a b2 |
class Lens_12 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_12 (a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, b2) a b2 | |
Lens_12 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, b2, a) a b2 | |
Lens_12 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, b2, a, a) a b2 | |
Lens_12 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, b2, a, a, a) a b2 | |
Lens_12 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, b2, a, a, a, a) a b2 |
class Lens_13 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_13 (a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, a, b2) a b2 | |
Lens_13 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, a, b2, a) a b2 | |
Lens_13 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, a, b2, a, a) a b2 | |
Lens_13 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, a, b2, a, a, a) a b2 |
class Lens_14 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where Source
Nothing
Lens_14 (a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, a, a, b2) a b2 | |
Lens_14 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, a, a, b2, a) a b2 | |
Lens_14 (a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a) (a, a, a, a, a, a, a, a, a, a, a, a, a, b2, a, a) a b2 |