diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract/functor.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux index 522707615..c2d48f298 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -25,7 +25,7 @@ (<| (_.covering /._) ($_ _.and (_.cover [/.Or /.sum] - (and (case (\ (/.sum maybe.functor list.functor) map + (and (case (\ (/.sum maybe.functor list.functor) each (n.+ shift) (#.Left (#.Some left))) (#.Left (#.Some actual)) @@ -33,7 +33,7 @@ _ false) - (case (\ (/.sum maybe.functor list.functor) map + (case (\ (/.sum maybe.functor list.functor) each (n.+ shift) (#.Right (list right))) (^ (#.Right (list actual))) @@ -42,7 +42,7 @@ _ false))) (_.cover [/.And /.product] - (case (\ (/.product maybe.functor list.functor) map + (case (\ (/.product maybe.functor list.functor) each (n.+ shift) [(#.Some left) (list right)]) (^ [(#.Some actualL) (list actualR)]) @@ -52,7 +52,7 @@ _ false)) (_.cover [/.Then /.composite] - (case (\ (/.composite maybe.functor list.functor) map + (case (\ (/.composite maybe.functor list.functor) each (n.+ shift) (#.Some (list left))) (^ (#.Some (list actual))) |