ContentsIndex
Org.Org.Semantic.HBase.Category.Functor
Synopsis
class HasReturn f where
return :: a -> f a
class Functor f => FunctorApply f where
fapply :: f (a -> b) -> f a -> f b
fpassto :: f a -> f (a -> b) -> f b
fseq :: f a -> f b -> f b
(>>) :: FunctorApply f => f a -> f b -> f b
liftF1 :: Functor f => (a -> r) -> f a -> f r
liftF2 :: FunctorApply f => (a -> b -> r) -> f a -> f b -> f r
liftF3 :: FunctorApply f => (a -> b -> c -> r) -> f a -> f b -> f c -> f r
liftF4 :: FunctorApply f => (a -> b -> c -> d -> r) -> f a -> f b -> f c -> f d -> f r
fproduct :: FunctorApply f => f a -> f b -> f (a, b)
class (FunctorApply f, HasReturn f) => FunctorApplyReturn f
forDo :: FunctorApplyReturn f => (a -> f b) -> [a] -> f ()
foreachDo :: FunctorApplyReturn f => [a] -> (a -> f b) -> f ()
class Cofunctor f where
cofmap :: (a -> b) -> f b -> f a
class Functor2 f where
fmap2 :: (a -> b) -> f a p -> f b p
class Cofunctor2 f where
cofmap2 :: (a -> b) -> f b p -> f a p
class HasCoreturn f where
coreturn :: f a -> a
Documentation
class HasReturn f where
Methods
return :: a -> f a
Instances
Arrow arrow => HasReturn (ArrowFunctor arrow a)
HasReturn f => HasReturn (Contextual f context)
HasReturn (ContinuationPass p)
??? a ex p => HasReturn (ExceptionContinuationPass p ex a)
HasReturn m => HasReturn (ExceptionMonad m ex)
HasReturn (SM t)
HasReturn (ConstFunction p)
HasReturn ((->) p)
HasReturn Maybe
HasReturn []
??? a p u => HasReturn (GuardContinuationPass u p a)
HasReturn Identity
HasReturn m => HasReturn (OrMonad m)
HasReturn m => HasReturn (PlusMonad m)
HasReturn (Result ex)
HasReturn FailableResult
(HasReturn m, HasReturn n) => HasReturn (StackedMonad m n)
HasReturn m => HasReturn (StateMonad m state)
HasReturn (StaticArrow a p)
HasReturn f => HasReturn (StaticFunctor f p)
HasReturn IO
HasReturn NaNExtended
HasReturn ZeroList
HasReturn t => HasReturn (NextList t)
??? a m t => HasReturn (LiftedListParser m t a)
??? a m t => HasReturn (LookaheadListParser m t a)
HasReturn m => HasReturn (LookaheadStreamParser m t)
HasReturn m => HasReturn (MonadPossible m [t])
Monad m => HasReturn (MonadPossible m [t])
class Functor f => FunctorApply f where
Methods
fapply :: f (a -> b) -> f a -> f b

must satisfy fapply id = id

first arg (:: f (a -> b)) executed first

fpassto :: f a -> f (a -> b) -> f b
first arg (:: f a) executed first
fseq :: f a -> f b -> f b
first arg (:: f a) executed first
Instances
ProductArrow arrow => FunctorApply (ArrowFunctor arrow a)
FunctorApply f => FunctorApply (Contextual f context)
FunctorApply (ContinuationPass p)
??? a ex p => FunctorApply (ExceptionContinuationPass p ex a)
FunctorApply m => FunctorApply (ExceptionMonad m ex)
FunctorApply (SM t)
FunctorApply (ConstFunction p)
FunctorApply ((->) p)
FunctorApply Maybe
FunctorApply []
??? a p u => FunctorApply (GuardContinuationPass u p a)
FunctorApply Identity
FunctorApply m => FunctorApply (OrMonad m)
Monad m => FunctorApply (PlusMonad m)
FunctorApply (Result ex)
FunctorApply FailableResult
(FunctorApply m, FunctorApply n) => FunctorApply (StackedMonad m n)
Monad m => FunctorApply (StateMonad m state)
ProductArrow a => FunctorApply (StaticArrow a p)
FunctorApply f => FunctorApply (StaticFunctor f p)
FunctorApply IO
FunctorApply NaNExtended
FunctorApply ZeroList
FunctorApply t => FunctorApply (NextList t)
??? a m t => FunctorApply (LiftedListParser m t a)
??? a m t => FunctorApply (LookaheadListParser m t a)
Monad m => FunctorApply (LookaheadStreamParser m t)
Monad m => FunctorApply (MonadPossible m [t])
Monad m => FunctorApply (MonadPossible m [t])
(>>) :: FunctorApply f => f a -> f b -> f b
same as fseq
liftF1 :: Functor f => (a -> r) -> f a -> f r
same as fmap
liftF2 :: FunctorApply f => (a -> b -> r) -> f a -> f b -> f r
liftF3 :: FunctorApply f => (a -> b -> c -> r) -> f a -> f b -> f c -> f r
liftF4 :: FunctorApply f => (a -> b -> c -> d -> r) -> f a -> f b -> f c -> f d -> f r
fproduct :: FunctorApply f => f a -> f b -> f (a, b)
class (FunctorApply f, HasReturn f) => FunctorApplyReturn f
must satisfy fmap = fapply . return
Instances
(FunctorApply f, HasReturn f) => FunctorApplyReturn f
forDo :: FunctorApplyReturn f => (a -> f b) -> [a] -> f ()
foreachDo :: FunctorApplyReturn f => [a] -> (a -> f b) -> f ()
class Cofunctor f where
Methods
cofmap :: (a -> b) -> f b -> f a
Instances
class Functor2 f where
Methods
fmap2 :: (a -> b) -> f a p -> f b p
Instances
Monad m => Functor2 (ExceptionMonad m)
Functor2 Result
class Cofunctor2 f where
Methods
cofmap2 :: (a -> b) -> f b p -> f a p
Instances
Cofunctor2 (Contextual f)
Cofunctor2 (->)
class HasCoreturn f where
Methods
coreturn :: f a -> a
Instances
HasCoreturn Identity
Produced by Haddock version 0.6