diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/monad.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/monad.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 2c6fb3ac7..02264e013 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -24,19 +24,19 @@ (n.= (inc mono) (: (Identity Nat) (/.do identity.monad - [sample (wrap mono)] - (wrap (inc sample)))))) + [sample (in mono)] + (in (inc sample)))))) (_.cover [/.bind] (n.= (inc mono) (: (Identity Nat) (/.bind identity.monad - (|>> inc (\ identity.monad wrap)) - (\ identity.monad wrap mono))))) + (|>> inc (\ identity.monad in)) + (\ identity.monad in mono))))) (_.cover [/.seq] (\ (list.equivalence n.equivalence) = (list\map inc poly) (|> poly - (list\map (|>> inc (\ identity.monad wrap))) + (list\map (|>> inc (\ identity.monad in))) (: (List (Identity Nat))) (/.seq identity.monad) (: (Identity (List Nat)))))) @@ -44,20 +44,20 @@ (\ (list.equivalence n.equivalence) = (list\map inc poly) (|> poly - (/.map identity.monad (|>> inc (\ identity.monad wrap))) + (/.map identity.monad (|>> inc (\ identity.monad in))) (: (Identity (List Nat)))))) (_.cover [/.only] (\ (list.equivalence n.equivalence) = (list.only n.even? poly) (|> poly - (/.only identity.monad (|>> n.even? (\ identity.monad wrap))) + (/.only identity.monad (|>> n.even? (\ identity.monad in))) (: (Identity (List Nat)))))) (_.cover [/.fold] (n.= (list\fold n.+ 0 poly) (|> poly (/.fold identity.monad (function (_ part whole) - (\ identity.monad wrap + (\ identity.monad in (n.+ part whole))) 0) (: (Identity Nat))))) |