Versionbump: Removed redundant constraints.
This commit is contained in:
parent
edd2cb3838
commit
b70a13e1c3
@ -188,7 +188,7 @@ instance (HasRoute sub, Typeable mods) => HasRoute (CaptureBearerToken' mods :>
|
|||||||
ServantApiRoute (_ :: Proxy endpoint) f ps qs -> ServantApiRoute (Proxy @(CaptureBearerToken' mods :> endpoint)) f ps qs
|
ServantApiRoute (_ :: Proxy endpoint) f ps qs -> ServantApiRoute (Proxy @(CaptureBearerToken' mods :> endpoint)) f ps qs
|
||||||
ServantApiBaseRoute -> ServantApiBaseRoute
|
ServantApiBaseRoute -> ServantApiBaseRoute
|
||||||
|
|
||||||
instance (KnownSymbol sym, HasRoute sub, HasLink sub) => HasRoute (sym :> sub) where
|
instance (KnownSymbol sym, HasRoute sub) => HasRoute (sym :> sub) where
|
||||||
parseServantRoute (p : ps, qs)
|
parseServantRoute (p : ps, qs)
|
||||||
| p == escapedSymbol (Proxy @sym)
|
| p == escapedSymbol (Proxy @sym)
|
||||||
= parseServantRoute @sub @(ServantApiDirect sub) (ps, qs) <&> \case
|
= parseServantRoute @sub @(ServantApiDirect sub) (ps, qs) <&> \case
|
||||||
|
|||||||
Reference in New Issue
Block a user