fix haddock

mstksg · Aug 9, 2019 · 81e7469 · 81e7469
1 parent 6ed614a
commit 81e7469
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 4 deletions.
diff --git a/src/Data/Type/Predicate/Auto.hs b/src/Data/Type/Predicate/Auto.hs
@@ -43,6 +43,7 @@ import           Data.List.NonEmpty                 (NonEmpty(..))
 import           Data.Singletons
 import           Data.Singletons.Sigma
 import           Data.Type.Equality
+import           Data.Type.Functor.Product
 import           Data.Type.Predicate
 import           Data.Type.Predicate.Logic
 import           Data.Type.Predicate.Param
@@ -311,4 +312,3 @@ autoNotAll = anyNotNotAll sing . autoAny
 instance (SingI as, AutoAll f (Not (Found p)) as) => Auto (Not (Found (AnyMatch f p))) as where
     auto = mapRefuted (\(s :&: WitAny i p) -> WitAny i (s :&: p))
          $ auto @_ @(Not (Any f (Found p))) @as
-
diff --git a/src/Data/Type/Predicate/Logic.hs b/src/Data/Type/Predicate/Logic.hs
@@ -208,7 +208,7 @@ atom = const
 
 -- | We cannot have both @p@ and @'Not' p@.
 --
--- (Renamed in v0.1.4.0; used to be 'excludedMiddle')
+-- (Renamed in v0.1.4.0; used to be @excludedMiddle@)
 --
 -- @since 0.1.4.0
 complementation :: forall p. (p &&& Not p) --> Impossible

diff --git a/src/Data/Type/Universe.hs b/src/Data/Type/Universe.hs
@@ -35,8 +35,6 @@ module Data.Type.Universe (
   , singAll
   -- ** Instances
   , Index(..), IJust(..), IRight(..), NEIndex(..), ISnd(..), IIdentity(..)
-  -- , CompElem(..), SumElem(..)
-  -- , sameIndexVal, sameNEIndexVal
   -- ** Predicates
   , All, WitAll(..), NotAll
   , Any, WitAny(..), None