Control.Reference.TupleInstances

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

Minimal complete definition

Nothing

Methods

_1 :: forall w. Monad w => Lens' w s t a b1

_1' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_2 :: forall w. Monad w => Lens' w s t a b1

_2' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_3 :: forall w. Monad w => Lens' w s t a b1

_3' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_4 :: forall w. Monad w => Lens' w s t a b1

_4' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_5 :: forall w. Monad w => Lens' w s t a b1

_5' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_6 :: forall w. Monad w => Lens' w s t a b1

_6' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_7 :: forall w. Monad w => Lens' w s t a b1

_7' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_8 :: forall w. Monad w => Lens' w s t a b1

_8' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_9 :: forall w. Monad w => Lens' w s t a b1

_9' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_10 :: forall w. Monad w => Lens' w s t a b1

_10' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_11 :: forall w. Monad w => Lens' w s t a b1

_11' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_12 :: forall w. Monad w => Lens' w s t a b1

_12' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_13 :: forall w. Monad w => Lens' w s t a b1

_13' :: Lens s t a b1

Instances

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

Minimal complete definition

Nothing

Methods

_14 :: forall w. Monad w => Lens' w s t a b1

_14' :: Lens s t a b1

Instances

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

class Lens_15 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where

Minimal complete definition

Nothing

Methods

_15 :: forall w. Monad w => Lens' w s t a b1

_15' :: Lens s t a b1

Instances

Lens_15 (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 b2

Lens_15 (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, a, b2, a) a b2

class Lens_16 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where

Minimal complete definition

Nothing

Methods

_16 :: forall w. Monad w => Lens' w s t a b1

_16' :: Lens s t a b1

Instances

Lens_16 (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, a, a, b2) a b2