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 5ede269ef..db0829989 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -34,17 +34,17 @@ (\ identity.monad in mono))))) (_.cover [/.all] (\ (list.equivalence n.equivalence) = - (list\map ++ poly) + (list\each ++ poly) (|> poly - (list\map (|>> ++ (\ identity.monad in))) + (list\each (|>> ++ (\ identity.monad in))) (: (List (Identity Nat))) (/.all identity.monad) (: (Identity (List Nat)))))) - (_.cover [/.map] + (_.cover [/.each] (\ (list.equivalence n.equivalence) = - (list\map ++ poly) + (list\each ++ poly) (|> poly - (/.map identity.monad (|>> ++ (\ identity.monad in))) + (/.each identity.monad (|>> ++ (\ identity.monad in))) (: (Identity (List Nat)))))) (_.cover [/.only] (\ (list.equivalence n.equivalence) = |