ContentsIndex
Org.Org.Semantic.HBase.Category.PlusMonad
Synopsis
newtype PlusMonad m a = MkPlusMonad {
unPlusMonad :: (m (Maybe (PlusMonad m a, a)))
}
doFirstPlusMonad :: Monad m => PlusMonad m a -> m (Maybe a)
doAllPlusMonad :: Monad m => PlusMonad m a -> m [a]
doUniquePlusMonad :: Monad m => PlusMonad m a -> m (Maybe a)
Documentation
newtype PlusMonad m a
MonadPlus of some monad
Constructors
MkPlusMonad
unPlusMonad :: (m (Maybe (PlusMonad m a, a)))
Instances
HasReturn m => HasReturn (PlusMonad m)
Monad m => Functor (PlusMonad m)
Monad m => FunctorApply (PlusMonad m)
Monad m => Monad (PlusMonad m)
Monad m => MonadZero (PlusMonad m)
Monad m => MonadOr (PlusMonad m)
Monad m => MonadPlus (PlusMonad m)
Monad m => MonadFirst (PlusMonad m)
MonadThrow ex m => MonadThrow ex (PlusMonad m)
Monad m => LiftedMonad m (PlusMonad m)
doFirstPlusMonad :: Monad m => PlusMonad m a -> m (Maybe a)
doAllPlusMonad :: Monad m => PlusMonad m a -> m [a]
doUniquePlusMonad :: Monad m => PlusMonad m a -> m (Maybe a)
Produced by Haddock version 0.6