Control.ConstraintClasses

Documentation

class CFunctor f where

Associated Types

type CFun f a :: Constraint

Methods

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

class CFoldable f where

Minimal complete definition

cfoldr, cfoldr', cfoldl, cfoldl', cmapM, cmapM_

Associated Types

type CFol f a :: Constraint

Methods

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

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

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

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

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

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

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

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

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

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

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