eeva/servant
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Make HasDocs instance for :<|> overlappable.

Browse source 
That way it's easier to document that the endpoints on the LHS "fall
        through" to the RHS.
This commit is contained in:
Julian K. Arni 2015-07-14 15:57:36 +02:00
parent 3209f98985
commit e29acc0825
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
servant-docs/src/Servant/Docs/Internal.hs
View file

@ -624,7 +624,11 @@ markdown api = unlines $
-- | The generated docs for @a ':<|>' b@ just appends the docs -- | The generated docs for @a ':<|>' b@ just appends the docs
-- for @a@ with the docs for @b@. -- for @a@ with the docs for @b@.
instance (HasDocs layout1, HasDocs layout2) instance
#if MIN_VERSION_base(4,8,0)
{-# OVERLAPPABLE #-}
#endif
(HasDocs layout1, HasDocs layout2)
=> HasDocs (layout1 :<|> layout2) where => HasDocs (layout1 :<|> layout2) where
docsFor Proxy (ep, action) = docsFor p1 (ep, action) <> docsFor p2 (ep, action) docsFor Proxy (ep, action) = docsFor p1 (ep, action) <> docsFor p2 (ep, action)