aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/abstract/functor/contravariant.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/lux/abstract/functor/contravariant.lux')
-rw-r--r--stdlib/source/specification/lux/abstract/functor/contravariant.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index 291476eb4..9256f6019 100644
--- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.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)]])
(def: (identity equivalence value (open "@//[0]"))
(All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))