Permalink
Browse files

Use nicer type variables in foldlM's type sig

  • Loading branch information...
1 parent f703e97 commit 60ef83aceccff7bd260ce48f97522b4a3d8a98df @igfoo igfoo committed Nov 10, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 Data/Foldable.hs
View
@@ -195,7 +195,7 @@ foldrM f z0 xs = foldl f' return xs z0
-- | Monadic fold over the elements of a structure,
-- associating to the left, i.e. from left to right.
-foldlM :: (Foldable t, Monad m) => (a -> b -> m a) -> a -> t b -> m a
+foldlM :: (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b
foldlM f z0 xs = foldr f' return xs z0
where f' x k z = f z x >>= k

0 comments on commit 60ef83a

Please sign in to comment.