servant-checked-exceptions-core-2.2.0.1: Checked exceptions for Servant APIs.

Safe Haskell	None
Language	Haskell2010

Servant.Checked.Exceptions.Verbs

Contents

Specialized Verbs
Envelope response wrapper

Synopsis

type GetWithErr = VerbWithErr 'GET 200
type PostWithErr = VerbWithErr 'POST 200
type PutWithErr = VerbWithErr 'PUT 200
type DeleteWithErr = VerbWithErr 'DELETE 200
type PatchWithErr = VerbWithErr 'PATCH 200
data VerbWithErr (method :: k1) (successStatusCode :: Nat) (contentTypes :: [*]) (es :: [*]) a
type PostCreatedWithErr = VerbWithErr 'POST 201
type GetAcceptedWithErr = VerbWithErr 'GET 202
type PostAcceptedWithErr = VerbWithErr 'POST 202
type DeleteAcceptedWithErr = VerbWithErr 'DELETE 202
type PatchAcceptedWithErr = VerbWithErr 'PATCH 202
type PutAcceptedWithErr = VerbWithErr 'PUT 202
type GetNonAuthoritativeWithErr = VerbWithErr 'GET 203
type PostNonAuthoritativeWithErr = VerbWithErr 'POST 203
type DeleteNonAuthoritativeWithErr = VerbWithErr 'DELETE 203
type PatchNonAuthoritativeWithErr = VerbWithErr 'PATCH 203
type PutNonAuthoritativeWithErr = VerbWithErr 'PUT 203
type GetNoContentWithErr = VerbWithErr 'GET 204
type PostNoContentWithErr = VerbWithErr 'POST 204
type DeleteNoContentWithErr = VerbWithErr 'DELETE 204
type PatchNoContentWithErr = VerbWithErr 'PATCH 204
type PutNoContentWithErr = VerbWithErr 'PUT 204
type GetResetContentWithErr = VerbWithErr 'GET 205
type PostResetContentWithErr = VerbWithErr 'POST 205
type DeleteResetContentWithErr = VerbWithErr 'DELETE 205
type PatchResetContentWithErr = VerbWithErr 'PATCH 205
type PutResetContentWithErr = VerbWithErr 'PUT 205
type GetPartialContentWithErr = VerbWithErr 'GET 206
module Data.WorldPeace

Specialized Verbs

HTTP 200

type GetWithErr = VerbWithErr 'GET 200 Source #

type PostWithErr = VerbWithErr 'POST 200 Source #

type PutWithErr = VerbWithErr 'PUT 200 Source #

type DeleteWithErr = VerbWithErr 'DELETE 200 Source #

type PatchWithErr = VerbWithErr 'PATCH 200 Source #

data VerbWithErr (method :: k1) (successStatusCode :: Nat) (contentTypes :: [*]) (es :: [*]) a Source #

Instances

Instances details

Generic (VerbWithErr method successStatusCode contentTypes es a) Source #
Instance details Defined in Servant.Checked.Exceptions.Internal.Verbs Associated Types type Rep (VerbWithErr method successStatusCode contentTypes es a) :: Type -> Type # 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 #
Instance details Defined in Servant.Checked.Exceptions.Internal.Verbs type Rep (VerbWithErr method successStatusCode contentTypes es a) = D1 ('MetaData "VerbWithErr" "Servant.Checked.Exceptions.Internal.Verbs" "servant-checked-exceptions-core-2.2.0.1-Gm0h0TqlYtiaiWS3pboOE" 'False) (V1 :: Type -> Type)

HTTP 201

type PostCreatedWithErr = VerbWithErr 'POST 201 Source #

HTTP 202

type GetAcceptedWithErr = VerbWithErr 'GET 202 Source #

type PostAcceptedWithErr = VerbWithErr 'POST 202 Source #

type DeleteAcceptedWithErr = VerbWithErr 'DELETE 202 Source #

type PatchAcceptedWithErr = VerbWithErr 'PATCH 202 Source #

type PutAcceptedWithErr = VerbWithErr 'PUT 202 Source #

HTTP 203

type GetNonAuthoritativeWithErr = VerbWithErr 'GET 203 Source #

type PostNonAuthoritativeWithErr = VerbWithErr 'POST 203 Source #

type DeleteNonAuthoritativeWithErr = VerbWithErr 'DELETE 203 Source #

type PatchNonAuthoritativeWithErr = VerbWithErr 'PATCH 203 Source #

type PutNonAuthoritativeWithErr = VerbWithErr 'PUT 203 Source #

HTTP 204

type GetNoContentWithErr = VerbWithErr 'GET 204 Source #

type PostNoContentWithErr = VerbWithErr 'POST 204 Source #

type DeleteNoContentWithErr = VerbWithErr 'DELETE 204 Source #

type PatchNoContentWithErr = VerbWithErr 'PATCH 204 Source #

type PutNoContentWithErr = VerbWithErr 'PUT 204 Source #

HTTP 205

type GetResetContentWithErr = VerbWithErr 'GET 205 Source #

type PostResetContentWithErr = VerbWithErr 'POST 205 Source #

type DeleteResetContentWithErr = VerbWithErr 'DELETE 205 Source #

type PatchResetContentWithErr = VerbWithErr 'PATCH 205 Source #

type PutResetContentWithErr = VerbWithErr 'PUT 205 Source #

HTTP 206

type GetPartialContentWithErr = VerbWithErr 'GET 206 Source #

`Envelope` response wrapper

module Data.WorldPeace