Move comment out of haddocks.

This commit is contained in:
Christian Marie 2015-05-15 10:37:18 +10:00
parent 1e9a5eedb9
commit d1b904372d

View file

@ -137,10 +137,9 @@ data Link = Link
} deriving Show } deriving Show
-- | If either a or b produce an empty constraint, produce an empty constraint. -- | If either a or b produce an empty constraint, produce an empty constraint.
--
-- This works because of:
-- https://ghc.haskell.org/trac/ghc/wiki/NewAxioms/CoincidentOverlap
type family Or (a :: Constraint) (b :: Constraint) :: Constraint where type family Or (a :: Constraint) (b :: Constraint) :: Constraint where
-- This works because of:
-- https://ghc.haskell.org/trac/ghc/wiki/NewAxioms/CoincidentOverlap
Or () b = () Or () b = ()
Or a () = () Or a () = ()