e29acc0 · typeable/servant

git.iko.soy/typeable/servant

Make HasDocs instance for :<|> overlappable.

That way it's easier to document that the endpoints on the LHS "fall through" to the RHS.

commite29acc0825a6199b3a61a383d8e4cf4b99140646 authorJulian K. Arni <jkarni@gmail.com> dateTue 14 Jul 2015, 15:57 (11 years ago) parent3209f98

1 file changed+5−1

unifiedsplit

servant-docs/src/Servant/Docs/Internal.hs+5−1

@@ -624,7 +624,11 @@ markdown api = unlines $

624624

625625-- | The generated docs for @a ':<|>' b@ just appends the docs

626626-- for @a@ with the docs for @b@.

627−instance (HasDocs layout1, HasDocs layout2)

627+instance

628+#if MIN_VERSION_base(4,8,0)

629+ {-# OVERLAPPABLE #-}

630+#endif

631+ (HasDocs layout1, HasDocs layout2)

628632 => HasDocs (layout1 :<|> layout2) where

629633

630634 docsFor Proxy (ep, action) = docsFor p1 (ep, action) <> docsFor p2 (ep, action)