Safe Haskell	Safe
Language	Haskell2010

Servant.API.Verbs

Synopsis

class ReflectMethod a where
- reflectMethod :: Proxy a -> Method
type GetPartialContent = Verb GET 206
type PutResetContent = Verb PUT 205
type PatchResetContent = Verb PATCH 205
type DeleteResetContent = Verb DELETE 205
type PostResetContent = Verb POST 205
type GetResetContent = Verb GET 205
type PutNoContent = Verb PUT 204
type PatchNoContent = Verb PATCH 204
type DeleteNoContent = Verb DELETE 204
type PostNoContent = Verb POST 204
type GetNoContent = Verb GET 204
type PutNonAuthoritative = Verb PUT 203
type PatchNonAuthoritative = Verb PATCH 203
type DeleteNonAuthoritative = Verb DELETE 203
type PostNonAuthoritative = Verb POST 203
type GetNonAuthoritative = Verb GET 203
type PutAccepted = Verb PUT 202
type PatchAccepted = Verb PATCH 202
type DeleteAccepted = Verb DELETE 202
type PostAccepted = Verb POST 202
type GetAccepted = Verb GET 202
type PutCreated = Verb PUT 201
type PostCreated = Verb POST 201
type Patch = Verb PATCH 200
type Delete = Verb DELETE 200
type Put = Verb PUT 200
type Post = Verb POST 200
type Get = Verb GET 200
data Verb (method :: k1) (statusCode :: Nat) (contentTypes :: [*]) (a :: *)
data StdMethod
- = GET
- | POST
- | HEAD
- | PUT
- | DELETE
- | TRACE
- | CONNECT
- | OPTIONS
- | PATCH

Documentation

class ReflectMethod a where #

Methods

reflectMethod :: Proxy a -> Method #

Instances

ReflectMethod PATCH #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy PATCH -> Method #
ReflectMethod OPTIONS #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy OPTIONS -> Method #
ReflectMethod CONNECT #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy CONNECT -> Method #
ReflectMethod TRACE #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy TRACE -> Method #
ReflectMethod DELETE #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy DELETE -> Method #
ReflectMethod PUT #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy PUT -> Method #
ReflectMethod HEAD #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy HEAD -> Method #
ReflectMethod POST #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy POST -> Method #
ReflectMethod GET #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy GET -> Method #

type GetPartialContent = Verb GET 206 #

GET with 206 status code.

type PutResetContent = Verb PUT 205 #

PUT with 205 status code.

type PatchResetContent = Verb PATCH 205 #

PATCH with 205 status code.

type DeleteResetContent = Verb DELETE 205 #

DELETE with 205 status code.

type PostResetContent = Verb POST 205 #

POST with 205 status code.

type GetResetContent = Verb GET 205 #

GET with 205 status code.

type PutNoContent = Verb PUT 204 #

PUT with 204 status code.

type PatchNoContent = Verb PATCH 204 #

PATCH with 204 status code.

type DeleteNoContent = Verb DELETE 204 #

DELETE with 204 status code.

type PostNoContent = Verb POST 204 #

POST with 204 status code.

type GetNoContent = Verb GET 204 #

GET with 204 status code.

type PutNonAuthoritative = Verb PUT 203 #

PUT with 203 status code.

type PatchNonAuthoritative = Verb PATCH 203 #

PATCH with 203 status code.

type DeleteNonAuthoritative = Verb DELETE 203 #

DELETE with 203 status code.

type PostNonAuthoritative = Verb POST 203 #

POST with 203 status code.

type GetNonAuthoritative = Verb GET 203 #

GET with 203 status code.

type PutAccepted = Verb PUT 202 #

PUT with 202 status code.

type PatchAccepted = Verb PATCH 202 #

PATCH with 202 status code.

type DeleteAccepted = Verb DELETE 202 #

DELETE with 202 status code.

type PostAccepted = Verb POST 202 #

POST with 202 status code.

type GetAccepted = Verb GET 202 #

GET with 202 status code.

type PutCreated = Verb PUT 201 #

PUT with 201 status code.

type PostCreated = Verb POST 201 #

POST with 201 status code.

type Patch = Verb PATCH 200 #

PATCH with 200 status code.

type Delete = Verb DELETE 200 #

DELETE with 200 status code.

type Put = Verb PUT 200 #

PUT with 200 status code.

type Post = Verb POST 200 #

POST with 200 status code.

type Get = Verb GET 200 #

GET with 200 status code.

data Verb (method :: k1) (statusCode :: Nat) (contentTypes :: [*]) (a :: *) #

Verb is a general type for representing HTTP verbs (a.k.a. methods). For convenience, type synonyms for each verb with a 200 response code are provided, but you are free to define your own:

>>> type Post204 contentTypes a = Verb 'POST 204 contentTypes a

Instances

HasLink (Verb m s ct a :: Type) #
Instance details Defined in Servant.Links Associated Types type MkLink (Verb m s ct a) a :: Type # Methods toLink :: (Link -> a0) -> Proxy (Verb m s ct a) -> Link -> MkLink (Verb m s ct a) a0 #
Generic (Verb method statusCode contentTypes a) #
Instance details Defined in Servant.API.Verbs Associated Types type Rep (Verb method statusCode contentTypes a) :: Type -> Type # Methods from :: Verb method statusCode contentTypes a -> Rep (Verb method statusCode contentTypes a) x # to :: Rep (Verb method statusCode contentTypes a) x -> Verb method statusCode contentTypes a #
type MkLink (Verb m s ct a :: Type) r #
Instance details Defined in Servant.Links type MkLink (Verb m s ct a :: Type) r = r
type Rep (Verb method statusCode contentTypes a) #
Instance details Defined in Servant.API.Verbs type Rep (Verb method statusCode contentTypes a) = D1 (MetaData "Verb" "Servant.API.Verbs" "servant-0.15-FoRSSzC8bml4g0l4R8e6qu" False) (V1 :: Type -> Type)

data StdMethod #

HTTP standard method (as defined by RFC 2616, and PATCH which is defined by RFC 5789).

Constructors

GET
POST
HEAD
PUT
DELETE
TRACE
CONNECT
OPTIONS
PATCH

Instances

Bounded StdMethod
Instance details Defined in Network.HTTP.Types.Method Methods minBound :: StdMethod # maxBound :: StdMethod #
Enum StdMethod
Instance details Defined in Network.HTTP.Types.Method Methods succ :: StdMethod -> StdMethod # pred :: StdMethod -> StdMethod # toEnum :: Int -> StdMethod # fromEnum :: StdMethod -> Int # enumFrom :: StdMethod -> [StdMethod] # enumFromThen :: StdMethod -> StdMethod -> [StdMethod] # enumFromTo :: StdMethod -> StdMethod -> [StdMethod] # enumFromThenTo :: StdMethod -> StdMethod -> StdMethod -> [StdMethod] #
Eq StdMethod
Instance details Defined in Network.HTTP.Types.Method Methods (==) :: StdMethod -> StdMethod -> Bool # (/=) :: StdMethod -> StdMethod -> Bool #
Ord StdMethod
Instance details Defined in Network.HTTP.Types.Method Methods compare :: StdMethod -> StdMethod -> Ordering # (<) :: StdMethod -> StdMethod -> Bool # (<=) :: StdMethod -> StdMethod -> Bool # (>) :: StdMethod -> StdMethod -> Bool # (>=) :: StdMethod -> StdMethod -> Bool # max :: StdMethod -> StdMethod -> StdMethod # min :: StdMethod -> StdMethod -> StdMethod #
Read StdMethod
Instance details Defined in Network.HTTP.Types.Method Methods readsPrec :: Int -> ReadS StdMethod # readList :: ReadS [StdMethod] # readPrec :: ReadPrec StdMethod # readListPrec :: ReadPrec [StdMethod] #
Show StdMethod
Instance details Defined in Network.HTTP.Types.Method Methods showsPrec :: Int -> StdMethod -> ShowS # show :: StdMethod -> String # showList :: [StdMethod] -> ShowS #
Ix StdMethod
Instance details Defined in Network.HTTP.Types.Method Methods range :: (StdMethod, StdMethod) -> [StdMethod] # index :: (StdMethod, StdMethod) -> StdMethod -> Int # unsafeIndex :: (StdMethod, StdMethod) -> StdMethod -> Int inRange :: (StdMethod, StdMethod) -> StdMethod -> Bool # rangeSize :: (StdMethod, StdMethod) -> Int # unsafeRangeSize :: (StdMethod, StdMethod) -> Int
ReflectMethod PATCH #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy PATCH -> Method #
ReflectMethod OPTIONS #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy OPTIONS -> Method #
ReflectMethod CONNECT #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy CONNECT -> Method #
ReflectMethod TRACE #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy TRACE -> Method #
ReflectMethod DELETE #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy DELETE -> Method #
ReflectMethod PUT #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy PUT -> Method #
ReflectMethod HEAD #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy HEAD -> Method #
ReflectMethod POST #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy POST -> Method #
ReflectMethod GET #
Instance details Defined in Servant.API.Verbs Methods reflectMethod :: Proxy GET -> Method #