Hets - the Heterogeneous Tool Set

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-Inferred

Common.ResultT

Description

ResultT type and a monadic transformer instance

Synopsis

Documentation

newtype ResultT m a

Constructors

ResultT
Fields runResultT :: m (Result a)

Instances

MonadTrans ResultT
Monad m => Monad (ResultT m)
Monad m => Functor (ResultT m)
MonadIO m => MonadIO (ResultT m)
Monad m => MonadResult (ResultT m)

class Monad m => MonadResult m where

Inspired by the MonadIO-class

Methods

liftR :: Result a -> m a

Instances

Monad m => MonadResult (ResultT m)