Control.ConstraintClasses

Documentation

class CFunctor f where

Associated Types

type Con f a :: Constraint

Methods

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

class CFunctor f => CApplicative f where

Methods

_pure :: Con f a => a -> f a

_liftA2 :: (Con f a, Con f b, Con f c) => (a -> b -> c) -> f a -> f b -> f c

_liftA3 :: (Con f a, Con f b, Con f c, Con f d) => (a -> b -> c -> d) -> f a -> f b -> f c -> f d

_liftA4 :: (Con f a, Con f b, Con f c, Con f d, Con f e) => (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e

class CApplicative f => CMonad f where

Methods

_concatMap :: (Con f a, Con f b) => (a -> f b) -> f a -> f b

class CFoldable f where

Minimal complete definition

_foldMap | _foldr

Methods

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

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

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

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

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

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

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

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

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

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

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

class (CFunctor t, CFoldable t) => CTraversable t where

Methods

_traverse :: (Con t a, Con t b, Monad f) => (a -> f b) -> t a -> f (t b)

class CFunctor f => CZippable f where

Methods

_zipWith :: (Con f a, Con f b, Con f c) => (a -> b -> c) -> f a -> f b -> f c

_zipWith3 :: (Con f a, Con f b, Con f c, Con f d) => (a -> b -> c -> d) -> f a -> f b -> f c -> f d

_zipWith4 :: (Con f a, Con f b, Con f c, Con f d, Con f e) => (a -> b -> c -> d -> e) -> f a -> f b -> f c -> f d -> f e

class CFunctor f => CIndexed f i | f -> i where

Minimal complete definition

(!)

Methods

(!) :: Con f a => f a -> i -> a