Contents Index

Org.Org.Semantic.HBase.Category.ExtractableFunctor

Synopsis

class Functor f => ExtractableFunctor f where fextract :: forall g a . FunctorApplyReturn g => f (g a) -> g (f a) ftolist :: f a -> [a] class (FunctorApplyReturn f, ExtractableFunctor f) => ExtractableFunctorApplyReturn f for :: (ExtractableFunctor f, FunctorApplyReturn m) => (a -> m b) -> f a -> m (f b) foreach :: (ExtractableFunctor f, FunctorApplyReturn m) => f a -> (a -> m b) -> m (f b)

Documentation

class Functor f => ExtractableFunctor f where

Methods fextract :: forall g a . FunctorApplyReturn g => f (g a) -> g (f a) ftolist :: f a -> [a] Instances ExtractableFunctor Maybe ExtractableFunctor [] ExtractableFunctor Identity ExtractableFunctor (Result ex) ExtractableFunctor FailableResult ExtractableFunctor Complex ExtractableFunctor ZeroList ExtractableFunctor t => ExtractableFunctor (NextList t)

class (FunctorApplyReturn f, ExtractableFunctor f) => ExtractableFunctorApplyReturn f

Instances (FunctorApplyReturn f, ExtractableFunctor f) => ExtractableFunctorApplyReturn f

for :: (ExtractableFunctor f, FunctorApplyReturn m) => (a -> m b) -> f a -> m (f b)

foreach :: (ExtractableFunctor f, FunctorApplyReturn m) => f a -> (a -> m b) -> m (f b)

flipped for

Produced by Haddock version 0.6