case class OPTION(tp: EXP) extends EXP with Product with Serializable

type of options

Source
Expressions.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. OPTION
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. EXP
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new OPTION(tp: EXP)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def *(e: EXP): PROD

    product types: A1 * ...

    product types: A1 * ... * An

    Definition Classes
    EXP
  4. def **(right: EXP): TIMES

    multiplication: a ** b

    multiplication: a ** b

    Definition Classes
    EXP
  5. def +(e: EXP): STRINGCONCAT

    concatenation of strings: s + s'

    concatenation of strings: s + s'

    Definition Classes
    EXP
  6. def ++(right: EXP): PLUS

    addition: a ++ b

    addition: a ++ b

    Definition Classes
    EXP
  7. def ::(n: String): ARG

    variable declarations: n :: A

    variable declarations: n :: A

    Definition Classes
    EXP
  8. def :::(n: String): FIELD

    field declarations: n ::: A

    field declarations: n ::: A

    Definition Classes
    EXP
  9. def :::(l: EXP): CONCAT

    concatenation of lists: l ::: l'

    concatenation of lists: l ::: l'

    Definition Classes
    EXP
  10. def <--(args: ARG*): FUNCTYPE

    function types: return <-- (x1 :: A1, ...

    function types: return <-- (x1 :: A1, ... xn :: An)

    Definition Classes
    EXP
  11. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. def ===(right: EXP): EQUAL

    equality predicate: e === e'

    equality predicate: e === e'

    Definition Classes
    EXP
  13. def Match(cases: CASE*): MATCH

    pattern matching: a Match (pattern1 |> case1, ..., patternN |> caseN)

    pattern matching: a Match (pattern1 |> case1, ..., patternN |> caseN)

    Definition Classes
    EXP
  14. def __(f: ID): SELECT

    accessing fields of a record: r n

    accessing fields of a record: r n

    Definition Classes
    EXP
  15. def __(i: Int): PROJ

    projections: a n

    projections: a n

    Definition Classes
    EXP
  16. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  17. def at(index: EXP): AT

    accessing elements of lists: l n

    accessing elements of lists: l n

    Definition Classes
    EXP
  18. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  19. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  21. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. def length: LENGTH

    length of a list: l.length

    length of a list: l.length

    Definition Classes
    EXP
  24. def list: LIST

    type of lists: a.list

    type of lists: a.list

    Definition Classes
    EXP
  25. def map(f: String): MAP

    map over a list: l map f

    map over a list: l map f

    Definition Classes
    EXP
  26. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  30. val tp: EXP
  31. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  34. def |(e: EXP): TUPLE

    tuples: a1 | ...

    tuples: a1 | ... | an

    Definition Classes
    EXP

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from EXP

Inherited from AnyRef

Inherited from Any

Ungrouped