diff options
author | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
commit | 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (patch) | |
tree | 9dde4f6cb8f16829b2fa43fbccffaa1b3e2659bd /stdlib/source/documentation/lux/world | |
parent | 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff) |
Extensible import syntax [Part 4]
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/documentation/lux/world.lux | 8 | ||||
-rw-r--r-- | stdlib/source/documentation/lux/world/file.lux | 4 | ||||
-rw-r--r-- | stdlib/source/documentation/lux/world/net.lux | 4 |
3 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/documentation/lux/world.lux b/stdlib/source/documentation/lux/world.lux index 00249fb69..cf194bac5 100644 --- a/stdlib/source/documentation/lux/world.lux +++ b/stdlib/source/documentation/lux/world.lux @@ -9,14 +9,14 @@ [data [collection ["[0]" list ("[1]#[0]" monoid)]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" console] ["[1][0]" file] - ["[1][0]" input "_" + ["[1][0]" input ["[1]/[0]" keyboard]] ["[1][0]" net] - ["[1][0]" output "_" - ["[1]/[0]" video "_" + ["[1][0]" output + ["[1]/[0]" video ["[1]/[0]" resolution]]] ["[1][0]" program] ["[1][0]" shell]]) diff --git a/stdlib/source/documentation/lux/world/file.lux b/stdlib/source/documentation/lux/world/file.lux index aebeecfbd..d55565872 100644 --- a/stdlib/source/documentation/lux/world/file.lux +++ b/stdlib/source/documentation/lux/world/file.lux @@ -4,7 +4,7 @@ ["$" documentation (.only documentation:)] ["@" target] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" text (.only \n) @@ -13,7 +13,7 @@ ["[0]" template]]]] [\\library ["[0]" /]] - ["[0]" / "_" + ["[0]" / ["[1][0]" watch]]) (documentation: /.Path diff --git a/stdlib/source/documentation/lux/world/net.lux b/stdlib/source/documentation/lux/world/net.lux index 26eaa5d87..38ea7dce0 100644 --- a/stdlib/source/documentation/lux/world/net.lux +++ b/stdlib/source/documentation/lux/world/net.lux @@ -8,9 +8,9 @@ ["[0]" io]]]] [\\library ["[0]" /]] - ["[0]" / "_" + ["[0]" / ["[1][0]" uri] - ["[1][0]" http "_" + ["[1][0]" http ["[1]/[0]" client] ["[1]/[0]" status]]]) |