1 module DisplayOptions where
3 import Data.List ((\\))
6 data What = NodeLabel | NodeInfo | EdgeLabel | EdgeInfo deriving (Eq)
8 data DisplayOptions = DP
9 { dpShowInfo :: ShowInfo
12 standard :: DisplayOptions
15 toggle :: What -> DisplayOptions -> DisplayOptions
16 toggle w (DP opts) = DP (if w `elem` opts then opts\\[w] else w:opts)