diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/monad.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/monad.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 61ee28f0e..14529fdc5 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -5,7 +5,7 @@ [number ["n" nat]] [collection - ["." list ("#@." functor fold)]]] + ["." list ("#\." functor fold)]]] [math ["." random]] ["_" test (#+ Test)]] @@ -33,15 +33,15 @@ (:: identity.monad wrap mono))))) (_.cover [/.seq] (:: (list.equivalence n.equivalence) = - (list@map inc poly) + (list\map inc poly) (|> poly - (list@map (|>> inc (:: identity.monad wrap))) + (list\map (|>> inc (:: identity.monad wrap))) (: (List (Identity Nat))) (/.seq identity.monad) (: (Identity (List Nat)))))) (_.cover [/.map] (:: (list.equivalence n.equivalence) = - (list@map inc poly) + (list\map inc poly) (|> poly (/.map identity.monad (|>> inc (:: identity.monad wrap))) (: (Identity (List Nat)))))) @@ -52,7 +52,7 @@ (/.filter identity.monad (|>> n.even? (:: identity.monad wrap))) (: (Identity (List Nat)))))) (_.cover [/.fold] - (n.= (list@fold n.+ 0 poly) + (n.= (list\fold n.+ 0 poly) (|> poly (/.fold identity.monad (function (_ part whole) |