aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/GadtConstructorArgs.hs
blob: 79ffb4d3972f2dbabdcaf017853217c11ff20ad3 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
{-# LANGUAGE GADTs, PatternSynonyms #-}

module GadtConstructorArgs (Boo(..)) where

data Boo where
  Fot :: { x :: Int  -- ^ an 'x'
         , y :: Int  -- ^ a 'y'
         } -> Boo

  -- | Record GADT with docs
  Fob :: { w :: Int  -- ^ a 'w'
         , z :: Int  -- ^ a 'z'
         } -> Boo    -- ^ a 'Boo'