Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- 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
HasLink k sub => HasLink * ((:>) * k (Header sym a) sub) Source | |
(ToText 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 (MatrixFlag sym) sub) Source | |
(KnownSymbol sym, ToText v, HasLink k sub) => HasLink * ((:>) * k (MatrixParams * sym v) sub) Source | |
(KnownSymbol sym, ToText v, HasLink k sub) => HasLink * ((:>) * k (MatrixParam * sym v) sub) Source | |
(KnownSymbol sym, HasLink k sub) => HasLink * ((:>) * k (QueryFlag sym) sub) Source | |
(KnownSymbol sym, ToText v, HasLink k sub) => HasLink * ((:>) * k (QueryParams * sym v) sub) Source | |
(KnownSymbol sym, ToText 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 (MatrixFlag sym) sub) = Bool -> MkLink k sub Source | |
type MkLink * ((:>) * k (MatrixParams * sym v) sub) = [v] -> MkLink k sub Source | |
type MkLink * ((:>) * k (MatrixParam * sym v) sub) = v -> 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) = v -> MkLink k sub Source | |
type MkLink * ((:>) Symbol k sym sub) = MkLink k sub Source |