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/artifact.lux | |
parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) |
Extensible import syntax: Part 1
Diffstat (limited to 'stdlib/source/program/aedifex/artifact.lux')
-rw-r--r-- | stdlib/source/program/aedifex/artifact.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux index 4d3d9cc87..32e37e293 100644 --- a/stdlib/source/program/aedifex/artifact.lux +++ b/stdlib/source/program/aedifex/artifact.lux @@ -2,19 +2,19 @@ [library [lux {"-" local} [abstract - [equivalence {"+" Equivalence}] - [order {"+" Order}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [order (.only Order)] + [hash (.only Hash)]] [data ["[0]" product] ["[0]" text ("[1]#[0]" order) - ["%" format {"+" Format}]] + ["%" format (.only Format)]] [collection ["[0]" list ("[1]#[0]" monoid)]]] [world - ["[0]" file {"+" Path}] + ["[0]" file (.only Path)] [net - ["[0]" uri {"+" URI}]]]]]) + ["[0]" uri (.only URI)]]]]]) (type: .public Group Text) |