UninterpretedOptionLens

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. def :=(a: UninterpretedOption): (UpperPB) ⇒ UpperPB

   Definition Classes

   Lens

5. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

6. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

7. def aggregateValue: Lens[UpperPB, String]

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. def compose[B](other: Lens[UninterpretedOption, B]): Lens[UpperPB, B]

    Definition Classes

    Lens

11. def doubleValue: Lens[UpperPB, Double]

12. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

13. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

14. def field[A](getter: (UninterpretedOption) ⇒ A)(setter: (UninterpretedOption, A) ⇒ UninterpretedOption): Lens[UpperPB, A]

    Definition Classes

    ObjectLens

15. def field[A](lens: Lens[UninterpretedOption, A]): Lens[UpperPB, A]

    Definition Classes

    ObjectLens

16. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

17. def get(u: UpperPB): UninterpretedOption

    Definition Classes

    ObjectLens → Lens

18. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

19. def hashCode(): Int

    Definition Classes

    AnyRef → Any

20. def identifierValue: Lens[UpperPB, String]

21. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

22. def modify(f: (UninterpretedOption) ⇒ UninterpretedOption): (UpperPB) ⇒ UpperPB

    Definition Classes

    Lens

23. def name: Lens[UpperPB, Seq[NamePart]]

24. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

25. def negativeIntValue: Lens[UpperPB, Long]

26. final def notify(): Unit

    Definition Classes

    AnyRef

27. final def notifyAll(): Unit

    Definition Classes

    AnyRef

28. def optionalAggregateValue: Lens[UpperPB, Option[String]]

29. def optionalDoubleValue: Lens[UpperPB, Option[Double]]

30. def optionalIdentifierValue: Lens[UpperPB, Option[String]]

31. def optionalNegativeIntValue: Lens[UpperPB, Option[Long]]

32. def optionalPositiveIntValue: Lens[UpperPB, Option[Long]]

33. def optionalStringValue: Lens[UpperPB, Option[ByteString]]

34. def positiveIntValue: Lens[UpperPB, Long]

35. def set(c: UninterpretedOption): (UpperPB) ⇒ UpperPB

    Definition Classes

    ObjectLens → Lens

36. def stringValue: Lens[UpperPB, ByteString]

37. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

38. def toString(): String

    Definition Classes

    AnyRef → Any

39. def update(ms: (Lens[UninterpretedOption, UninterpretedOption]) ⇒ (UninterpretedOption) ⇒ UninterpretedOption*): (UpperPB) ⇒ UpperPB

    Definition Classes

    ObjectLens

40. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

41. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

42. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

43. def zip[B](other: Lens[UpperPB, B]): Lens[UpperPB, (UninterpretedOption, B)]

    Definition Classes

    Lens