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 cba839e94..719398e71 100644 --- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux +++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux @@ -21,7 +21,7 @@ (@//map function.identity value) value))) -(def: #export (spec equivalence value functor) +(def: .public (spec equivalence value functor) (All [f a] (-> (Equivalence (f a)) (f a) (Functor f) Test)) (do random.monad [sample random.nat] |