diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/functor/contravariant.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/functor/contravariant.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux index 719398e71..9e50001c5 100644 --- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux @@ -18,7 +18,7 @@ (All [f a] (-> (Equivalence (f a)) (f a) (Functor f) Test)) (_.test "Law of identity." (equivalence - (@//map function.identity value) + (@//each function.identity value) value))) (def: .public (spec equivalence value functor) |