aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation
diff options
context:
space:
mode:
authorEduardo Julian2022-03-14 06:14:57 -0400
committerEduardo Julian2022-03-14 06:14:57 -0400
commit4965597043aca57a05760113f1851e96dad1eaf8 (patch)
tree8126d3e6394e38bc52918eea95a67546350bb95e /stdlib/source/documentation
parentcfd438517a46e025b15345e3570b02f5ea6165c0 (diff)
Leaner syntax for the "for" macro.
Diffstat (limited to 'stdlib/source/documentation')
-rw-r--r--stdlib/source/documentation/lux.lux4
-rw-r--r--stdlib/source/documentation/lux/extension.lux58
-rw-r--r--stdlib/source/documentation/lux/world/console.lux6
-rw-r--r--stdlib/source/documentation/lux/world/file.lux10
-rw-r--r--stdlib/source/documentation/lux/world/file/watch.lux6
-rw-r--r--stdlib/source/documentation/lux/world/net/http/client.lux2
-rw-r--r--stdlib/source/documentation/lux/world/shell.lux4
7 files changed, 45 insertions, 45 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 64241e5ff..efa13a913 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -853,8 +853,8 @@
[(def: js
"JavaScript")
- (for ["JVM" (do jvm stuff)
- js (do js stuff)]
+ (for "JVM" (do jvm stuff)
+ js (do js stuff)
(do default stuff))])
(documentation: /.``
diff --git a/stdlib/source/documentation/lux/extension.lux b/stdlib/source/documentation/lux/extension.lux
index bda9aaa7b..f2a0dca26 100644
--- a/stdlib/source/documentation/lux/extension.lux
+++ b/stdlib/source/documentation/lux/extension.lux
@@ -1,29 +1,29 @@
(.using
- [library
- [lux "*"
- ["$" documentation {"+" documentation:}]
- ["[0]" debug]
- [control
- ["<>" parser
- ["<[0]>" code]]]
- [data
- [text
- ["%" format {"+" format}]]
- [collection
- ["[0]" sequence]]]
- [macro
- ["[0]" template]]
- ["@" target
- ["[0]" jvm]]
- [tool
- [compiler
- ["[0]" phase]
- [language
- [lux
- [phase
- ["[0]" directive]]]]]]]]
- [\\library
- ["[0]" /]])
+ [library
+ [lux "*"
+ ["$" documentation {"+" documentation:}]
+ ["[0]" debug]
+ [control
+ ["<>" parser
+ ["<[0]>" code]]]
+ [data
+ [text
+ ["%" format {"+" format}]]
+ [collection
+ ["[0]" sequence]]]
+ [macro
+ ["[0]" template]]
+ ["@" target
+ ["[0]" jvm]]
+ [tool
+ [compiler
+ ["[0]" phase]
+ [language
+ [lux
+ [phase
+ ["[0]" directive]]]]]]]]
+ [\\library
+ ["[0]" /]])
(documentation: /.analysis:
"Mechanism for defining extensions to Lux's analysis/type-checking infrastructure."
@@ -38,10 +38,10 @@
(documentation: /.generation:
""
[(generation: ("my generation" self phase archive [pass_through <synthesis>.any])
- (for [@.jvm
- (# phase.monad each (|>> {jvm.#Embedded}
- sequence.sequence)
- (phase archive pass_through))]
+ (for @.jvm
+ (# phase.monad each (|>> {jvm.#Embedded}
+ sequence.sequence)
+ (phase archive pass_through))
(phase archive pass_through)))])
(documentation: /.directive:
diff --git a/stdlib/source/documentation/lux/world/console.lux b/stdlib/source/documentation/lux/world/console.lux
index c091e6d36..63c9c60f5 100644
--- a/stdlib/source/documentation/lux/world/console.lux
+++ b/stdlib/source/documentation/lux/world/console.lux
@@ -38,8 +38,8 @@
..Mock
..mock
($.default /.async)
- (~~ (for [@.jvm (~~ (as_is ($.default /.cannot_open)
- ($.default /.cannot_close)
- ($.default /.default)))]
+ (~~ (for @.jvm (~~ (as_is ($.default /.cannot_open)
+ ($.default /.cannot_close)
+ ($.default /.default)))
(~~ (as_is))))]
[]))))
diff --git a/stdlib/source/documentation/lux/world/file.lux b/stdlib/source/documentation/lux/world/file.lux
index e2f203abe..c9f9168a1 100644
--- a/stdlib/source/documentation/lux/world/file.lux
+++ b/stdlib/source/documentation/lux/world/file.lux
@@ -72,10 +72,10 @@
($.default /.cannot_make_directory)
($.default /.cannot_find_directory)
($.default /.cannot_read_all_data)
- (~~ (for [@.jvm (~~ (as_is ($.default /.cannot_modify_file)
- ($.default /.default)))
- @.js (~~ (as_is ($.default /.default)))
- @.python (~~ (as_is ($.default /.default)))
- @.ruby (~~ (as_is ($.default /.default)))]
+ (~~ (for @.jvm (~~ (as_is ($.default /.cannot_modify_file)
+ ($.default /.default)))
+ @.js (~~ (as_is ($.default /.default)))
+ @.python (~~ (as_is ($.default /.default)))
+ @.ruby (~~ (as_is ($.default /.default)))
(~~ (as_is))))]
[/watch.documentation]))))
diff --git a/stdlib/source/documentation/lux/world/file/watch.lux b/stdlib/source/documentation/lux/world/file/watch.lux
index 14b9faa0a..3db866343 100644
--- a/stdlib/source/documentation/lux/world/file/watch.lux
+++ b/stdlib/source/documentation/lux/world/file/watch.lux
@@ -34,8 +34,8 @@
\n "Must be given a path separator for the file-system.")
[(mock separator)])
-(for [@.jvm (as_is (documentation: /.default
- "The default watcher for the default file-system."))]
+(for @.jvm (as_is (documentation: /.default
+ "The default watcher for the default file-system."))
(as_is))
(.def: .public documentation
@@ -56,6 +56,6 @@
($.default /.all)
($.default /.not_being_watched)
($.default /.cannot_poll_a_non_existent_directory)
- (~~ (for [@.jvm (~~ (as_is ..default))]
+ (~~ (for @.jvm (~~ (as_is ..default))
(~~ (as_is))))]
[]))))
diff --git a/stdlib/source/documentation/lux/world/net/http/client.lux b/stdlib/source/documentation/lux/world/net/http/client.lux
index a11e8a0bb..17912d11e 100644
--- a/stdlib/source/documentation/lux/world/net/http/client.lux
+++ b/stdlib/source/documentation/lux/world/net/http/client.lux
@@ -48,6 +48,6 @@
..trace
($.default /.async)
($.default /.headers)
- (~~ (for [@.jvm (~~ (as_is ($.default /.default)))]
+ (~~ (for @.jvm (~~ (as_is ($.default /.default)))
(~~ (as_is))))]
[]))))
diff --git a/stdlib/source/documentation/lux/world/shell.lux b/stdlib/source/documentation/lux/world/shell.lux
index 0a39e0c6a..b1b8a1de5 100644
--- a/stdlib/source/documentation/lux/world/shell.lux
+++ b/stdlib/source/documentation/lux/world/shell.lux
@@ -50,7 +50,7 @@
($.default /.normal)
($.default /.error)
($.default /.async)
- (~~ (for [@.jvm (~~ (as_is ($.default /.no_more_output)
- ($.default /.default)))]
+ (~~ (for @.jvm (~~ (as_is ($.default /.no_more_output)
+ ($.default /.default)))
(~~ (as_is))))]
[]))))