serv-0.1.0.0: Dependently typed API server framework

Safe Haskell	None
Language	Haskell2010

Serv.Internal.Verb

Documentation

data Verb Source #

Constructors

DELETE
GET
HEAD
OPTIONS
PATCH
POST
PUT

Instances

Eq Verb Source #
Methods (==) :: Verb -> Verb -> Bool # (/=) :: Verb -> Verb -> Bool #
Ord Verb Source #
Methods compare :: Verb -> Verb -> Ordering # (<) :: Verb -> Verb -> Bool # (<=) :: Verb -> Verb -> Bool # (>) :: Verb -> Verb -> Bool # (>=) :: Verb -> Verb -> Bool # max :: Verb -> Verb -> Verb # min :: Verb -> Verb -> Verb #
Read Verb Source #
Methods readsPrec :: Int -> ReadS Verb # readList :: ReadS [Verb] # readPrec :: ReadPrec Verb # readListPrec :: ReadPrec [Verb] #
Show Verb Source #
Methods showsPrec :: Int -> Verb -> ShowS # show :: Verb -> String # showList :: [Verb] -> ShowS #
HeaderEncode AccessControlAllowMethods [Verb] Source #
Methods headerEncode :: Proxy HeaderName AccessControlAllowMethods -> [Verb] -> Maybe Text Source #
HeaderEncode AccessControlAllowMethods (Set Verb) Source #
Methods headerEncode :: Proxy HeaderName AccessControlAllowMethods -> Set Verb -> Maybe Text Source #
HeaderEncode Allow [Verb] Source #
Methods headerEncode :: Proxy HeaderName Allow -> [Verb] -> Maybe Text Source #
HeaderEncode Allow (Set Verb) Source #
Methods headerEncode :: Proxy HeaderName Allow -> Set Verb -> Maybe Text Source #

standardName :: Verb -> Method Source #

class ReflectVerb v where Source #

Minimal complete definition

Methods

reflectVerb :: Proxy v -> Verb Source #

Instances

ReflectVerb DELETE Source #
Methods reflectVerb :: Proxy Verb DELETE -> Verb Source #
ReflectVerb GET Source #
Methods reflectVerb :: Proxy Verb GET -> Verb Source #
ReflectVerb HEAD Source #
Methods reflectVerb :: Proxy Verb HEAD -> Verb Source #
ReflectVerb OPTIONS Source #
Methods reflectVerb :: Proxy Verb OPTIONS -> Verb Source #
ReflectVerb PATCH Source #
Methods reflectVerb :: Proxy Verb PATCH -> Verb Source #
ReflectVerb POST Source #
Methods reflectVerb :: Proxy Verb POST -> Verb Source #
ReflectVerb PUT Source #
Methods reflectVerb :: Proxy Verb PUT -> Verb Source #