Hets - the Heterogeneous Tool Set

Copyright(c) T. Mossakowski, C. Maeder, Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Common.ResultT

Description

ResultT type and a monadic transformer instance

Synopsis

Documentation

newtype ResultT m a

Constructors

ResultT 

Fields

runResultT :: m (Result a)
 

class Monad m => MonadResult m where

Inspired by the MonadIO-class

Methods

liftR :: Result a -> m a

Instances