1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
module Types where
data TargetFormat = PS | PNG
deriving(Eq, Ord, Show, Read)
-- | Parameters the user can set at the command-line.
data Params =
Params {
-- | The maximum number of steps to visualize (the whole file is
-- always loaded, but only this many are rendered).
maxSteps :: Maybe Integer,
-- | The first step to start rendering.
firstStep :: Maybe Integer,
-- | Whether to display promotions as nodes.
showPromotions :: Bool,
-- | Where and whether to send dot output.
dotOutput :: Maybe String,
-- | The target output format.
targetFormat :: Maybe TargetFormat
} deriving(Eq, Ord, Show)
defaultParams = Params { maxSteps = Nothing,
firstStep = Nothing,
showPromotions = False,
dotOutput = Nothing,
targetFormat = Nothing }
|
