diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/monad.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/monad.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/test/lux/abstract/monad.lux b/stdlib/source/test/lux/abstract/monad.lux index f0ff7096c..e35a07a2a 100644 --- a/stdlib/source/test/lux/abstract/monad.lux +++ b/stdlib/source/test/lux/abstract/monad.lux @@ -34,34 +34,34 @@ (n.= (++ mono) (is (Identity Nat) (/.then identity.monad - (|>> ++ (at identity.monad in)) - (at identity.monad in mono))))) + (|>> ++ (of identity.monad in)) + (of identity.monad in mono))))) (_.coverage [/.all] - (at (list.equivalence n.equivalence) = + (of (list.equivalence n.equivalence) = (list#each ++ poly) (|> poly - (list#each (|>> ++ (at identity.monad in))) + (list#each (|>> ++ (of identity.monad in))) (is (List (Identity Nat))) (/.all identity.monad) (is (Identity (List Nat)))))) (_.coverage [/.each] - (at (list.equivalence n.equivalence) = + (of (list.equivalence n.equivalence) = (list#each ++ poly) (|> poly - (/.each identity.monad (|>> ++ (at identity.monad in))) + (/.each identity.monad (|>> ++ (of identity.monad in))) (is (Identity (List Nat)))))) (_.coverage [/.only] - (at (list.equivalence n.equivalence) = + (of (list.equivalence n.equivalence) = (list.only n.even? poly) (|> poly - (/.only identity.monad (|>> n.even? (at identity.monad in))) + (/.only identity.monad (|>> n.even? (of identity.monad in))) (is (Identity (List Nat)))))) (_.coverage [/.mix] (n.= (list#mix n.+ 0 poly) (|> poly (/.mix identity.monad (function (_ part whole) - (at identity.monad in + (of identity.monad in (n.+ part whole))) 0) (is (Identity Nat))))) |