diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/spec/lux/abstract/functor/contravariant.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/spec/lux/abstract/functor/contravariant.lux b/stdlib/source/spec/lux/abstract/functor/contravariant.lux index b21e28e68..8adf0139d 100644 --- a/stdlib/source/spec/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/spec/lux/abstract/functor/contravariant.lux @@ -14,11 +14,11 @@ {1 ["." / (#+ Functor)]}) -(def: (identity equivalence value (^open "/@.")) +(def: (identity equivalence value (^open "@//.")) (All [f a] (-> (Equivalence (f a)) (f a) (Functor f) Test)) (_.test "Law of identity." (equivalence - (/@map function.identity value) + (@//map function.identity value) value))) (def: #export (spec equivalence value functor) |