diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/spec/lux/abstract/comonad.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/spec/lux/abstract/comonad.lux b/stdlib/source/spec/lux/abstract/comonad.lux index a45c89e26..ed56d5787 100644 --- a/stdlib/source/spec/lux/abstract/comonad.lux +++ b/stdlib/source/spec/lux/abstract/comonad.lux @@ -17,9 +17,9 @@ (All [f] (-> (Injection f) (CoMonad f) Test)) (do {! random.monad} [sample random.nat - morphism (:: ! map (function (_ diff) - (|>> _//unwrap (n.+ diff))) - random.nat) + morphism (\ ! map (function (_ diff) + (|>> _//unwrap (n.+ diff))) + random.nat) #let [start (injection sample)]] (_.test "Left identity." (n.= (morphism start) @@ -39,12 +39,12 @@ (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test)) (do {! random.monad} [sample random.nat - increase (:: ! map (function (_ diff) - (|>> _//unwrap (n.+ diff))) - random.nat) - decrease (:: ! map (function (_ diff) - (|>> _//unwrap(n.- diff))) - random.nat) + increase (\ ! map (function (_ diff) + (|>> _//unwrap (n.+ diff))) + random.nat) + decrease (\ ! map (function (_ diff) + (|>> _//unwrap(n.- diff))) + random.nat) #let [start (injection sample) == (comparison n.=)]] (_.test "Associativity." |