aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/abstract/functor.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index 9e2110a97..f01646fbe 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -1,10 +1,10 @@
(.using
[library
[lux "*"
- ["_" test {"+" Test}]
+ ["_" test (.only Test)]
[abstract
- [equivalence {"+" Equivalence}]
- [monad {"+" do}]]
+ [equivalence (.only Equivalence)]
+ [monad (.only do)]]
[control
["[0]" function]]
[math
@@ -12,7 +12,7 @@
[number
["n" nat]]]]]
[\\library
- ["[0]" / {"+" Functor}]])
+ ["[0]" / (.only Functor)]])
(type: .public (Injection f)
(All (_ a) (-> a (f a))))