aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/documentation')
-rw-r--r--stdlib/source/documentation/lux/control/concurrency/actor.lux2
-rw-r--r--stdlib/source/documentation/lux/meta/type/primitive.lux42
2 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/documentation/lux/control/concurrency/actor.lux b/stdlib/source/documentation/lux/control/concurrency/actor.lux
index 1d4fa276f..18cbf92f3 100644
--- a/stdlib/source/documentation/lux/control/concurrency/actor.lux
+++ b/stdlib/source/documentation/lux/control/concurrency/actor.lux
@@ -42,7 +42,7 @@
($.definition (/.Message state output)
"A two-way message sent to an actor, expecting a reply.")
- ($.definition /.tell!
+ ($.definition /.request!
"Communicate with an actor through message-passing.")
($.definition /.default
diff --git a/stdlib/source/documentation/lux/meta/type/primitive.lux b/stdlib/source/documentation/lux/meta/type/primitive.lux
index bf1ce3c83..04a751666 100644
--- a/stdlib/source/documentation/lux/meta/type/primitive.lux
+++ b/stdlib/source/documentation/lux/meta/type/primitive.lux
@@ -35,42 +35,42 @@
[/.representation Abstraction representation Representation]
))
- ($.definition /.primitive
+ ($.definition /.def
(format "Define abstract/nominal types which hide their representation details."
\n "You can convert between the abstraction and its representation selectively to access the value, while hiding it from others.")
- [(primitive String
+ [(/.def String
Text
- (def (string value)
+ (.def (string value)
(-> Text String)
(abstraction value))
- (def (text value)
+ (.def (text value)
(-> String Text)
(representation value)))]
["Type-parameters are optional."
- (primitive (Duplicate a)
+ (/.def (Duplicate a)
[a a]
- (def (duplicate value)
+ (.def (duplicate value)
(All (_ a) (-> a (Duplicate a)))
(abstraction [value value])))]
["Definitions can be nested."
- (primitive (Single a)
+ (/.def (Single a)
a
- (def (single value)
+ (.def (single value)
(All (_ a) (-> a (Single a)))
(abstraction value))
- (primitive (Double a)
+ (/.def (Double a)
[a a]
- (def (double value)
+ (.def (double value)
(All (_ a) (-> a (Double a)))
(abstraction [value value]))
- (def (single' value)
+ (.def (single' value)
(All (_ a) (-> a (Single a)))
(abstraction Single [value value]))
@@ -83,18 +83,18 @@
representation)))))]
["Type-parameters do not necessarily have to be used in the representation type."
"If they are not used, they become phantom types and can be used to customize types without changing the representation."
- (primitive (JavaScript a)
+ (/.def (JavaScript a)
Text
- (primitive Expression Any)
- (primitive Statement Any)
+ (/.def Expression Any)
+ (/.def Statement Any)
- (def (+ x y)
+ (.def (+ x y)
(-> (JavaScript Expression) (JavaScript Expression) (JavaScript Expression))
(abstraction
(format "(" (representation x) "+" (representation y) ")")))
- (def (while test body)
+ (.def (while test body)
(-> (JavaScript Expression) (JavaScript Statement) (JavaScript Statement))
(abstraction
(format "while(" (representation test) ") {"
@@ -103,17 +103,17 @@
($.definition /.transmutation
"Transmutes an abstract/nominal type's phantom types."
- [(primitive (JavaScript a)
+ [(/.def (JavaScript a)
Text
- (primitive Expression Any)
- (primitive Statement Any)
+ (/.def Expression Any)
+ (/.def Statement Any)
- (def (statement expression)
+ (.def (statement expression)
(-> (JavaScript Expression) (JavaScript Statement))
(transmutation expression))
- (def (statement' expression)
+ (.def (statement' expression)
(-> (JavaScript Expression) (JavaScript Statement))
(transmutation JavaScript expression)))])
)))