diff options
author | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-01 21:52:34 -0400 |
commit | 5d44577c3849a045052dc1c9f0dd7deddd032120 (patch) | |
tree | b0e00801734720e9f985c7dfa239aaa0bdea7bcd /stdlib/source/program/aedifex/input.lux | |
parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) |
Extensible import syntax: Part 1
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/input.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux index e15fc6552..c964c6cf0 100644 --- a/stdlib/source/program/aedifex/input.lux +++ b/stdlib/source/program/aedifex/input.lux @@ -2,15 +2,15 @@ [library [lux "*" [abstract - ["[0]" monad {"+" Monad do}] + ["[0]" monad (.only Monad do)] ["[0]" mix]] [control ["[0]" pipe] - ["[0]" try {"+" Try}] + ["[0]" try (.only Try)] [parser ["<[0]>" code]]] [data - [binary {"+" Binary}] + [binary (.only Binary)] ["[0]" text [encoding ["[0]" utf8]]] @@ -26,8 +26,8 @@ [world ["[0]" file]]]] ["[0]" // "_" - ["[1][0]" profile {"+" Name Profile}] - ["[1][0]" project {"+" Project}] + ["[1][0]" profile (.only Name Profile)] + ["[1][0]" project (.only Project)] ["[1][0]" parser]]) (def: (lux_parser source_code) |