aboutsummaryrefslogblamecommitdiff
path: root/html-test/src/GADTRecords.hs
blob: dcbbb870988fdaab8039a9d9e6841cd564e63ac8 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
                      




                                 


                                      
{-# LANGUAGE GADTs #-}
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