diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/functor/contravariant.lux')
-rw-r--r-- | stdlib/source/specification/lux/abstract/functor/contravariant.lux | 8 |
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)) |