Permalink
Browse files

haddock coverage for Identical

  • Loading branch information...
1 parent e868455 commit 6ecbe3d2aa19bb0402d0d979129de925f0f1d22a @ekmett committed Jan 21, 2013
Showing with 1 addition and 0 deletions.
  1. +1 −0 src/Control/Lens/Equality.hs
@@ -38,6 +38,7 @@ import Control.Lens.Type
-- Equality
-----------------------------------------------------------------------------
+-- | Provides witness that @(s ~ a, b ~ t)@ holds.
data Identical a b s t where
Identical :: Identical a b a b

0 comments on commit 6ecbe3d

Please sign in to comment.