Safe Haskell | None |
---|
Util.ContextMonad
Documentation
class Monad m => ContextMonad m whereSource
Methods
withContext :: ContextOf m -> m a -> m aSource
Instances
newtype ContextEither a Source
Constructors
ContextEither (Either [String] a) |
runContextEither :: ContextEither t -> Either [String] tSource
runSimpleContextMonad :: ContextEither a -> aSource