@@ -106,6 +106,7 @@ import Prelude ()
106import Prelude.Compat
106import Prelude.Compat
108import Web.HttpApiData
108import Web.HttpApiData
109+import Servant.API.BasicAuth ( BasicAuth )
109import Servant.API.Capture ( Capture )
110import Servant.API.Capture ( Capture )
110import Servant.API.ReqBody ( ReqBody )
111import Servant.API.ReqBody ( ReqBody )
111import Servant.API.QueryParam ( QueryParam, QueryParams, QueryFlag )
112import Servant.API.QueryParam ( QueryParam, QueryParams, QueryFlag )
@@ -291,6 +292,10 @@ instance HasLink sub => HasLink (RemoteHost :> sub) where
291 type MkLink (RemoteHost :> sub) = MkLink sub
292 type MkLink (RemoteHost :> sub) = MkLink sub
292 toLink _ = toLink (Proxy :: Proxy sub)
293 toLink _ = toLink (Proxy :: Proxy sub)
295+instance HasLink sub => HasLink (BasicAuth realm a :> sub) where
296+ type MkLink (BasicAuth realm a :> sub) = MkLink sub
297+ toLink _ = toLink (Proxy :: Proxy sub)
294-- Verb (terminal) instances
299-- Verb (terminal) instances
295instance HasLink (Verb m s ct a) where
300instance HasLink (Verb m s ct a) where
296 type MkLink (Verb m s ct a) = URI
301 type MkLink (Verb m s ct a) = URI