RON.Error

Documentation

data Error

Constructors

Error Text [Error]

Instances

Eq Error

Defined in RON.Error

Methods

(==) :: Error -> Error -> Bool

(/=) :: Error -> Error -> Bool

Show Error

Defined in RON.Error

Methods

showsPrec :: Int -> Error -> ShowS

show :: Error -> String

showList :: [Error] -> ShowS

IsString Error

Defined in RON.Error

Methods

fromString :: String -> Error

Exception Error

Defined in RON.Error

Methods

toException :: Error -> SomeException

fromException :: SomeException -> Maybe Error

displayException :: Error -> String

type MonadE = MonadError Error

correct :: MonadError e m => a -> m a -> m a

errorContext :: MonadE m => Text -> m a -> m a

liftEither :: MonadError e m => Either e a -> m a

Lifts an Either e into any MonadError e.

do { val <- liftEither =<< action1; action2 }

where action1 returns an Either to represent errors.

Since: mtl-2.2.2

liftEitherString :: (MonadError e m, IsString e) => Either String a -> m a

liftMaybe :: MonadE m => Text -> Maybe a -> m a

throwErrorString :: (MonadError e m, IsString e) => String -> m a

throwErrorText :: MonadE m => Text -> m a