Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
14ddaba1
Commit
14ddaba1
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2005-03-28 00:45:14 by beppe] Empty log message
Original author: beppe Date: 2005-03-28 00:45:14+00:00
parent
9b08f374
Changes
2
Hide whitespace changes
Inline
Side-by-side
web/manual/types_patterns.xml
View file @
14ddaba1
...
...
@@ -159,6 +159,12 @@ integers, characters, and atoms. To each kind corresponds a family of types.
</ul>
</li>
<li><b>
Floats
</b>
.
<br/>
CDuce provider minimal features for floats. The only way to
construct a value of type
<code>
Float
</code>
is by the function
<code>
float_of : String -> Float
</code>
</li>
<li><b>
Characters
</b>
.
<br/>
CDuce manipulates Unicode characters. A character
literal is enclosed in single quotes, e.g.
<code>
'a', 'b', 'c'
</code>
.
...
...
web/memento.xml
View file @
14ddaba1
...
...
@@ -30,7 +30,14 @@ _" character, starting by a capitalized letter or underscore.</li>
<li>
Operators:
<code>
+,-,/,*,div,mod, int_of
</code>
</li>
</ul>
</li>
<li>
Unicode characters:
<li>
Floats:
<ul>
<li>
Values:
<i>
none built-in
</i>
.
</li>
<li>
Types: only
<code>
Float
</code>
.
</li>
<li>
Operators:
<code>
float_of
</code>
: String -> Float
</li>
</ul>
</li>
<li>
Unicode characters:
<ul>
<li>
Values:
<code>
'a','b','c'...
</code>
</li>
<li>
Types: intervals
<code>
'a'--'z', '0'--'9'
</code>
,
...
...
@@ -70,6 +77,7 @@ _" character, starting by a capitalized letter or underscore.</li>
<br/><code>
print
</code>
: Latin1 -> [],
<br/><code>
print_utf8
</code>
: String -> [],
<br/><code>
int_of
</code>
: String -> Int,
<br/><code>
float_of
</code>
: String -> Float,
<br/><code>
string_of
</code>
: Any -> Latin1,
<br/><code>
atom_of
</code>
: String -> Atom,
<br/><code>
system
</code>
: Latin1 -> { stdout = Latin1; stderr = Latin1;
...
...
@@ -136,7 +144,7 @@ _" character, starting by a capitalized letter or underscore.</li>
<ul>
<li>
Records literal
<code>
{ l1 = e1; ...; ln = en }
</code></li>
<li>
Types:
<code>
{ l1 = t1; ...; ln = tn }
</code>
(closed, no more
fields allowed),
<code>
>
{ l1 = t1; ...; ln = tn; .. }
</code>
(open,
fields allowed),
<code>
{ l1 = t1; ...; ln = tn; .. }
</code>
(open,
any other field allowed). Optional fields:
<code>
li =? ti
</code>
instead of
<code>
li = ti
</code>
. Semi-colons are optional.
</li>
<li>
Record concatenation:
<code>
e1 + e2
</code>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment