diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/functor.lux')
-rw-r--r-- | stdlib/source/specification/lux/abstract/functor.lux | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index 383037e9e..232e9316a 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [equivalence (.only Equivalence)] [monad (.only do)]] @@ -10,7 +9,9 @@ [math ["[0]" random] [number - ["n" nat]]]]] + ["n" nat]]] + [test + ["_" property (.only Test)]]]] [\\library ["[0]" / (.only Functor)]]) @@ -27,9 +28,9 @@ (do [! random.monad] [sample (at ! each injection random.nat)] (_.test "Identity." - ((comparison n.=) - (@//each function.identity sample) - sample)))) + ((comparison n.=) + (@//each function.identity sample) + sample)))) (def (homomorphism injection comparison (open "@//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) @@ -37,9 +38,9 @@ [sample random.nat increase (at ! each n.+ random.nat)] (_.test "Homomorphism." - ((comparison n.=) - (@//each increase (injection sample)) - (injection (increase sample)))))) + ((comparison n.=) + (@//each increase (injection sample)) + (injection (increase sample)))))) (def (composition injection comparison (open "@//[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) @@ -48,9 +49,9 @@ increase (at ! each n.+ random.nat) decrease (at ! each n.- random.nat)] (_.test "Composition." - ((comparison n.=) - (|> sample (@//each increase) (@//each decrease)) - (|> sample (@//each (|>> increase decrease))))))) + ((comparison n.=) + (|> sample (@//each increase) (@//each decrease)) + (|> sample (@//each (|>> increase decrease))))))) (def .public (spec injection comparison functor) (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test)) |