utils/mkUserGuidePart/Types.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

module Types where

data FlagType = DynamicFlag
                -- ^ Dynamic flag
              | DynamicSettableFlag
                -- ^ Dynamic flag on which @:set@ can be used in GHCi
              | ModeFlag
                -- ^ A mode of execution (e.g. @--mode@)

data Flag = Flag { flagName :: String
                 , flagDescription :: String
                 , flagType :: FlagType
                 , flagReverse :: String
                 , flagSince :: String
                 }

flag :: Flag
flag = Flag "" "" DynamicFlag "" ""