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) a :: *

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

(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) a :: *

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

(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) a :: *

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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