diff options
| author | Eduardo Julian | 2021-08-23 02:30:53 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-23 02:30:53 -0400 |
| commit | ec1f31b5a1492d5e0ab260397291d4449483bbd9 (patch) | |
| tree | c730b4ca89af366779b0ad0f46fae705b5c2bcbc /stdlib/source/test/lux/abstract/monad.lux | |
| parent | 1ea83ecadccc5adee1bdb35bd11527c3982c015e (diff) | |
The Python compiler can now be compiled by the new JVM compiler.
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 051f63a5c..5ede269ef 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -5,7 +5,7 @@ [data ["." identity (#+ Identity)] [collection - ["." list ("#\." functor fold)]]] + ["." list ("#\." functor mix)]]] [math ["." random] [number @@ -52,13 +52,13 @@ (|> poly (/.only identity.monad (|>> n.even? (\ identity.monad in))) (: (Identity (List Nat)))))) - (_.cover [/.fold] - (n.= (list\fold n.+ 0 poly) + (_.cover [/.mix] + (n.= (list\mix n.+ 0 poly) (|> poly - (/.fold identity.monad - (function (_ part whole) - (\ identity.monad in - (n.+ part whole))) - 0) + (/.mix identity.monad + (function (_ part whole) + (\ identity.monad in + (n.+ part whole))) + 0) (: (Identity Nat))))) )))) |