ExtensionRangeOptionsLens

class ExtensionRangeOptionsLens[UpperPB](_l: Lens[UpperPB, ExtensionRangeOptions]) extends ObjectLens[UpperPB, ExtensionRangeOptions]
class ObjectLens[UpperPB, ExtensionRangeOptions]
trait Lens[UpperPB, ExtensionRangeOptions]
class Object
trait Matchable
class Any

Value members

Concrete methods

def uninterpretedOption: Lens[UpperPB, Seq[UninterpretedOption]]

Inherited methods

def :=(a: ExtensionRangeOptions): () => UpperPB

alias to set

alias to set

Inherited from
Lens
def compose[B](other: Lens[ExtensionRangeOptions, B]): Lens[UpperPB, B]

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: ExtensionRangeOptions => A)(setter: (ExtensionRangeOptions, A) => ExtensionRangeOptions): Lens[UpperPB, A]

Creates a sub-lens

Creates a sub-lens

Inherited from
ObjectLens
def field[A](lens: Lens[ExtensionRangeOptions, A]): Lens[UpperPB, A]

Creates a sub-lens

Creates a sub-lens

Inherited from
ObjectLens
override def get(u: UpperPB): ExtensionRangeOptions
Definition Classes
ObjectLens -> Lens
Inherited from
ObjectLens

Represent an update operator (like x.y += 1 )

Represent an update operator (like x.y += 1 )

Inherited from
Lens
override def set(c: ExtensionRangeOptions): () => UpperPB
Definition Classes
ObjectLens -> Lens
Inherited from
ObjectLens
def setIfDefined(aOpt: Option[ExtensionRangeOptions]): () => UpperPB

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
Inherited from
ObjectLens
def zip[B](other: Lens[UpperPB, B]): Lens[UpperPB, (ExtensionRangeOptions, B)]

Given two lenses with the same origin, returns a new lens that can mutate both values represented by both lenses through a tuple.

Given two lenses with the same origin, returns a new lens that can mutate both values represented by both lenses through a tuple.

Inherited from
Lens