The contained API (second argument) can be found under ("/" ++ path)
(path being the first argument).
Example:
-- GET /hello/world-- returning a JSON encoded World valuetype MyApi = "hello" :> "world" :> Get '[JSON] World
Instances43HasLink, MkLink, …
TypeError (NoInstanceForSub HasLink ty) => HasLink (ty :> sub)Defined in servant-0.20.3.0 · Servant.LinksTypeError (PartialApplication HasLink arr) => HasLink (arr :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (HttpVersion :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (BasicAuth realm a :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (Description s :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (Summary s :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (AuthProtect tag :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (Header' mods sym a :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (IsSecure :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (RemoteHost :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (ReqBody' mods ct a :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (StreamBody' mods framing ct a :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (WithResource res :> sub)Defined in servant-0.20.3.0 · Servant.LinksHasLink sub => HasLink (Vault :> sub)Defined in servant-0.20.3.0 · Servant.Links(KnownSymbol sym, ToHttpApiData v, HasLink sub) => HasLink (QueryParams sym v :> sub)Defined in servant-0.20.3.0 · Servant.Links(KnownSymbol sym, ToHttpApiData v, HasLink sub, SBoolI (FoldRequired mods)) => HasLink (QueryParam' mods sym v :> sub)Defined in servant-0.20.3.0 · Servant.Links(KnownSymbol sym, ToDeepQuery record, HasLink sub) => HasLink (DeepQuery sym record :> sub)Defined in servant-0.20.3.0 · Servant.Links(KnownSymbol sym, HasLink sub) => HasLink (QueryFlag sym :> sub)Defined in servant-0.20.3.0 · Servant.Links(KnownSymbol sym, HasLink sub) => HasLink (sym :> sub)Defined in servant-0.20.3.0 · Servant.Links(ToHttpApiData v, HasLink sub) => HasLink (Capture' mods sym v :> sub)Defined in servant-0.20.3.0 · Servant.Links(ToHttpApiData v, HasLink sub) => HasLink (CaptureAll sym v :> sub)Defined in servant-0.20.3.0 · Servant.Links(HasLink sub, ToHttpApiData v) => HasLink (Fragment v :> sub)Defined in servant-0.20.3.0 · Servant.Linkstype MkLink (HttpVersion :> sub) a = MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (BasicAuth realm a :> sub) r = MkLink sub rDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (Capture' mods sym v :> sub) a = v -> MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (CaptureAll sym v :> sub) a = [v] -> MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (Description s :> sub) a = MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (Summary s :> sub) a = MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (AuthProtect tag :> sub) a = MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (Fragment v :> sub) a = v -> MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (Header' mods sym a :> sub) r = MkLink sub rDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (IsSecure :> sub) a = MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (QueryFlag sym :> sub) a = Bool -> MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (QueryParam' mods sym v :> sub) a = If (FoldRequired mods) v (Maybe v) -> MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (QueryParams sym v :> sub) a = [v] -> MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (DeepQuery sym record :> sub) a = record -> MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (RemoteHost :> sub) a = MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (ReqBody' mods ct a :> sub) r = MkLink sub rDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (StreamBody' mods framing ct a :> sub) r = MkLink sub rDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (WithResource res :> sub) a = MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (Vault :> sub) a = MkLink sub aDefined in servant-0.20.3.0 · Servant.Linkstype MkLink (arr :> sub) _1 = TypeError (PartialApplication HasLink arr)Defined in servant-0.20.3.0 · Servant.Linkstype MkLink (sym :> sub) a = MkLink sub aDefined in servant-0.20.3.0 · Servant.Links