diff options
Diffstat (limited to 'stdlib/source/test/lux/control/apply.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/apply.lux | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/stdlib/source/test/lux/control/apply.lux b/stdlib/source/test/lux/control/apply.lux index e703ac416..42d2fa8b9 100644 --- a/stdlib/source/test/lux/control/apply.lux +++ b/stdlib/source/test/lux/control/apply.lux @@ -12,8 +12,8 @@ [// [functor (#+ Injection Comparison)]]) -(def: (identity (^open "_/.") injection comparison) - (All [f] (-> (Apply f) (Injection f) (Comparison f) Test)) +(def: (identity injection comparison (^open "_/.")) + (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) (do r.monad [sample (:: @ map injection r.nat)] (_.test "Identity." @@ -21,8 +21,8 @@ (_/apply (injection function.identity) sample) sample)))) -(def: (homomorphism (^open "_/.") injection comparison) - (All [f] (-> (Apply f) (Injection f) (Comparison f) Test)) +(def: (homomorphism injection comparison (^open "_/.")) + (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) (do r.monad [sample r.nat increase (:: @ map n/+ r.nat)] @@ -31,8 +31,8 @@ (_/apply (injection increase) (injection sample)) (injection (increase sample)))))) -(def: (interchange (^open "_/.") injection comparison) - (All [f] (-> (Apply f) (Injection f) (Comparison f) Test)) +(def: (interchange injection comparison (^open "_/.")) + (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) (do r.monad [sample r.nat increase (:: @ map n/+ r.nat)] @@ -41,8 +41,8 @@ (_/apply (injection increase) (injection sample)) (_/apply (injection (function (_ f) (f sample))) (injection increase)))))) -(def: (composition (^open "_/.") injection comparison) - (All [f] (-> (Apply f) (Injection f) (Comparison f) Test)) +(def: (composition injection comparison (^open "_/.")) + (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) (do r.monad [sample r.nat increase (:: @ map n/+ r.nat) @@ -59,12 +59,12 @@ (injection decrease) (injection sample)))))) -(def: #export (laws apply injection comparison) - (All [f] (-> (Apply f) (Injection f) (Comparison f) Test)) +(def: #export (laws injection comparison apply) + (All [f] (-> (Injection f) (Comparison f) (Apply f) Test)) (_.context (%name (name-of /.Apply)) ($_ _.and - (..identity apply injection comparison) - (..homomorphism apply injection comparison) - (..interchange apply injection comparison) - (..composition apply injection comparison) + (..identity injection comparison apply) + (..homomorphism injection comparison apply) + (..interchange injection comparison apply) + (..composition injection comparison apply) ))) |