[add test for GADT records Isaac Dupree **20090721220325 Ignore-this: 1e0d460862b5f037c132a811cd02738d ] { addfile ./tests/tests/GADTRecords.hs hunk ./tests/tests/GADTRecords.hs 1 + +module GADTRecords (H1(..)) where + +-- | h1 +data H1 a b where + C1 :: H1 a b + C2 :: Ord a => [a] -> H1 a a + C3 { field :: Int -- ^ hello docs + } :: H1 Int Int + C4 { field2 :: a -- ^ hello2 docs + } :: H1 Int a + addfile ./tests/tests/GADTRecords.html.ref hunk ./tests/tests/GADTRecords.html.ref 1 + + +GADTRecords
ContentsIndex
GADTRecords
Synopsis
data H1 a b where
C1 :: H1 a b
C2 :: Ord a => [a] -> H1 a a
C3 :: {
field :: Int
} -> H1 Int Int
C4 :: {
field2 :: a
} -> H1 Int a
Documentation
data H1 a b where
h1 +
Constructors
C1 :: H1 a b
C2 :: Ord a => [a] -> H1 a a
C3 :: Int -> H1 Int Int
field :: Inthello docs +
C4 :: a -> H1 Int a
field2 :: ahello2 docs +
Produced by Haddock version 2.5.0
}