diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/spec/lux/abstract/functor.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/spec/lux/abstract/functor.lux b/stdlib/source/spec/lux/abstract/functor.lux index d40ded1a2..b237a388e 100644 --- a/stdlib/source/spec/lux/abstract/functor.lux +++ b/stdlib/source/spec/lux/abstract/functor.lux @@ -22,26 +22,26 @@ (-> (Equivalence a) (Equivalence (f a))))) -(def: (identity injection comparison (^open "/@.")) +(def: (identity injection comparison (^open "@//.")) (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) (do {! random.monad} [sample (:: ! map injection random.nat)] (_.test "Identity." ((comparison n.=) - (/@map function.identity sample) + (@//map function.identity sample) sample)))) -(def: (homomorphism injection comparison (^open "/@.")) +(def: (homomorphism injection comparison (^open "@//.")) (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) (do {! random.monad} [sample random.nat increase (:: ! map n.+ random.nat)] (_.test "Homomorphism." ((comparison n.=) - (/@map increase (injection sample)) + (@//map increase (injection sample)) (injection (increase sample)))))) -(def: (composition injection comparison (^open "/@.")) +(def: (composition injection comparison (^open "@//.")) (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) (do {! random.monad} [sample (:: ! map injection random.nat) @@ -49,8 +49,8 @@ decrease (:: ! map n.- random.nat)] (_.test "Composition." ((comparison n.=) - (|> sample (/@map increase) (/@map decrease)) - (|> sample (/@map (|>> increase decrease))))))) + (|> sample (@//map increase) (@//map decrease)) + (|> sample (@//map (|>> increase decrease))))))) (def: #export (spec injection comparison functor) (All [f] (-> (Injection f) (Comparison f) (Functor f) Test)) |