diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/control/writer.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux index 418024334..6dd67b4c4 100644 --- a/stdlib/source/test/lux/control/writer.lux +++ b/stdlib/source/test/lux/control/writer.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [equivalence {"+" Equivalence}] - [monoid {"+" Monoid}] - [monad {"+" do}] + [equivalence (.only Equivalence)] + [monoid (.only Monoid)] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" apply] ["$[0]" monad]]] [control @@ -20,7 +20,7 @@ [number ["n" nat]]]]] [\\library - ["[0]" / {"+" Writer}]]) + ["[0]" / (.only Writer)]]) (def: (injection monoid value) (All (_ w) (-> (Monoid w) (Injection (Writer w)))) |