@@ -72,8 +72,7 @@
73-- >>> let bad_link = Proxy :: Proxy ("hello" :> Delete '[JSON] ())
73-- >>> let bad_link = Proxy :: Proxy ("hello" :> Delete '[JSON] ())
74-- >>> safeLink api bad_link
74-- >>> safeLink api bad_link
75−-- <BLANKLINE>
75+-- ...
76−-- <interactive>:64:1:
77-- Could not deduce (Or
76-- Could not deduce (Or
78-- (IsElem' (Delete '[JSON] ()) (Get '[JSON] Int))
77-- (IsElem' (Delete '[JSON] ()) (Get '[JSON] Int))
79-- (IsElem'
78-- (IsElem'
@@ -168,7 +167,8 @@ type family IsElem endpoint api :: Constraint where
168 IsElem (e :> sa) (e :> sb) = IsElem sa sb
167 IsElem (e :> sa) (e :> sb) = IsElem sa sb
169 IsElem sa (Header x :> sb) = IsElem sa sb
168 IsElem sa (Header x :> sb) = IsElem sa sb
170 IsElem sa (ReqBody y x :> sb) = IsElem sa sb
169 IsElem sa (ReqBody y x :> sb) = IsElem sa sb
171− IsElem (e :> sa) (Capture x y :> sb) = IsElem sa sb
170+ IsElem (Capture z y :> sa) (Capture x y :> sb)
172 IsElem sa (QueryParam x y :> sb) = IsElem sa sb
172 IsElem sa (QueryParam x y :> sb) = IsElem sa sb
173 IsElem sa (QueryParams x y :> sb) = IsElem sa sb
173 IsElem sa (QueryParams x y :> sb) = IsElem sa sb
174 IsElem sa (QueryFlag x :> sb) = IsElem sa sb
174 IsElem sa (QueryFlag x :> sb) = IsElem sa sb