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/specification/lux/abstract/apply.lux | |
| parent | 659537b4ec859f1e705cdd1f82da29ab1a662d94 (diff) | |
Extensible import syntax: Part 1
Diffstat (limited to 'stdlib/source/specification/lux/abstract/apply.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/apply.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 3266925ce..b60c62b35 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -1,20 +1,20 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" type] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" function]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Apply}]] + ["[0]" / (.only Apply)]] [// - [functor {"+" Injection Comparison}]]) + [functor (.only Injection Comparison)]]) (def: (identity injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) |