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

Safe HaskellSafe
LanguageHaskell2010

Servant.API.Sub

Synopsis

Documentation

data path :> a infixr 9 Source

The contained API (second argument) can be found under ("/" ++ path) (path being the first argument).

Example:

>>> -- GET /hello/world
>>> -- returning a JSON encoded World value
>>> type MyApi = "hello" :> "world" :> Get '[JSON] World

Instances

HasLink k sub => HasLink * ((:>) * k (Header sym a) sub) Source 
(ToHttpApiData v, HasLink k sub) => HasLink * ((:>) * k (Capture * sym v) sub) Source 
HasLink k sub => HasLink * ((:>) * k (ReqBody k ct a) sub) Source 
(KnownSymbol sym, HasLink k sub) => HasLink * ((:>) * k (QueryFlag sym) sub) Source 
(KnownSymbol sym, ToHttpApiData v, HasLink k sub) => HasLink * ((:>) * k (QueryParams * sym v) sub) Source 
(KnownSymbol sym, ToHttpApiData v, HasLink k sub) => HasLink * ((:>) * k (QueryParam * sym v) sub) Source 
(KnownSymbol sym, HasLink k sub) => HasLink * ((:>) Symbol k sym sub) Source 
type MkLink * ((:>) * k (Header sym a) sub) = MkLink k sub Source 
type MkLink * ((:>) * k (Capture * sym v) sub) = v -> MkLink k sub Source 
type MkLink * ((:>) * k (ReqBody k1 ct a) sub) = MkLink k sub Source 
type MkLink * ((:>) * k (QueryFlag sym) sub) = Bool -> MkLink k sub Source 
type MkLink * ((:>) * k (QueryParams * sym v) sub) = [v] -> MkLink k sub Source 
type MkLink * ((:>) * k (QueryParam * sym v) sub) = Maybe v -> MkLink k sub Source 
type MkLink * ((:>) Symbol k sym sub) = MkLink k sub Source