diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/monad.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/monad.lux | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index 786156f93..1abc2ff2e 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -5,7 +5,7 @@ [data ["[0]" identity {"+" [Identity]}] [collection - ["[0]" list ("[1]\[0]" functor mix)]]] + ["[0]" list ("[1]#[0]" functor mix)]]] [math ["[0]" random] [number @@ -30,34 +30,34 @@ (n.= (++ mono) (: (Identity Nat) (/.then identity.monad - (|>> ++ (\ identity.monad in)) - (\ identity.monad in mono))))) + (|>> ++ (# identity.monad in)) + (# identity.monad in mono))))) (_.cover [/.all] - (\ (list.equivalence n.equivalence) = - (list\each ++ poly) + (# (list.equivalence n.equivalence) = + (list#each ++ poly) (|> poly - (list\each (|>> ++ (\ identity.monad in))) + (list#each (|>> ++ (# identity.monad in))) (: (List (Identity Nat))) (/.all identity.monad) (: (Identity (List Nat)))))) (_.cover [/.each] - (\ (list.equivalence n.equivalence) = - (list\each ++ poly) + (# (list.equivalence n.equivalence) = + (list#each ++ poly) (|> poly - (/.each identity.monad (|>> ++ (\ identity.monad in))) + (/.each identity.monad (|>> ++ (# identity.monad in))) (: (Identity (List Nat)))))) (_.cover [/.only] - (\ (list.equivalence n.equivalence) = + (# (list.equivalence n.equivalence) = (list.only n.even? poly) (|> poly - (/.only identity.monad (|>> n.even? (\ identity.monad in))) + (/.only identity.monad (|>> n.even? (# identity.monad in))) (: (Identity (List Nat)))))) (_.cover [/.mix] - (n.= (list\mix n.+ 0 poly) + (n.= (list#mix n.+ 0 poly) (|> poly (/.mix identity.monad (function (_ part whole) - (\ identity.monad in + (# identity.monad in (n.+ part whole))) 0) (: (Identity Nat))))) |