UninterpretedOptionLens
class UninterpretedOptionLens[UpperPB](_l: Lens[UpperPB, UninterpretedOption]) extends ObjectLens[UpperPB, UninterpretedOption]
class Object
trait Matchable
class Any
Value members
Concrete methods
Inherited methods
Composes two lenses, this enables nesting.
Composes two lenses, this enables nesting.
If our field of type A has a sub-field of type B, then given a lens for it (other: Lens[A, B]) we can create a single lens from Container to B.
- Inherited from
- Lens
def field[A](getter: UninterpretedOption => A)(setter: (UninterpretedOption, A) => UninterpretedOption): Lens[UpperPB, A]
Creates a sub-lens
Creates a sub-lens
- Inherited from
- ObjectLens
Represent an update operator (like x.y += 1 )
Represent an update operator (like x.y += 1 )
- Inherited from
- Lens
Optional assignment.
Optional assignment.
Given a Some[A], assign the Some's value to the field. Given None, the
container is unchanged.
- Inherited from
- Lens
def update(ms: Lens[UninterpretedOption, UninterpretedOption] => () => UninterpretedOption*): () => UpperPB
- Inherited from
- ObjectLens