Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Servant.API.Sub
- data path :> a
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 k1 sub => HasLink * ((:>) k1 * (AuthProtect k tag) sub) Source # | |
HasLink k sub => HasLink * ((:>) k * (BasicAuth realm a) sub) Source # | |
HasLink k sub => HasLink * ((:>) k * RemoteHost sub) Source # | |
HasLink k sub => HasLink * ((:>) k * (Header sym a) sub) Source # | |
(ToHttpApiData v, HasLink k sub) => HasLink * ((:>) k * (CaptureAll * sym v) sub) Source # | |
(ToHttpApiData v, HasLink k sub) => HasLink * ((:>) k * (Capture * sym v) sub) Source # | |
HasLink k1 sub => HasLink * ((:>) k1 * (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 * ((:>) k Symbol sym sub) Source # | |
type MkLink * ((:>) k * (AuthProtect k1 tag) sub) Source # | |
type MkLink * ((:>) k * (BasicAuth realm a) sub) Source # | |
type MkLink * ((:>) k * RemoteHost sub) Source # | |
type MkLink * ((:>) k * (Header sym a) sub) Source # | |
type MkLink * ((:>) k * (CaptureAll * sym v) sub) Source # | |
type MkLink * ((:>) k * (Capture * sym v) sub) Source # | |
type MkLink * ((:>) k * (ReqBody k1 ct a) sub) Source # | |
type MkLink * ((:>) k * (QueryFlag sym) sub) Source # | |
type MkLink * ((:>) k * (QueryParams * sym v) sub) Source # | |
type MkLink * ((:>) k * (QueryParam * sym v) sub) Source # | |
type MkLink * ((:>) k Symbol sym sub) Source # | |