Packages

implicit class UninterpretedOptionLens[UpperPB] extends ObjectLens[UpperPB, UninterpretedOption]

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. UninterpretedOptionLens
  2. ObjectLens
  3. Lens
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new UninterpretedOptionLens(_l: Lens[UpperPB, UninterpretedOption])

Value Members

  1. final def !=(arg0: scala.Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def :=(a: UninterpretedOption): Mutation[UpperPB]

    alias to set

    alias to set

    Definition Classes
    Lens
  4. final def ==(arg0: scala.Any): Boolean
    Definition Classes
    AnyRef → Any
  5. def aggregateValue: Lens[UpperPB, String]
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  8. def compose[B](other: Lens[UninterpretedOption, 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.

    Definition Classes
    Lens
  9. def doubleValue: Lens[UpperPB, Double]
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. def equals(arg0: scala.Any): Boolean
    Definition Classes
    AnyRef → Any
  12. def field[A](getter: (UninterpretedOption) ⇒ A)(setter: (UninterpretedOption, A) ⇒ UninterpretedOption): Lens[UpperPB, A]

    Creates a sub-lens

    Creates a sub-lens

    Definition Classes
    ObjectLens
  13. def field[A](lens: Lens[UninterpretedOption, A]): Lens[UpperPB, A]

    Creates a sub-lens

    Creates a sub-lens

    Definition Classes
    ObjectLens
  14. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. def get(u: UpperPB): UninterpretedOption

    get knows how to extract some field of type A from a container

    get knows how to extract some field of type A from a container

    Definition Classes
    ObjectLensLens
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  18. def identifierValue: Lens[UpperPB, String]
  19. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  20. def modify(f: (UninterpretedOption) ⇒ UninterpretedOption): Mutation[UpperPB]

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

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

    Definition Classes
    Lens
  21. def name: Lens[UpperPB, Seq[NamePart]]
  22. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. def negativeIntValue: Lens[UpperPB, Long]
  24. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  26. def optionalAggregateValue: Lens[UpperPB, scala.Option[String]]
  27. def optionalDoubleValue: Lens[UpperPB, scala.Option[Double]]
  28. def optionalIdentifierValue: Lens[UpperPB, scala.Option[String]]
  29. def optionalNegativeIntValue: Lens[UpperPB, scala.Option[Long]]
  30. def optionalPositiveIntValue: Lens[UpperPB, scala.Option[Long]]
  31. def optionalStringValue: Lens[UpperPB, scala.Option[ByteString]]
  32. def positiveIntValue: Lens[UpperPB, Long]
  33. def set(c: UninterpretedOption): Mutation[UpperPB]

    Represents an assignment operator.

    Represents an assignment operator.

    Given a value of type A, sets knows how to transform a container such that a is assigned to the field.

    We must have get(set(a)(c)) == a

    Definition Classes
    ObjectLensLens
  34. def setIfDefined(aOpt: scala.Option[UninterpretedOption]): Mutation[UpperPB]

    Optional assignment.

    Optional assignment.

    Given a Some[A], assign the Some's value to the field. Given None, the container is unchanged.

    Definition Classes
    Lens
  35. def stringValue: Lens[UpperPB, ByteString]
  36. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  37. def toString(): String
    Definition Classes
    AnyRef → Any
  38. def update(ms: (Lens[UninterpretedOption, UninterpretedOption]) ⇒ Mutation[UninterpretedOption]*): Mutation[UpperPB]
    Definition Classes
    ObjectLens
  39. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  42. def zip[B](other: Lens[UpperPB, B]): Lens[UpperPB, (UninterpretedOption, 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.

    Definition Classes
    Lens

Inherited from ObjectLens[UpperPB, UninterpretedOption]

Inherited from Lens[UpperPB, UninterpretedOption]

Inherited from AnyRef

Inherited from scala.Any

Ungrouped