cons
File
|
cons.str
|
Author
|
unknown
|
Since
|
unknown
|
Lists are represented by means of the constructors Nil and Cons. They caneither be written as terms with these constructors, e.g. Cons(0, Cons(1, Nil)),or using concrete list syntax: [0, 1]
Stratego pretty-printers and the Stratego Shell will always prefer to displaylists using the concrete syntax.
Statistics
General
|
Lines of code
|
19
|
Stratego
|
Module number
|
1 (100% documented)
|
Constructor number
|
3 (100% documented)
|
Overlay number
|
0
|
Strategy number
|
0
|
Rule number
|
0
|
DynamicRule number
|
0
|
Constructor details
|
|
Conc(ATerm , ATerm )
|
File
|
cons.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Concatenation of two lists.
|
|
|
Cons(ATerm , ATerm )
|
File
|
cons.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Element of a list.
|
|
|
Nil(ATerm )
|
File
|
cons.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Empty list.
|
|