Safe Haskell	Safe-Inferred
Language	Haskell2010

Web.Minion.Error

Synopsis

class Monad m => MonadThrow (m :: Type -> Type) where
- throwM :: (HasCallStack, Exception e) => e -> m a
data NoMatch = NoMatch
data SomethingWentWrong = SomethingWentWrong
data ServerError = ServerError {
- code :: Status
- headers :: [Header]
- body :: ByteString
}
data ErrorBuilders = ErrorBuilders {
- headerErrorBuilder :: ErrorBuilder
- queryParamsErrorBuilder :: ErrorBuilder
- captureErrorBuilder :: ErrorBuilder
- bodyErrorBuilder :: ErrorBuilder
}
type ErrorBuilder = Request -> Status -> ByteString -> ServerError
type TextToError = ByteString -> ServerError
codeOf :: ServerError -> Status
unauthorized :: ServerError
redirect :: MonadThrow m => ByteString -> m a
found :: ServerError
err300 :: ServerError
err301 :: ServerError
err302 :: ServerError
err303 :: ServerError
err304 :: ServerError
err305 :: ServerError
err307 :: ServerError
err400 :: ServerError
err401 :: ServerError
err402 :: ServerError
err403 :: ServerError
err404 :: ServerError
err405 :: ServerError
err406 :: ServerError
err407 :: ServerError
err409 :: ServerError
err410 :: ServerError
err411 :: ServerError
err412 :: ServerError
err413 :: ServerError
err414 :: ServerError
err415 :: ServerError
err416 :: ServerError
err417 :: ServerError
err418 :: ServerError
err422 :: ServerError
err500 :: ServerError
err501 :: ServerError
err502 :: ServerError
err503 :: ServerError
err504 :: ServerError
err505 :: ServerError
multipleChoices :: ServerError
movedPermanently :: ServerError
seeOther :: ServerError
notModified :: ServerError
useProxy :: ServerError
temporaryRedirect :: ServerError
badRequest :: ServerError
paymentRequired :: ServerError
forbidden :: ServerError
notFound :: ServerError
methodNotAllowed :: ServerError
notAcceptable :: ServerError
proxyAuthenticationRequired :: ServerError
conflict :: ServerError
gone :: ServerError
lengthRequired :: ServerError
preconditionFailed :: ServerError
requestEntityTooLarge :: ServerError
requestURITooLong :: ServerError
unsupportedMediaType :: ServerError
requestedRangeNotSatisfiable :: ServerError
expectationFailed :: ServerError
teapot :: ServerError
unprocessableEntity :: ServerError
internalServerError :: ServerError
notImplemented :: ServerError
badGateway :: ServerError
serviceUnavailable :: ServerError
gatewayTimeout :: ServerError
httpVersionNotSupported :: ServerError

Documentation

class Monad m => MonadThrow (m :: Type -> Type) where #

A class for monads in which exceptions may be thrown.

Instances should obey the following law:

throwM e >> x = throwM e

In other words, throwing an exception short-circuits the rest of the monadic computation.

Methods

throwM :: (HasCallStack, Exception e) => e -> m a #

Throw an exception. Note that this throws when this action is run in the monad m, not when it is applied. It is a generalization of Control.Exception's throwIO.

MonadThrow STM
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> STM a #
MonadThrow IO
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> IO a #
MonadThrow Q
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> Q a #
MonadThrow Maybe
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> Maybe a #
MonadThrow List
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> [a] #
e ~ SomeException => MonadThrow (Either e)
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e0) => e0 -> Either e a #
MonadThrow (ST s)
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> ST s a #
MonadThrow m => MonadThrow (MaybeT m)	Throws exceptions into the base monad.
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> MaybeT m a #
MonadThrow m => MonadThrow (ExceptT e m)	Throws exceptions into the base monad.
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e0) => e0 -> ExceptT e m a #
MonadThrow m => MonadThrow (IdentityT m)
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> IdentityT m a #
MonadThrow m => MonadThrow (ReaderT r m)
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> ReaderT r m a #
MonadThrow m => MonadThrow (StateT s m)
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> StateT s m a #
MonadThrow m => MonadThrow (StateT s m)
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> StateT s m a #
(MonadThrow m, Monoid w) => MonadThrow (WriterT w m)
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> WriterT w m a #
(MonadThrow m, Monoid w) => MonadThrow (WriterT w m)
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> WriterT w m a #
MonadThrow m => MonadThrow (ContT r m)
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> ContT r m a #
(MonadThrow m, Monoid w) => MonadThrow (RWST r w s m)
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> RWST r w s m a #
(MonadThrow m, Monoid w) => MonadThrow (RWST r w s m)
Instance details Defined in Control.Monad.Catch Methods throwM :: (HasCallStack, Exception e) => e -> RWST r w s m a #

Exception NoMatch Source #
Instance details Defined in Web.Minion.Error Methods toException :: NoMatch -> SomeException # fromException :: SomeException -> Maybe NoMatch # displayException :: NoMatch -> String #
Show NoMatch Source #
Instance details Defined in Web.Minion.Error Methods showsPrec :: Int -> NoMatch -> ShowS # show :: NoMatch -> String # showList :: [NoMatch] -> ShowS #

Exception SomethingWentWrong Source #
Instance details Defined in Web.Minion.Error Methods toException :: SomethingWentWrong -> SomeException # fromException :: SomeException -> Maybe SomethingWentWrong # displayException :: SomethingWentWrong -> String #
Show SomethingWentWrong Source #
Instance details Defined in Web.Minion.Error Methods showsPrec :: Int -> SomethingWentWrong -> ShowS # show :: SomethingWentWrong -> String # showList :: [SomethingWentWrong] -> ShowS #

ServerError
Fields code :: Status headers :: [Header] body :: ByteString

Exception ServerError Source #
Instance details Defined in Web.Minion.Error Methods toException :: ServerError -> SomeException # fromException :: SomeException -> Maybe ServerError # displayException :: ServerError -> String #
Show ServerError Source #
Instance details Defined in Web.Minion.Error Methods showsPrec :: Int -> ServerError -> ShowS # show :: ServerError -> String # showList :: [ServerError] -> ShowS #

ErrorBuilders
Fields headerErrorBuilder :: ErrorBuilder queryParamsErrorBuilder :: ErrorBuilder captureErrorBuilder :: ErrorBuilder bodyErrorBuilder :: ErrorBuilder