case class ID(name: String) extends EXP with Product with Serializable
identifiers the empty identifier ID("") is reserved: it refers to the current declaration, which is useful in recursive ADT and FUNCTION definitions
- Source
- Expressions.scala
- Alphabetic
- By Inheritance
- ID
- Serializable
- Serializable
- Product
- Equals
- EXP
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new ID(name: String)
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
- Definition Classes
- EXP
-
def
**(right: EXP): TIMES
multiplication: a ** b
multiplication: a ** b
- Definition Classes
- EXP
-
def
+(e: EXP): STRINGCONCAT
concatenation of strings: s + s'
concatenation of strings: s + s'
- Definition Classes
- EXP
-
def
++(right: EXP): PLUS
addition: a ++ b
addition: a ++ b
- Definition Classes
- EXP
-
def
::(n: String): ARG
variable declarations: n :: A
variable declarations: n :: A
- Definition Classes
- EXP
-
def
:::(n: String): FIELD
field declarations: n ::: A
field declarations: n ::: A
- Definition Classes
- EXP
-
def
:::(l: EXP): CONCAT
concatenation of lists: l ::: l'
concatenation of lists: l ::: l'
- Definition Classes
- EXP
-
def
<--(args: ARG*): FUNCTYPE
function types: return <-- (x1 :: A1, ...
function types: return <-- (x1 :: A1, ... xn :: An)
- Definition Classes
- EXP
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
===(right: EXP): EQUAL
equality predicate: e === e'
equality predicate: e === e'
- Definition Classes
- EXP
-
def
==>(body: EXP): CASE
case in a pattern match: id |> body
-
def
Match(cases: CASE*): MATCH
pattern matching: a Match (pattern1 |> case1, ..., patternN |> caseN)
pattern matching: a Match (pattern1 |> case1, ..., patternN |> caseN)
- Definition Classes
- EXP
-
def
__(f: ID): SELECT
accessing fields of a record: r n
accessing fields of a record: r n
- Definition Classes
- EXP
-
def
__(i: Int): PROJ
projections: a n
projections: a n
- Definition Classes
- EXP
-
def
apply(fs: FIELD*): ARECORD
construction of a record: rectype(f1 ::: v1, ...
construction of a record: rectype(f1 ::: v1, ... fn ::: vn)
-
def
apply(args: EXP*): APPLY
application to arguments: id(args)
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
at(index: EXP): AT
accessing elements of lists: l n
accessing elements of lists: l n
- Definition Classes
- EXP
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
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()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
length: LENGTH
length of a list: l.length
length of a list: l.length
- Definition Classes
- EXP
-
def
list: LIST
type of lists: a.list
type of lists: a.list
- Definition Classes
- EXP
-
def
map(f: String): MAP
map over a list: l map f
map over a list: l map f
- Definition Classes
- EXP
- val name: String
-
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()
- def o(that: ID): ID
- def prepend(s: String): String
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
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
- Definition Classes
- EXP