blob: 33474dae7321d2a6abf87f4d22aa9205c1f1820f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
module Types where
data FlagType = StaticFlag
-- ^ Static flag
| 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 "" ""
|