Control.ConstraintClasses

Documentation

class CFunctor f where

Associated Types

type CFun f a :: Constraint

Methods

_fmap :: (CFun f a, CFun f b) => (a -> b) -> f a -> f b

class CFoldable f where

Associated Types

type CFol f a :: Constraint

Methods

_foldr :: CFol f a => (a -> b -> b) -> b -> f a -> b

_foldr' :: CFol f a => (a -> b -> b) -> b -> f a -> b

_foldl :: CFol f b => (a -> b -> a) -> a -> f b -> a

_foldl' :: CFol f b => (a -> b -> a) -> a -> f b -> a

_fold :: (CFol f m, Monoid m) => f m -> m

_foldMap :: (CFol f a, CFol f m, Monoid m) => (a -> m) -> f a -> m

_length :: CFol f a => f a -> Int

_mapM :: (Monad m, CFol f a, CFol f b) => (a -> m b) -> f a -> m (f b)

_forM :: (Monad m, CFol f a, CFol f b) => f a -> (a -> m b) -> m (f b)

_mapM_ :: (Monad m, CFol f a) => (a -> m b) -> f a -> m ()

_forM_ :: (Monad m, CFol f a) => f a -> (a -> m b) -> m ()