# GADTRecords

|  | Contents | Index

GADTRecords

Synopsis

data H1 a b where

C1 :: H1 a b
C2 :: Ord a => [a] -> H1 a a

C3 :: {

field :: Int

} -> H1 Int Int

C4 :: {

field2 :: a

} -> H1 Int a

Documentation
data H1 a b where

h1
Constructors

C1 :: H1 a b |
C2 :: Ord a => [a] -> H1 a a |
C3 :: Int -> H1 Int Int |

field :: Int | hello docs

C4 :: a -> H1 Int a |

field2 :: a | hello2 docs

Produced by Haddock version 2.5.0