blob: 79ffb4d3972f2dbabdcaf017853217c11ff20ad3 (
plain) (
tree)
|
|
{-# 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'
|