latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs


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'