references-0.3.3.1: Selectors for reading and updating data.

Safe HaskellNone
LanguageHaskell98

Control.Reference.TupleInstances

Description

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

_1

Methods

_1 :: Lens s t a b1 #

Instances

Lens_1 (a1, a2) (b2, a2) a1 b2 # 

Methods

_1 :: Lens (a1, a2) (b2, a2) a1 b2 #

Lens_1 (a1, a2, a3) (b2, a2, a3) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3) (b2, a2, a3) a1 b2 #

Lens_1 (a1, a2, a3, a4) (b2, a2, a3, a4) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4) (b2, a2, a3, a4) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5) (b2, a2, a3, a4, a5) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5) (b2, a2, a3, a4, a5) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5, a6) (b2, a2, a3, a4, a5, a6) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5, a6) (b2, a2, a3, a4, a5, a6) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5, a6, a7) (b2, a2, a3, a4, a5, a6, a7) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5, a6, a7) (b2, a2, a3, a4, a5, a6, a7) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5, a6, a7, a8) (b2, a2, a3, a4, a5, a6, a7, a8) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8) (b2, a2, a3, a4, a5, a6, a7, a8) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5, a6, a7, a8, a9) (b2, a2, a3, a4, a5, a6, a7, a8, a9) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9) (b2, a2, a3, a4, a5, a6, a7, a8, a9) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) a1 b2 #

Lens_1 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a1 b2 # 

Methods

_1 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (b2, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a1 b2 #

class Lens_2 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_2

Methods

_2 :: Lens s t a b1 #

Instances

Lens_2 (a1, a2) (a1, b2) a2 b2 # 

Methods

_2 :: Lens (a1, a2) (a1, b2) a2 b2 #

Lens_2 (a1, a2, a3) (a1, b2, a3) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3) (a1, b2, a3) a2 b2 #

Lens_2 (a1, a2, a3, a4) (a1, b2, a3, a4) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4) (a1, b2, a3, a4) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5) (a1, b2, a3, a4, a5) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5) (a1, b2, a3, a4, a5) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5, a6) (a1, b2, a3, a4, a5, a6) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5, a6) (a1, b2, a3, a4, a5, a6) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5, a6, a7) (a1, b2, a3, a4, a5, a6, a7) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5, a6, a7) (a1, b2, a3, a4, a5, a6, a7) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5, a6, a7, a8) (a1, b2, a3, a4, a5, a6, a7, a8) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8) (a1, b2, a3, a4, a5, a6, a7, a8) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, b2, a3, a4, a5, a6, a7, a8, a9) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, b2, a3, a4, a5, a6, a7, a8, a9) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) a2 b2 #

Lens_2 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a2 b2 # 

Methods

_2 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, b2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a2 b2 #

class Lens_3 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_3

Methods

_3 :: Lens s t a b1 #

Instances

Lens_3 (a1, a2, a3) (a1, a2, b2) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3) (a1, a2, b2) a3 b2 #

Lens_3 (a1, a2, a3, a4) (a1, a2, b2, a4) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4) (a1, a2, b2, a4) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5) (a1, a2, b2, a4, a5) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5) (a1, a2, b2, a4, a5) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5, a6) (a1, a2, b2, a4, a5, a6) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5, a6) (a1, a2, b2, a4, a5, a6) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5, a6, a7) (a1, a2, b2, a4, a5, a6, a7) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5, a6, a7) (a1, a2, b2, a4, a5, a6, a7) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, b2, a4, a5, a6, a7, a8) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, b2, a4, a5, a6, a7, a8) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, b2, a4, a5, a6, a7, a8, a9) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, b2, a4, a5, a6, a7, a8, a9) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11, a12) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11, a12) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) a3 b2 #

Lens_3 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a3 b2 # 

Methods

_3 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, b2, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a3 b2 #

class Lens_4 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_4

Methods

_4 :: Lens s t a b1 #

Instances

Lens_4 (a1, a2, a3, a4) (a1, a2, a3, b2) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4) (a1, a2, a3, b2) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5) (a1, a2, a3, b2, a5) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5) (a1, a2, a3, b2, a5) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5, a6) (a1, a2, a3, b2, a5, a6) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5, a6) (a1, a2, a3, b2, a5, a6) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, b2, a5, a6, a7) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, b2, a5, a6, a7) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, b2, a5, a6, a7, a8) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, b2, a5, a6, a7, a8) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, b2, a5, a6, a7, a8, a9) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, b2, a5, a6, a7, a8, a9) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11, a12) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11, a12) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11, a12, a13) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11, a12, a13) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) a4 b2 #

Lens_4 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a4 b2 # 

Methods

_4 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, b2, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a4 b2 #

class Lens_5 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_5

Methods

_5 :: Lens s t a b1 #

Instances

Lens_5 (a1, a2, a3, a4, a5) (a1, a2, a3, a4, b2) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5) (a1, a2, a3, a4, b2) a5 b2 #

Lens_5 (a1, a2, a3, a4, a5, a6) (a1, a2, a3, a4, b2, a6) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5, a6) (a1, a2, a3, a4, b2, a6) a5 b2 #

Lens_5 (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, a4, b2, a6, a7) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, a4, b2, a6, a7) a5 b2 #

Lens_5 (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, b2, a6, a7, a8) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, b2, a6, a7, a8) a5 b2 #

Lens_5 (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, b2, a6, a7, a8, a9) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, b2, a6, a7, a8, a9) a5 b2 #

Lens_5 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10) a5 b2 #

Lens_5 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11) a5 b2 #

Lens_5 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11, a12) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11, a12) a5 b2 #

Lens_5 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11, a12, a13) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11, a12, a13) a5 b2 #

Lens_5 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11, a12, a13, a14) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11, a12, a13, a14) a5 b2 #

Lens_5 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) a5 b2 #

Lens_5 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a5 b2 # 

Methods

_5 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, b2, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a5 b2 #

class Lens_6 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_6

Methods

_6 :: Lens s t a b1 #

Instances

Lens_6 (a1, a2, a3, a4, a5, a6) (a1, a2, a3, a4, a5, b2) a6 b2 # 

Methods

_6 :: Lens (a1, a2, a3, a4, a5, a6) (a1, a2, a3, a4, a5, b2) a6 b2 #

Lens_6 (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, a4, a5, b2, a7) a6 b2 # 

Methods

_6 :: Lens (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, a4, a5, b2, a7) a6 b2 #

Lens_6 (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, a5, b2, a7, a8) a6 b2 # 

Methods

_6 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, a5, b2, a7, a8) a6 b2 #

Lens_6 (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, b2, a7, a8, a9) a6 b2 # 

Methods

_6 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, b2, a7, a8, a9) a6 b2 #

Lens_6 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10) a6 b2 # 

Methods

_6 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10) a6 b2 #

Lens_6 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11) a6 b2 # 

Methods

_6 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11) a6 b2 #

Lens_6 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11, a12) a6 b2 # 

Methods

_6 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11, a12) a6 b2 #

Lens_6 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11, a12, a13) a6 b2 # 

Methods

_6 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11, a12, a13) a6 b2 #

Lens_6 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11, a12, a13, a14) a6 b2 # 

Methods

_6 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11, a12, a13, a14) a6 b2 #

Lens_6 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11, a12, a13, a14, a15) a6 b2 # 

Methods

_6 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11, a12, a13, a14, a15) a6 b2 #

Lens_6 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a6 b2 # 

Methods

_6 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, b2, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) a6 b2 #

class Lens_7 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_7

Methods

_7 :: Lens s t a b1 #

Instances

Lens_7 (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, a4, a5, a6, b2) a7 b2 # 

Methods

_7 :: Lens (a1, a2, a3, a4, a5, a6, a7) (a1, a2, a3, a4, a5, a6, b2) a7 b2 #

Lens_7 (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, a5, a6, b2, a8) a7 b2 # 

Methods

_7 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, a5, a6, b2, a8) a7 b2 #

Lens_7 (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, a6, b2, a8, a9) a7 b2 # 

Methods

_7 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, a6, b2, a8, a9) a7 b2 #

Lens_7 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10) a7 b2 # 

Methods

_7 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10) a7 b2 #

Lens_7 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11) a7 b2 # 

Methods

_7 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11) a7 b2 #

Lens_7 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11, a12) a7 b2 # 

Methods

_7 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11, a12) a7 b2 #

Lens_7 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11, a12, a13) a7 b2 # 

Methods

_7 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11, a12, a13) a7 b2 #

Lens_7 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11, a12, a13, a14) a7 b2 # 

Methods

_7 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11, a12, a13, a14) a7 b2 #

Lens_7 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11, a12, a13, a14, a15) a7 b2 # 

Methods

_7 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11, a12, a13, a14, a15) a7 b2 #

Lens_7 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11, a12, a13, a14, a15, a16) a7 b2 # 

Methods

_7 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, b2, a8, a9, a10, a11, a12, a13, a14, a15, a16) a7 b2 #

class Lens_8 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_8

Methods

_8 :: Lens s t a b1 #

Instances

Lens_8 (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, a5, a6, a7, b2) a8 b2 # 

Methods

_8 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8) (a1, a2, a3, a4, a5, a6, a7, b2) a8 b2 #

Lens_8 (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, a6, a7, b2, a9) a8 b2 # 

Methods

_8 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, a6, a7, b2, a9) a8 b2 #

Lens_8 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10) a8 b2 # 

Methods

_8 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10) a8 b2 #

Lens_8 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11) a8 b2 # 

Methods

_8 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11) a8 b2 #

Lens_8 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11, a12) a8 b2 # 

Methods

_8 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11, a12) a8 b2 #

Lens_8 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11, a12, a13) a8 b2 # 

Methods

_8 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11, a12, a13) a8 b2 #

Lens_8 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11, a12, a13, a14) a8 b2 # 

Methods

_8 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11, a12, a13, a14) a8 b2 #

Lens_8 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11, a12, a13, a14, a15) a8 b2 # 

Methods

_8 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11, a12, a13, a14, a15) a8 b2 #

Lens_8 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11, a12, a13, a14, a15, a16) a8 b2 # 

Methods

_8 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, b2, a9, a10, a11, a12, a13, a14, a15, a16) a8 b2 #

class Lens_9 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_9

Methods

_9 :: Lens s t a b1 #

Instances

Lens_9 (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, a6, a7, a8, b2) a9 b2 # 

Methods

_9 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9) (a1, a2, a3, a4, a5, a6, a7, a8, b2) a9 b2 #

Lens_9 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10) a9 b2 # 

Methods

_9 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10) a9 b2 #

Lens_9 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11) a9 b2 # 

Methods

_9 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11) a9 b2 #

Lens_9 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11, a12) a9 b2 # 

Methods

_9 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11, a12) a9 b2 #

Lens_9 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11, a12, a13) a9 b2 # 

Methods

_9 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11, a12, a13) a9 b2 #

Lens_9 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11, a12, a13, a14) a9 b2 # 

Methods

_9 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11, a12, a13, a14) a9 b2 #

Lens_9 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11, a12, a13, a14, a15) a9 b2 # 

Methods

_9 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11, a12, a13, a14, a15) a9 b2 #

Lens_9 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11, a12, a13, a14, a15, a16) a9 b2 # 

Methods

_9 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, b2, a10, a11, a12, a13, a14, a15, a16) a9 b2 #

class Lens_10 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_10

Methods

_10 :: Lens s t a b1 #

Instances

Lens_10 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2) a10 b2 # 

Methods

_10 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2) a10 b2 #

Lens_10 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11) a10 b2 # 

Methods

_10 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11) a10 b2 #

Lens_10 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11, a12) a10 b2 # 

Methods

_10 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11, a12) a10 b2 #

Lens_10 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11, a12, a13) a10 b2 # 

Methods

_10 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11, a12, a13) a10 b2 #

Lens_10 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11, a12, a13, a14) a10 b2 # 

Methods

_10 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11, a12, a13, a14) a10 b2 #

Lens_10 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11, a12, a13, a14, a15) a10 b2 # 

Methods

_10 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11, a12, a13, a14, a15) a10 b2 #

Lens_10 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11, a12, a13, a14, a15, a16) a10 b2 # 

Methods

_10 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, b2, a11, a12, a13, a14, a15, a16) a10 b2 #

class Lens_11 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_11

Methods

_11 :: Lens s t a b1 #

Instances

Lens_11 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2) a11 b2 # 

Methods

_11 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2) a11 b2 #

Lens_11 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2, a12) a11 b2 # 

Methods

_11 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2, a12) a11 b2 #

Lens_11 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2, a12, a13) a11 b2 # 

Methods

_11 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2, a12, a13) a11 b2 #

Lens_11 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2, a12, a13, a14) a11 b2 # 

Methods

_11 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2, a12, a13, a14) a11 b2 #

Lens_11 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2, a12, a13, a14, a15) a11 b2 # 

Methods

_11 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2, a12, a13, a14, a15) a11 b2 #

Lens_11 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2, a12, a13, a14, a15, a16) a11 b2 # 

Methods

_11 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, b2, a12, a13, a14, a15, a16) a11 b2 #

class Lens_12 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_12

Methods

_12 :: Lens s t a b1 #

Instances

Lens_12 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b2) a12 b2 # 

Methods

_12 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b2) a12 b2 #

Lens_12 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b2, a13) a12 b2 # 

Methods

_12 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b2, a13) a12 b2 #

Lens_12 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b2, a13, a14) a12 b2 # 

Methods

_12 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b2, a13, a14) a12 b2 #

Lens_12 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b2, a13, a14, a15) a12 b2 # 

Methods

_12 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b2, a13, a14, a15) a12 b2 #

Lens_12 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b2, a13, a14, a15, a16) a12 b2 # 

Methods

_12 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, b2, a13, a14, a15, a16) a12 b2 #

class Lens_13 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_13

Methods

_13 :: Lens s t a b1 #

Instances

Lens_13 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, b2) a13 b2 # 

Methods

_13 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, b2) a13 b2 #

Lens_13 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, b2, a14) a13 b2 # 

Methods

_13 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, b2, a14) a13 b2 #

Lens_13 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, b2, a14, a15) a13 b2 # 

Methods

_13 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, b2, a14, a15) a13 b2 #

Lens_13 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, b2, a14, a15, a16) a13 b2 # 

Methods

_13 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, b2, a14, a15, a16) a13 b2 #

class Lens_14 s t a b1 | s -> a, t -> b1, a t -> s, b1 s -> t where #

Minimal complete definition

_14

Methods

_14 :: Lens s t a b1 #

Instances

Lens_14 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, b2) a14 b2 # 

Methods

_14 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, b2) a14 b2 #

Lens_14 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, b2, a15) a14 b2 # 

Methods

_14 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, b2, a15) a14 b2 #

Lens_14 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, b2, a15, a16) a14 b2 # 

Methods

_14 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, b2, a15, a16) a14 b2 #

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

Minimal complete definition

_15

Methods

_15 :: Lens s t a b1 #

Instances

Lens_15 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, b2) a15 b2 # 

Methods

_15 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, b2) a15 b2 #

Lens_15 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, b2, a16) a15 b2 # 

Methods

_15 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, b2, a16) a15 b2 #

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

Minimal complete definition

_16

Methods

_16 :: Lens s t a b1 #

Instances

Lens_16 (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, b2) a16 b2 # 

Methods

_16 :: Lens (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, a16) (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15, b2) a16 b2 #