| Copyright | Dennis Gosnell 2017 |
|---|---|
| License | BSD3 |
| Maintainer | Dennis Gosnell ([email protected]) |
| Stability | experimental |
| Portability | unknown |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Servant.Checked.Exceptions.Internal.Verbs
Description
This module defines the Throws and Throwing types.
Documentation
data VerbWithErr (method :: k1) (successStatusCode :: Nat) (contentTypes :: [Type]) (es :: [Type]) (a :: k) Source #
Instances
| Generic (VerbWithErr method successStatusCode contentTypes es a) Source # | |||||
Defined in Servant.Checked.Exceptions.Internal.Verbs Associated Types
Methods from :: VerbWithErr method successStatusCode contentTypes es a -> Rep (VerbWithErr method successStatusCode contentTypes es a) x # to :: Rep (VerbWithErr method successStatusCode contentTypes es a) x -> VerbWithErr method successStatusCode contentTypes es a # | |||||
| type Rep (VerbWithErr method successStatusCode contentTypes es a) Source # | |||||
Defined in Servant.Checked.Exceptions.Internal.Verbs | |||||
type GetWithErr = VerbWithErr 'GET 200 :: [Type] -> [Type] -> k -> Type Source #
type PostWithErr = VerbWithErr 'POST 200 :: [Type] -> [Type] -> k -> Type Source #
type PutWithErr = VerbWithErr 'PUT 200 :: [Type] -> [Type] -> k -> Type Source #
type DeleteWithErr = VerbWithErr 'DELETE 200 :: [Type] -> [Type] -> k -> Type Source #
type PatchWithErr = VerbWithErr 'PATCH 200 :: [Type] -> [Type] -> k -> Type Source #
type PostCreatedWithErr = VerbWithErr 'POST 201 :: [Type] -> [Type] -> k -> Type Source #
type GetAcceptedWithErr = VerbWithErr 'GET 202 :: [Type] -> [Type] -> k -> Type Source #
type PostAcceptedWithErr = VerbWithErr 'POST 202 :: [Type] -> [Type] -> k -> Type Source #
type DeleteAcceptedWithErr = VerbWithErr 'DELETE 202 :: [Type] -> [Type] -> k -> Type Source #
type PatchAcceptedWithErr = VerbWithErr 'PATCH 202 :: [Type] -> [Type] -> k -> Type Source #
type PutAcceptedWithErr = VerbWithErr 'PUT 202 :: [Type] -> [Type] -> k -> Type Source #
type GetNonAuthoritativeWithErr = VerbWithErr 'GET 203 :: [Type] -> [Type] -> k -> Type Source #
type PostNonAuthoritativeWithErr = VerbWithErr 'POST 203 :: [Type] -> [Type] -> k -> Type Source #
type DeleteNonAuthoritativeWithErr = VerbWithErr 'DELETE 203 :: [Type] -> [Type] -> k -> Type Source #
type PatchNonAuthoritativeWithErr = VerbWithErr 'PATCH 203 :: [Type] -> [Type] -> k -> Type Source #
type PutNonAuthoritativeWithErr = VerbWithErr 'PUT 203 :: [Type] -> [Type] -> k -> Type Source #
type GetNoContentWithErr = VerbWithErr 'GET 204 :: [Type] -> [Type] -> k -> Type Source #
type PostNoContentWithErr = VerbWithErr 'POST 204 :: [Type] -> [Type] -> k -> Type Source #
type DeleteNoContentWithErr = VerbWithErr 'DELETE 204 :: [Type] -> [Type] -> k -> Type Source #
type PatchNoContentWithErr = VerbWithErr 'PATCH 204 :: [Type] -> [Type] -> k -> Type Source #
type PutNoContentWithErr = VerbWithErr 'PUT 204 :: [Type] -> [Type] -> k -> Type Source #
type GetResetContentWithErr = VerbWithErr 'GET 205 :: [Type] -> [Type] -> k -> Type Source #
type PostResetContentWithErr = VerbWithErr 'POST 205 :: [Type] -> [Type] -> k -> Type Source #
type DeleteResetContentWithErr = VerbWithErr 'DELETE 205 :: [Type] -> [Type] -> k -> Type Source #
type PatchResetContentWithErr = VerbWithErr 'PATCH 205 :: [Type] -> [Type] -> k -> Type Source #
type PutResetContentWithErr = VerbWithErr 'PUT 205 :: [Type] -> [Type] -> k -> Type Source #
type GetPartialContentWithErr = VerbWithErr 'GET 206 :: [Type] -> [Type] -> k -> Type Source #