diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/functor.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index cfa6cc2ff..d60555ae0 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -14,10 +14,10 @@ [\\library ["." / (#+ Functor)]]) -(type: #export (Injection f) +(type: .public (Injection f) (All [a] (-> a (f a)))) -(type: #export (Comparison f) +(type: .public (Comparison f) (All [a] (-> (Equivalence a) (Equivalence (f a))))) @@ -52,7 +52,7 @@ (|> sample (@//map increase) (@//map decrease)) (|> sample (@//map (|>> increase decrease))))))) -(def: #export (spec injection comparison functor) +(def: .public (spec injection comparison functor) (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) (<| (_.for [/.Functor]) ($_ _.and |