From c7c6c054a5195b1ad992d52c417e3ed2b42e2955 Mon Sep 17 00:00:00 2001
From: Oleg Grenrus <oleg.grenrus@iki.fi>
Date: Mon, 16 Jan 2017 14:36:51 +0200
Subject: [PATCH] Add Logic subsection to the export list

---
 servant/src/Servant/API/TypeLevel.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/servant/src/Servant/API/TypeLevel.hs b/servant/src/Servant/API/TypeLevel.hs
index 2a7aeb44..3cb8076b 100644
--- a/servant/src/Servant/API/TypeLevel.hs
+++ b/servant/src/Servant/API/TypeLevel.hs
@@ -38,6 +38,7 @@ module Servant.API.TypeLevel (
     IsSubList,
     Elem,
     ElemGo,
+    -- ** Logic
     Or,
     And,
     -- * Custom type errors