MulLens
A simple lens for multiplication
Value parameters
- k
-
The summand
Attributes
- Graph
-
- Supertypes
Members list
Value members
Inherited methods
Overloads the compose function to return a bijective lens This version does not use an LVar internally, making it more efficient than the implementation in Lens
Overloads the compose function to return a bijective lens This version does not use an LVar internally, making it more efficient than the implementation in Lens
Value parameters
- other
-
The other lens
Attributes
- Inherited from:
- BijectiveLens
Concatenates this lens with another lens and returns the resulting lens. Internally, a LensVar is created, meaning that this function is just for convenience and not performance
Concatenates this lens with another lens and returns the resulting lens. Internally, a LensVar is created, meaning that this function is just for convenience and not performance
Value parameters
- other
-
The other lens
Attributes
- Inherited from:
- Lens
Inverts the lens such that e.g. an AddLens functions like a SubLens. Note that this does not change the model-view relationship, i.e. the asymmetry is not inverted.
Inverts the lens such that e.g. an AddLens functions like a SubLens. Note that this does not change the model-view relationship, i.e. the asymmetry is not inverted.
Attributes
- Inherited from:
- BijectiveLens
Transforms the view to the model using the old model state
Transforms the view to the model using the old model state
Attributes
- Definition Classes
- Inherited from:
- BijectiveLens