Servant.API.Sub

Documentation

data (path :: k) :> (a :: *) infixr 4

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 * sub => HasLink * ((:>) * HttpVersion sub)

Associated Types

type MkLink ((* :> HttpVersion) sub) (endpoint :: (* :> HttpVersion) sub) :: *

Methods

toLink :: Proxy ((* :> HttpVersion) sub) endpoint -> Link -> MkLink ((* :> HttpVersion) sub) endpoint

HasLink * sub => HasLink * ((:>) * Vault sub)

Associated Types

type MkLink ((* :> Vault) sub) (endpoint :: (* :> Vault) sub) :: *

Methods

toLink :: Proxy ((* :> Vault) sub) endpoint -> Link -> MkLink ((* :> Vault) sub) endpoint

HasLink * sub => HasLink * ((:>) * (BasicAuth realm a) sub)

Associated Types

type MkLink ((* :> BasicAuth realm a) sub) (endpoint :: (* :> BasicAuth realm a) sub) :: *

Methods

toLink :: Proxy ((* :> BasicAuth realm a) sub) endpoint -> Link -> MkLink ((* :> BasicAuth realm a) sub) endpoint

(ToHttpApiData v, HasLink * sub) => HasLink * ((:>) * (CaptureAll sym v) sub)

Associated Types

type MkLink ((* :> CaptureAll sym v) sub) (endpoint :: (* :> CaptureAll sym v) sub) :: *

Methods

toLink :: Proxy ((* :> CaptureAll sym v) sub) endpoint -> Link -> MkLink ((* :> CaptureAll sym v) sub) endpoint

(ToHttpApiData v, HasLink * sub) => HasLink * ((:>) * (Capture' mods sym v) sub)

Associated Types

type MkLink ((* :> Capture' mods sym v) sub) (endpoint :: (* :> Capture' mods sym v) sub) :: *

Methods

toLink :: Proxy ((* :> Capture' mods sym v) sub) endpoint -> Link -> MkLink ((* :> Capture' mods sym v) sub) endpoint

HasLink * sub => HasLink * ((:>) * (Description s) sub)

Associated Types

type MkLink ((* :> Description s) sub) (endpoint :: (* :> Description s) sub) :: *

Methods

toLink :: Proxy ((* :> Description s) sub) endpoint -> Link -> MkLink ((* :> Description s) sub) endpoint

HasLink * sub => HasLink * ((:>) * (Summary s) sub)

Associated Types

type MkLink ((* :> Summary s) sub) (endpoint :: (* :> Summary s) sub) :: *

Methods

toLink :: Proxy ((* :> Summary s) sub) endpoint -> Link -> MkLink ((* :> Summary s) sub) endpoint

HasLink * sub => HasLink * ((:>) * (AuthProtect k tag) sub)

Associated Types

type MkLink ((* :> AuthProtect k tag) sub) (endpoint :: (* :> AuthProtect k tag) sub) :: *

Methods

toLink :: Proxy ((* :> AuthProtect k tag) sub) endpoint -> Link -> MkLink ((* :> AuthProtect k tag) sub) endpoint

HasLink * sub => HasLink * ((:>) * IsSecure sub)

Associated Types

type MkLink ((* :> IsSecure) sub) (endpoint :: (* :> IsSecure) sub) :: *

Methods

toLink :: Proxy ((* :> IsSecure) sub) endpoint -> Link -> MkLink ((* :> IsSecure) sub) endpoint

HasLink * sub => HasLink * ((:>) * (Header' k mods sym a) sub)

Associated Types

type MkLink ((* :> Header' k mods sym a) sub) (endpoint :: (* :> Header' k mods sym a) sub) :: *

Methods

toLink :: Proxy ((* :> Header' k mods sym a) sub) endpoint -> Link -> MkLink ((* :> Header' k mods sym a) sub) endpoint

(KnownSymbol sym, HasLink * sub) => HasLink * ((:>) * (QueryFlag sym) sub)

Associated Types

type MkLink ((* :> QueryFlag sym) sub) (endpoint :: (* :> QueryFlag sym) sub) :: *

Methods

toLink :: Proxy ((* :> QueryFlag sym) sub) endpoint -> Link -> MkLink ((* :> QueryFlag sym) sub) endpoint

(KnownSymbol sym, ToHttpApiData v, HasLink * sub) => HasLink * ((:>) * (QueryParams sym v) sub)

Associated Types

type MkLink ((* :> QueryParams sym v) sub) (endpoint :: (* :> QueryParams sym v) sub) :: *

Methods

toLink :: Proxy ((* :> QueryParams sym v) sub) endpoint -> Link -> MkLink ((* :> QueryParams sym v) sub) endpoint

(KnownSymbol sym, ToHttpApiData v, HasLink * sub, SBoolI (FoldRequired mods)) => HasLink * ((:>) * (QueryParam' mods sym v) sub)

Associated Types

type MkLink ((* :> QueryParam' mods sym v) sub) (endpoint :: (* :> QueryParam' mods sym v) sub) :: *

Methods

toLink :: Proxy ((* :> QueryParam' mods sym v) sub) endpoint -> Link -> MkLink ((* :> QueryParam' mods sym v) sub) endpoint

HasLink * sub => HasLink * ((:>) * RemoteHost sub)

Associated Types

type MkLink ((* :> RemoteHost) sub) (endpoint :: (* :> RemoteHost) sub) :: *

Methods

toLink :: Proxy ((* :> RemoteHost) sub) endpoint -> Link -> MkLink ((* :> RemoteHost) sub) endpoint

HasLink * sub => HasLink * ((:>) * (ReqBody' mods ct a) sub)

Associated Types

type MkLink ((* :> ReqBody' mods ct a) sub) (endpoint :: (* :> ReqBody' mods ct a) sub) :: *

Methods

toLink :: Proxy ((* :> ReqBody' mods ct a) sub) endpoint -> Link -> MkLink ((* :> ReqBody' mods ct a) sub) endpoint

(KnownSymbol sym, HasLink * sub) => HasLink * ((:>) Symbol sym sub)

Associated Types

type MkLink ((Symbol :> sym) sub) (endpoint :: (Symbol :> sym) sub) :: *

Methods

toLink :: Proxy ((Symbol :> sym) sub) endpoint -> Link -> MkLink ((Symbol :> sym) sub) endpoint

type MkLink * ((:>) * HttpVersion sub)

type MkLink * ((:>) * HttpVersion sub) = MkLink * sub

type MkLink * ((:>) * Vault sub)

type MkLink * ((:>) * Vault sub) = MkLink * sub

type MkLink * ((:>) * (BasicAuth realm a) sub)

type MkLink * ((:>) * (BasicAuth realm a) sub) = MkLink * sub

type MkLink * ((:>) * (CaptureAll sym v) sub)

type MkLink * ((:>) * (CaptureAll sym v) sub) = [v] -> MkLink * sub

type MkLink * ((:>) * (Capture' mods sym v) sub)

type MkLink * ((:>) * (Capture' mods sym v) sub) = v -> MkLink * sub

type MkLink * ((:>) * (Description s) sub)

type MkLink * ((:>) * (Description s) sub) = MkLink * sub

type MkLink * ((:>) * (Summary s) sub)

type MkLink * ((:>) * (Summary s) sub) = MkLink * sub

type MkLink * ((:>) * (AuthProtect k tag) sub)

type MkLink * ((:>) * (AuthProtect k tag) sub) = MkLink * sub

type MkLink * ((:>) * IsSecure sub)

type MkLink * ((:>) * IsSecure sub) = MkLink * sub

type MkLink * ((:>) * (Header' k mods sym a) sub)

type MkLink * ((:>) * (Header' k mods sym a) sub) = MkLink * sub

type MkLink * ((:>) * (QueryFlag sym) sub)

type MkLink * ((:>) * (QueryFlag sym) sub) = Bool -> MkLink * sub

type MkLink * ((:>) * (QueryParams sym v) sub)

type MkLink * ((:>) * (QueryParams sym v) sub) = [v] -> MkLink * sub

type MkLink * ((:>) * (QueryParam' mods sym v) sub)

type MkLink * ((:>) * (QueryParam' mods sym v) sub) = If * (FoldRequired mods) v (Maybe v) -> MkLink * sub

type MkLink * ((:>) * RemoteHost sub)

type MkLink * ((:>) * RemoteHost sub) = MkLink * sub

type MkLink * ((:>) * (ReqBody' mods ct a) sub)

type MkLink * ((:>) * (ReqBody' mods ct a) sub) = MkLink * sub

type MkLink * ((:>) Symbol sym sub)

type MkLink * ((:>) Symbol sym sub) = MkLink * sub