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/format.lux | |
parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) |
Extensible import syntax: Part 1
Diffstat (limited to 'stdlib/source/program/aedifex/format.lux')
-rw-r--r-- | stdlib/source/program/aedifex/format.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux index 12f676cc7..c48380af2 100644 --- a/stdlib/source/program/aedifex/format.lux +++ b/stdlib/source/program/aedifex/format.lux @@ -4,9 +4,9 @@ [data ["[0]" text ("[1]#[0]" equivalence)] [collection - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" list ("[1]#[0]" monad)] - ["[0]" set {"+" Set}]]] + ["[0]" set (.only Set)]]] [macro ["[0]" code] ["[0]" template]] @@ -14,13 +14,13 @@ [compiler [meta [cli - [compiler {"+" Compiler}]]]]]]] + [compiler (.only Compiler)]]]]]]] ["[0]" // "_" ["/" profile] - ["[1][0]" runtime {"+" Runtime}] - ["[1][0]" project {"+" Project}] - ["[1][0]" dependency {"+" Dependency}] - ["[1][0]" artifact {"+" Artifact} + ["[1][0]" runtime (.only Runtime)] + ["[1][0]" project (.only Project)] + ["[1][0]" dependency (.only Dependency)] + ["[1][0]" artifact (.only Artifact) ["[1]/[0]" type]]]) (type: .public (Format a) |