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/test/aedifex/profile.lux | |
parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) |
Extensible import syntax: Part 1
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/profile.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux index 8bccf4459..7dd2981bf 100644 --- a/stdlib/source/test/aedifex/profile.lux +++ b/stdlib/source/test/aedifex/profile.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] - [hash {"+" Hash}] + [monad (.only do)] + [hash (.only Hash)] [\\specification ["$[0]" equivalence] ["$[0]" monoid]]] @@ -15,10 +15,10 @@ [data ["[0]" text ("[1]#[0]" equivalence)] [collection - ["[0]" set {"+" Set}] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" set (.only Set)] + ["[0]" dictionary (.only Dictionary)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] [tool @@ -34,10 +34,10 @@ ["[0]" / ["/[1]" // "_" ["[1][0]" runtime] - ["[1][0]" dependency {"+" Dependency}] + ["[1][0]" dependency (.only Dependency)] ["[1][0]" format] [repository - [remote {"+" Address}]]]]]) + [remote (.only Address)]]]]]) (def: distribution (Random /.Distribution) |