aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/abstract/functor.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/lux/abstract/functor.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index 8ac207e97..5551e5a6f 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -22,7 +22,7 @@
(-> (Equivalence a)
(Equivalence (f a)))))
-(def: (identity injection comparison (open "@//[0]"))
+(def (identity injection comparison (open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
[sample (at ! each injection random.nat)]
@@ -31,7 +31,7 @@
(@//each function.identity sample)
sample))))
-(def: (homomorphism injection comparison (open "@//[0]"))
+(def (homomorphism injection comparison (open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
[sample random.nat
@@ -41,7 +41,7 @@
(@//each increase (injection sample))
(injection (increase sample))))))
-(def: (composition injection comparison (open "@//[0]"))
+(def (composition injection comparison (open "@//[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(do [! random.monad]
[sample (at ! each injection random.nat)
@@ -52,7 +52,7 @@
(|> sample (@//each increase) (@//each decrease))
(|> sample (@//each (|>> increase decrease)))))))
-(def: .public (spec injection comparison functor)
+(def .public (spec injection comparison functor)
(All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
(<| (_.for [/.Functor])
(all _.and