From 3c83f615caf0ca24cec062fc03d75541a2e81647 Mon Sep 17 00:00:00 2001
From: Oleg Grenrus <oleg.grenrus@iki.fi>
Date: Mon, 16 Jan 2017 13:54:00 +0200
Subject: [PATCH] Write explicit export list in Servant.API.TypeLevel

---
 servant/src/Servant/API/TypeLevel.hs | 30 +++++++++++++++++++++++++++-
 1 file changed, 29 insertions(+), 1 deletion(-)

diff --git a/servant/src/Servant/API/TypeLevel.hs b/servant/src/Servant/API/TypeLevel.hs
index 13813b17..2a7aeb44 100644
--- a/servant/src/Servant/API/TypeLevel.hs
+++ b/servant/src/Servant/API/TypeLevel.hs
@@ -18,7 +18,32 @@ The code samples in this module use the following type synonym:
 >             :<|> "bye" :> Capture "name" String :> Post '[JSON, PlainText] Bool
 
 -}
-module Servant.API.TypeLevel where
+module Servant.API.TypeLevel (
+    -- $setup
+    -- * API predicates
+    Endpoints,
+    -- ** Lax inclusion
+    IsElem',
+    IsElem,
+    IsSubAPI,
+    AllIsElem,
+    -- ** Strict inclusion
+    IsIn,
+    IsStrictSubAPI,
+    AllIsIn,
+    -- * Helpers
+    -- ** Lists
+    MapSub,
+    AppendList,
+    IsSubList,
+    Elem,
+    ElemGo,
+    Or,
+    And,
+    -- * Custom type errors
+    -- | Before @base-4.9.0.0@ we use non-exported 'ElemNotFoundIn' class,
+    -- which cannot be instantiated.
+    ) where
 
 
 import           GHC.Exts                (Constraint)
@@ -223,6 +248,9 @@ families are not evaluated (see https://ghc.haskell.org/trac/ghc/ticket/12048).
 
 
 -- $setup
+--
+-- The doctests in this module are run with following preamble:
+--
 -- >>> :set -XPolyKinds
 -- >>> :set -XGADTs
 -- >>> import Data.Proxy