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/cli.lux | |
parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) |
Extensible import syntax: Part 1
Diffstat (limited to 'stdlib/source/program/aedifex/cli.lux')
-rw-r--r-- | stdlib/source/program/aedifex/cli.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux index 135aa0c15..dca35ac86 100644 --- a/stdlib/source/program/aedifex/cli.lux +++ b/stdlib/source/program/aedifex/cli.lux @@ -2,19 +2,19 @@ [library [lux "*" [abstract - [equivalence {"+" Equivalence}] - [monad {"+" do}]] + [equivalence (.only Equivalence)] + [monad (.only do)]] [control ["<>" parser - ["[0]" cli {"+" Parser}]]] + ["[0]" cli (.only Parser)]]] [data ["[0]" sum] ["[0]" product] ["[0]" text]]]] [// [repository - [identity {"+" Identity}]] - ["/" profile {"+" Name}]]) + [identity (.only Identity)]] + ["/" profile (.only Name)]]) (type: .public Compilation (Variant |