diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/implicit.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux index f50bd57e7..2e694abf1 100644 --- a/stdlib/source/test/lux/type/implicit.lux +++ b/stdlib/source/test/lux/type/implicit.lux @@ -25,7 +25,7 @@ Test (<| (_.covering /._) (do {! random.monad} - [.let [digit (\ ! map (n.% 10) random.nat)] + [.let [digit (\ ! each (n.% 10) random.nat)] left digit right digit .let [start (n.min left right) @@ -39,8 +39,8 @@ (let [(^open "list\.") (list.equivalence n.equivalence)] (and (bit\= (\ n.equivalence = left right) (/.\\ = left right)) - (list\= (\ list.functor map ++ (enum.range n.enum start end)) - (/.\\ map ++ (enum.range n.enum start end))))) + (list\= (\ list.functor each ++ (enum.range n.enum start end)) + (/.\\ each ++ (enum.range n.enum start end))))) second_order! (/.\\ = @@ -48,7 +48,7 @@ (enum.range n.enum start end)) third_order! - (let [lln (/.\\ map (enum.range n.enum start) + (let [lln (/.\\ each (enum.range n.enum start) (enum.range n.enum start end))] (/.\\ = lln lln))] (and first_order! @@ -56,9 +56,9 @@ third_order!))) (_.cover [/.with] (/.with [n.addition] - (n.= (\ n.addition compose left right) - (/.\\ compose left right)))) + (n.= (\ n.addition composite left right) + (/.\\ composite left right)))) (_.cover [/.implicit:] - (n.= (\ n.multiplication compose left right) - (/.\\ compose left right))) + (n.= (\ n.multiplication composite left right) + (/.\\ composite left right))) )))) |