aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/abstract/functor.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/lux/abstract/functor.lux')
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux6
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