aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/static.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/documentation/lux/static.lux44
1 files changed, 22 insertions, 22 deletions
diff --git a/stdlib/source/documentation/lux/static.lux b/stdlib/source/documentation/lux/static.lux
index 245ca33bc..bcde2dad6 100644
--- a/stdlib/source/documentation/lux/static.lux
+++ b/stdlib/source/documentation/lux/static.lux
@@ -1,20 +1,20 @@
(.using
- [library
- [lux {"-" nat int rev}
- ["$" documentation {"+" documentation:}]
- [data
- [text
- ["%" format {"+" format}]]
- [collection
- ["[0]" list]]]]]
- [\\library
- ["[0]" /]])
+ [library
+ [lux {"-" nat int rev}
+ ["$" documentation {"+" documentation:}]
+ [data
+ [text
+ ["%" format {"+" format}]]
+ [collection
+ ["[0]" list]]]]]
+ [\\library
+ ["[0]" /]])
(template [<name> <type>]
[(documentation: <name>
(%.code (' (<name>
- (: <type>
- (value generating expression))))))]
+ (is <type>
+ (value generating expression))))))]
[/.nat .Nat]
[/.int .Int]
@@ -26,15 +26,15 @@
(documentation: /.literal
""
[(/.literal
- (: (-> ??? Code)
- format)
- (: ???
- (value generating expression)))])
+ (is (-> ??? Code)
+ format)
+ (is ???
+ (value generating expression)))])
(template [<name> <type>]
[(documentation: <name>
- (%.code (' (: <type>
- (<name>)))))]
+ (%.code (' (is <type>
+ (<name>)))))]
[/.random_nat .Nat]
[/.random_int .Int]
@@ -45,10 +45,10 @@
(documentation: /.random
""
[(/.random
- (: (-> ??? Code)
- format)
- (: (Random ???)
- (random data generator)))])
+ (is (-> ??? Code)
+ format)
+ (is (Random ???)
+ (random data generator)))])
(.def: .public documentation
(.List $.Module)