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 #