Contents Index

Org.Org.Semantic.HBase.Category.Result

Synopsis

data Result ex a = SuccessResult a | ExceptionResult ex unSuccessResult :: a -> Result ex a -> a isSuccessResult :: Result ex a -> Bool getResult :: MonadException ex m => Result ex a -> m a data FailableResult a = SuccessFailableResult a | FailureFailableResult String getFailableResult :: Monad m => FailableResult a -> m a

Documentation

data Result ex a

simple monad Constructors SuccessResult a ExceptionResult ex Instances MonadRun (Result ex q) (ExceptionContinuationPass (Result ex q) ex) MonadRun (Result ex q) (ExceptionContinuationPass (Result ex q) ex) MonadRun (Result ex p) m => MonadRun (Result ex p) (ExceptionMonad m ex) HasReturn (Result ex) Functor (Result ex) ExtractableFunctor (Result ex) FunctorApply (Result ex) Monad (Result ex) MonadThrow ex (Result ex) MonadSingleThrow ex (Result ex) MonadException ex (Result ex) MonadSingleException ex (Result ex) Functor2 Result Monad2 Result

unSuccessResult :: a -> Result ex a -> a

isSuccessResult :: Result ex a -> Bool

getResult :: MonadException ex m => Result ex a -> m a

data FailableResult a

Constructors SuccessFailableResult a FailureFailableResult String Instances HasReturn FailableResult Functor FailableResult ExtractableFunctor FailableResult FunctorApply FailableResult Monad FailableResult

getFailableResult :: Monad m => FailableResult a -> m a

Produced by Haddock version 0.6