Web.Minion.Error

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.

Should satisfy the law:

throwM e >> f = throwM e

Instances

MonadThrow STM

Defined in Control.Monad.Catch

Methods

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

MonadThrow IO

Defined in Control.Monad.Catch

Methods

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

MonadThrow Q

Defined in Control.Monad.Catch

Methods

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

MonadThrow Maybe

Defined in Control.Monad.Catch

Methods

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

MonadThrow List

Defined in Control.Monad.Catch

Methods

throwM :: (HasCallStack, Exception e) => e -> [a]

e ~ SomeException => MonadThrow (Either e)

Defined in Control.Monad.Catch

Methods

throwM :: (HasCallStack, Exception e0) => e0 -> Either e a

MonadThrow (ST s)

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.

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.

Defined in Control.Monad.Catch

Methods

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

MonadThrow m => MonadThrow (IdentityT m)

Defined in Control.Monad.Catch

Methods

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

MonadThrow m => MonadThrow (ReaderT r m)

Defined in Control.Monad.Catch

Methods

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

MonadThrow m => MonadThrow (StateT s m)

Defined in Control.Monad.Catch

Methods

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

MonadThrow m => MonadThrow (StateT s m)

Defined in Control.Monad.Catch

Methods

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

(MonadThrow m, Monoid w) => MonadThrow (WriterT w m)

Defined in Control.Monad.Catch

Methods

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

(MonadThrow m, Monoid w) => MonadThrow (WriterT w m)

Defined in Control.Monad.Catch

Methods

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

MonadThrow m => MonadThrow (ContT r m)

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)

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)

Defined in Control.Monad.Catch

Methods

throwM :: (HasCallStack, Exception e) => e -> RWST r w s m a

data NoMatch

Constructors

NoMatch

Instances

Exception NoMatch

Defined in Web.Minion.Error

Methods

toException :: NoMatch -> SomeException

fromException :: SomeException -> Maybe NoMatch

displayException :: NoMatch -> String

Show NoMatch

Defined in Web.Minion.Error

Methods

showsPrec :: Int -> NoMatch -> ShowS

show :: NoMatch -> String

showList :: [NoMatch] -> ShowS

data SomethingWentWrong

Constructors

SomethingWentWrong

Instances

Exception SomethingWentWrong

Defined in Web.Minion.Error

Methods

toException :: SomethingWentWrong -> SomeException

fromException :: SomeException -> Maybe SomethingWentWrong

displayException :: SomethingWentWrong -> String

Show SomethingWentWrong

Defined in Web.Minion.Error

Methods

showsPrec :: Int -> SomethingWentWrong -> ShowS

show :: SomethingWentWrong -> String

showList :: [SomethingWentWrong] -> ShowS

data ServerError

Constructors

ServerError

Fields

• code :: Status
• headers :: [Header]
• body :: ByteString

Instances

Exception ServerError

Defined in Web.Minion.Error

Methods

toException :: ServerError -> SomeException

fromException :: SomeException -> Maybe ServerError

displayException :: ServerError -> String

Show ServerError

Defined in Web.Minion.Error

Methods

showsPrec :: Int -> ServerError -> ShowS

show :: ServerError -> String

showList :: [ServerError] -> ShowS

data ErrorBuilders

Constructors

ErrorBuilders

Fields

• 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