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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
module Options.Interactive where
import Types
interactiveOptions :: [Flag]
interactiveOptions =
[ flag { flagName = "-ignore-dot-ghci"
, flagDescription = "Disable reading of ``.ghci`` files"
, flagType = DynamicFlag
}
, flag { flagName = "-ghci-script"
, flagDescription = "Read additional ``.ghci`` files"
, flagType = DynamicFlag
}
, flag { flagName = "-fbreak-on-error"
, flagDescription =
":ref:`Break on uncaught exceptions and errors " ++
"<ghci-debugger-exceptions>`"
, flagType = DynamicFlag
, flagReverse = "-fno-break-on-error"
}
, flag { flagName = "-fbreak-on-exception"
, flagDescription =
":ref:`Break on any exception thrown <ghci-debugger-exceptions>`"
, flagType = DynamicFlag
, flagReverse = "-fno-break-on-exception"
}
, flag { flagName = "-fghci-hist-size=⟨n⟩"
, flagDescription =
"Set the number of entries GHCi keeps for ``:history``." ++
" See :ref:`ghci-debugger`."
, flagType = DynamicFlag
, flagReverse = ""
}
, flag { flagName = "-fprint-evld-with-show"
, flagDescription =
"Enable usage of ``Show`` instances in ``:print``. "++
"See :ref:`breakpoints`."
, flagType = DynamicFlag
, flagReverse = "-fno-print-evld-with-show"
}
, flag { flagName = "-fprint-bind-result"
, flagDescription =
":ref:`Turn on printing of binding results in GHCi <ghci-stmts>`"
, flagType = DynamicFlag
, flagReverse = "-fno-print-bind-result"
}
, flag { flagName = "-fno-print-bind-contents"
, flagDescription =
":ref:`Turn off printing of binding contents in GHCi <breakpoints>`"
, flagType = DynamicFlag
}
, flag { flagName = "-fno-implicit-import-qualified"
, flagDescription =
":ref:`Turn off implicit qualified import of everything in GHCi " ++
"<ghci-import-qualified>`"
, flagType = DynamicFlag
}
, flag { flagName = "-interactive-print ⟨expr⟩"
, flagDescription =
":ref:`Select the function to use for printing evaluated " ++
"expressions in GHCi <ghci-interactive-print>`"
, flagType = DynamicFlag
}
]
|
