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