Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

class CFoldable f where Source #

type CFol f a :: Constraint Source #

cfoldr :: CFol f a => (a -> b -> b) -> b -> f a -> b Source #

cfoldr' :: CFol f a => (a -> b -> b) -> b -> f a -> b Source #

cfoldl :: CFol f b => (a -> b -> a) -> a -> f b -> a Source #

cfoldl' :: CFol f b => (a -> b -> a) -> a -> f b -> a Source #

cfold :: (CFol f m, Monoid m) => f m -> m Source #

cfoldMap :: (CFol f a, CFol f m, Monoid m) => (a -> m) -> f a -> m Source #

clength :: CFol f a => f a -> Int Source #

cmapM :: (Monad m, CFol f a, CFol f b) => (a -> m b) -> f a -> m (f b) Source #

cforM :: (Monad m, CFol f a, CFol f b) => f a -> (a -> m b) -> m (f b) Source #

cmapM_ :: (Monad m, CFol f a) => (a -> m b) -> f a -> m () Source #

cforM_ :: (Monad m, CFol f a) => f a -> (a -> m b) -> m () Source #