aboutsummaryrefslogtreecommitdiff
path: root/html-test/src/GadtConstructorArgs.hs
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/src/GadtConstructorArgs.hs')
-rw-r--r--html-test/src/GadtConstructorArgs.hs13
1 files changed, 13 insertions, 0 deletions
diff --git a/html-test/src/GadtConstructorArgs.hs b/html-test/src/GadtConstructorArgs.hs
new file mode 100644
index 00000000..79ffb4d3
--- /dev/null
+++ b/html-test/src/GadtConstructorArgs.hs
@@ -0,0 +1,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'