servant-0.14.1: A family of combinators for defining webservices APIs

Safe HaskellSafe
LanguageHaskell2010

Servant.API.Verbs

Synopsis

Documentation

class ReflectMethod a where #

Minimal complete definition

reflectMethod

Methods

reflectMethod :: Proxy a -> Method #

Instances
ReflectMethod PATCH # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod OPTIONS # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod CONNECT # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod TRACE # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod DELETE # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod PUT # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod HEAD # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod POST # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod GET # 
Instance details

Defined in Servant.API.Verbs

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 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 :: *) # 
Instance details

Defined in Servant.Links

Associated Types

type MkLink (Verb m s ct a) a :: * #

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) :: * -> * #

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 :: *) r # 
Instance details

Defined in Servant.Links

type MkLink (Verb m s ct a :: *) 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.14.1-84Ik0iUY8OL3vgI5hurrzC" False) (V1 :: * -> *)

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

Enum StdMethod 
Instance details

Defined in Network.HTTP.Types.Method

Eq StdMethod 
Instance details

Defined in Network.HTTP.Types.Method

Ord StdMethod 
Instance details

Defined in Network.HTTP.Types.Method

Read StdMethod 
Instance details

Defined in Network.HTTP.Types.Method

Show StdMethod 
Instance details

Defined in Network.HTTP.Types.Method

Ix StdMethod 
Instance details

Defined in Network.HTTP.Types.Method

ReflectMethod PATCH # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod OPTIONS # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod CONNECT # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod TRACE # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod DELETE # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod PUT # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod HEAD # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod POST # 
Instance details

Defined in Servant.API.Verbs

ReflectMethod GET # 
Instance details

Defined in Servant.API.Verbs