Contents Index

Org.Org.Semantic.HBase.Category.Monad

Synopsis

class FunctorApplyReturn m => Monad m where mbind :: m a -> (a -> m b) -> m b fail :: String -> m a (>>=) :: Monad m => m a -> (a -> m b) -> m b monad_fmap :: Monad m => (a -> b) -> m a -> m b monad_fapply :: Monad m => m (a -> b) -> m a -> m b monad_fpassto :: Monad m => m a -> m (a -> b) -> m b monad_fseq :: Monad m => m a -> m b -> m b while :: Monad m => m Bool -> m ()

Documentation

class FunctorApplyReturn m => Monad m where

Methods mbind :: m a -> (a -> m b) -> m b fail :: String -> m a defaults to error Instances ApplyArrow arrow => Monad (ArrowFunctor arrow ()) Monad m => Monad (Contextual m context) Monad (ContinuationPass p) ??? a ex p => Monad (ExceptionContinuationPass p ex a) Monad m => Monad (ExceptionMonad m ex) Monad (ConstFunction p) ??? a p u => Monad (GuardContinuationPass u p a) Monad Identity Monad ((->) a) Monad Maybe Monad [] Monad m => Monad (OrMonad m) Monad m => Monad (PlusMonad m) Monad (Result ex) Monad FailableResult (Monad m, Monad n, ExtractableFunctor n) => Monad (StackedMonad m n) Monad m => Monad (StateMonad m state) (FunctorApplyReturn f, HasCoreturn f) => Monad (StaticFunctor f p) Monad IO Monad NaNExtended ??? a m t => Monad (LiftedListParser m t a) ??? a m t => Monad (LookaheadListParser m t a) Monad m => Monad (LookaheadStreamParser m t) Monad m => Monad (MonadPossible m [t]) Monad m => Monad (MonadPossible m [t])

(>>=) :: Monad m => m a -> (a -> m b) -> m b

same as mbind

monad_fmap :: Monad m => (a -> b) -> m a -> m b

use this for Functor instance definitions

monad_fapply :: Monad m => m (a -> b) -> m a -> m b

use this for FunctorApply instance definitions

monad_fpassto :: Monad m => m a -> m (a -> b) -> m b

use this for FunctorApply instance definitions

monad_fseq :: Monad m => m a -> m b -> m b

use this for FunctorApply instance definitions

while :: Monad m => m Bool -> m ()

Produced by Haddock version 0.6