sealed abstract class EXP extends AnyRef
expressions of a simple functional language
- Source
- Expressions.scala
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- EXP
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
def
*(e: EXP): PROD
product types: A1 * ...
product types: A1 * ... * An
-
def
**(right: EXP): TIMES
multiplication: a ** b
-
def
+(e: EXP): STRINGCONCAT
concatenation of strings: s + s'
-
def
++(right: EXP): PLUS
addition: a ++ b
-
def
::(n: String): ARG
variable declarations: n :: A
-
def
:::(n: String): FIELD
field declarations: n ::: A
-
def
:::(l: EXP): CONCAT
concatenation of lists: l ::: l'
-
def
<--(args: ARG*): FUNCTYPE
function types: return <-- (x1 :: A1, ...
function types: return <-- (x1 :: A1, ... xn :: An)
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
===(right: EXP): EQUAL
equality predicate: e === e'
-
def
Match(cases: CASE*): MATCH
pattern matching: a Match (pattern1 |> case1, ..., patternN |> caseN)
-
def
__(f: ID): SELECT
accessing fields of a record: r n
-
def
__(i: Int): PROJ
projections: a n
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
at(index: EXP): AT
accessing elements of lists: l n
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
length: LENGTH
length of a list: l.length
-
def
list: LIST
type of lists: a.list
-
def
map(f: String): MAP
map over a list: l map f
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
def
|(e: EXP): TUPLE
tuples: a1 | ...
tuples: a1 | ... | an