Copyright	(c) T. Mossakowski C. Maeder Uni Bremen 2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

Common.ResultT

Description

ResultT type and a monadic transformer instance

Synopsis

Documentation

Constructors

ResultT
Fields runResultT :: m (Result a)

Instances details

MonadTrans ResultT Source #
Instance details Defined in Common.ResultT Methods lift :: Monad m => m a -> ResultT m a
Monad m => Monad (ResultT m) Source #
Instance details Defined in Common.ResultT Methods (>>=) :: ResultT m a -> (a -> ResultT m b) -> ResultT m b (>>) :: ResultT m a -> ResultT m b -> ResultT m b return :: a -> ResultT m a
Monad m => Functor (ResultT m) Source #
Instance details Defined in Common.ResultT Methods fmap :: (a -> b) -> ResultT m a -> ResultT m b (<$) :: a -> ResultT m b -> ResultT m a
Monad m => MonadFail (ResultT m) Source #
Instance details Defined in Common.ResultT Methods fail :: String -> ResultT m a
Monad m => Applicative (ResultT m) Source #
Instance details Defined in Common.ResultT Methods pure :: a -> ResultT m a (<>) :: ResultT m (a -> b) -> ResultT m a -> ResultT m b liftA2 :: (a -> b -> c) -> ResultT m a -> ResultT m b -> ResultT m c (>) :: ResultT m a -> ResultT m b -> ResultT m b (<*) :: ResultT m a -> ResultT m b -> ResultT m a
MonadIO m => MonadIO (ResultT m) Source #
Instance details Defined in Common.ResultT Methods liftIO :: IO a -> ResultT m a
Monad m => MonadResult (ResultT m) Source #
Instance details Defined in Common.ResultT Methods liftR :: Result a -> ResultT m a Source #

class Monad m => MonadResult m where Source #

Inspired by the MonadIO-class

Methods

Instances details

Monad m => MonadResult (ResultT m) Source #
Instance details Defined in Common.ResultT Methods liftR :: Result a -> ResultT m a Source #