diff options
Diffstat (limited to 'stdlib/source/specification/lux/abstract/apply.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/apply.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux index 8d0fe390e..385cbfb2d 100644 --- a/stdlib/source/specification/lux/abstract/apply.lux +++ b/stdlib/source/specification/lux/abstract/apply.lux @@ -16,7 +16,7 @@ [// [functor (.only Injection Comparison)]]) -(def: (identity injection comparison (open "/#[0]")) +(def (identity injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample (at ! each injection random.nat)] @@ -25,7 +25,7 @@ (/#on sample (injection function.identity)) sample)))) -(def: (homomorphism injection comparison (open "/#[0]")) +(def (homomorphism injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat @@ -35,7 +35,7 @@ (/#on (injection sample) (injection increase)) (injection (increase sample)))))) -(def: (interchange injection comparison (open "/#[0]")) +(def (interchange injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (do [! random.monad] [sample random.nat @@ -46,7 +46,7 @@ (/#on (injection increase) (injection (is (-> (-> Nat Nat) Nat) (function (_ f) (f sample))))))))) -(def: (composition injection comparison (open "/#[0]")) +(def (composition injection comparison (open "/#[0]")) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (type.let [:$/1: (-> Nat Nat)] (do [! random.monad] @@ -66,7 +66,7 @@ (injection increase)) (injection decrease))))))) -(def: .public (spec injection comparison apply) +(def .public (spec injection comparison apply) (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test)) (_.for [/.Apply] (all _.and |