summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2022-10-01 16:10:21 +0100
committerjao <jao@gnu.org>2022-10-01 16:10:21 +0100
commit7ef539d28d7f1f0fe9cc11d1339c580d44140bf2 (patch)
tree61c5ab3b12e98300e64c9a0955c4273eb473017f
parentac3b8212a68052f99eba2bd74a2dd8aa9ca2dcb2 (diff)
downloadxmobar-7ef539d28d7f1f0fe9cc11d1339c580d44140bf2.tar.gz
xmobar-7ef539d28d7f1f0fe9cc11d1339c580d44140bf2.tar.bz2
Config.Template refactorings
-rw-r--r--src/Xmobar/Config/Template.hs211
1 files changed, 104 insertions, 107 deletions
diff --git a/src/Xmobar/Config/Template.hs b/src/Xmobar/Config/Template.hs
index 67ed061..407771d 100644
--- a/src/Xmobar/Config/Template.hs
+++ b/src/Xmobar/Config/Template.hs
@@ -28,55 +28,56 @@ import qualified Text.Parsec.Combinator as C
import Text.ParserCombinators.Parsec (Parser)
-import Xmobar.Config.Types
+import qualified Xmobar.Config.Types as T
--- | Runs the template string parser
-parseString :: Config -> String -> [Segment]
+type Context = (T.TextRenderInfo, T.FontIndex, Maybe [T.Action])
+
+retSegment :: Context -> T.Widget -> Parser [T.Segment]
+retSegment (i, idx, as) widget = return [(widget, i, idx, as)]
+
+-- | Run the template string parser
+parseString :: T.Config -> String -> [T.Segment]
parseString c s =
- case P.parse (stringParser ci 0 Nothing) "" s of
- Left _ -> [(Text $ "Could not parse string: " ++ s , ci , 0 , Nothing)]
+ case P.parse (stringParser ci) "" s of
+ Left _ -> [(T.Text $ "Could not parse string: " ++ s, ti, 0, Nothing)]
Right x -> concat x
- where ci = TextRenderInfo (fgColor c) 0 0 []
-
-allParsers :: TextRenderInfo -> FontIndex -> Maybe [Action] -> Parser [Segment]
-allParsers c f a = textParser c f a
- <|> P.try (iconParser c f a)
- <|> P.try (hspaceParser c f a)
- <|> P.try (rawParser c f a)
- <|> P.try (actionParser c f a)
- <|> P.try (fontParser c a)
- <|> P.try (boxParser c f a)
- <|> colorParser c f a
-
--- | Gets the string and combines the needed parsers
-stringParser :: TextRenderInfo -> FontIndex -> Maybe [Action] -> Parser [[Segment]]
-stringParser c f a = C.manyTill (allParsers c f a) C.eof
-
--- | Parses a maximal string without markup.
-textParser :: TextRenderInfo -> FontIndex -> Maybe [Action] -> Parser [Segment]
-textParser c f a = do s <- C.many1 $
- P.noneOf "<" <|>
- P.try (notFollowedBy' (P.char '<')
- (P.try (P.string "fc=") <|>
- P.try (P.string "box") <|>
- P.try (P.string "fn=") <|>
- P.try (P.string "action=") <|>
- P.try (P.string "/action>") <|>
- P.try (P.string "icon=") <|>
- P.try (P.string "hspace=") <|>
- P.try (P.string "raw=") <|>
- P.try (P.string "/fn>") <|>
- P.try (P.string "/box>") <|>
- P.string "/fc>"))
- return [(Text s, c, f, a)]
+ where ci = (ti , 0, Nothing)
+ ti = T.TextRenderInfo (T.fgColor c) 0 0 []
+
+-- | Top level parser reading the full template string
+stringParser :: Context -> Parser [[T.Segment]]
+stringParser c = C.manyTill (allParsers c) C.eof
+
+allParsers :: Context -> Parser [T.Segment]
+allParsers c = foldl (\p fn -> p <|> P.try (fn c)) (textParser c)
+ [ iconParser, hspaceParser, rawParser, actionParser
+ , fontParser, boxParser, colorParser]
+
+-- | Wrapper for notFollowedBy that returns the result of the first parser.
+-- Also works around the issue that, at least in Parsec 3.0.0, notFollowedBy
+-- accepts only parsers with return type Char.
+notFollowedBy' :: Parser a -> Parser b -> Parser a
+notFollowedBy' p e = do x <- p
+ C.notFollowedBy $ P.try (e >> return '*')
+ return x
+
+-- | Parse a maximal string without markup
+textParser :: Context -> Parser [T.Segment]
+textParser c =
+ C.many1 (P.noneOf "<" <|> P.try (notFollowedBy' (P.char '<') trys'))
+ >>= retSegment c . T.Text
+ where trys = P.try . P.string
+ trys' = foldl (\p s -> p <|> trys s) (trys "fc=")
+ [ "box", "fn=", "action=", "/action>", "icon="
+ , "hspace=", "raw=", "/fn>", "/box>", "/fc>"]
-- | Parse a "raw" tag, which we use to prevent other tags from creeping in.
-- The format here is net-string-esque: a literal "<raw=" followed by a
-- string of digits (base 10) denoting the length of the raw string,
-- a literal ":" as digit-string-terminator, the raw string itself, and
-- then a literal "/>".
-rawParser :: TextRenderInfo -> FontIndex -> Maybe [Action] -> Parser [Segment]
-rawParser c f a = do
+rawParser :: Context -> Parser [T.Segment]
+rawParser c = do
P.string "<raw="
lenstr <- C.many1 P.digit
P.char ':'
@@ -85,114 +86,110 @@ rawParser c f a = do
guard ((len :: Integer) <= fromIntegral (maxBound :: Int))
s <- C.count (fromIntegral len) P.anyChar
P.string "/>"
- return [(Text s, c, f, a)]
+ retSegment c (T.Text s)
_ -> mzero
--- | Wrapper for notFollowedBy that returns the result of the first parser.
--- Also works around the issue that, at least in Parsec 3.0.0, notFollowedBy
--- accepts only parsers with return type Char.
-notFollowedBy' :: Parser a -> Parser b -> Parser a
-notFollowedBy' p e = do x <- p
- C.notFollowedBy $ P.try (e >> return '*')
- return x
-
-iconParser :: TextRenderInfo -> FontIndex -> Maybe [Action] -> Parser [Segment]
-iconParser c f a = do
+iconParser :: Context -> Parser [T.Segment]
+iconParser c = do
P.string "<icon="
i <- C.manyTill (P.noneOf ">") (P.try (P.string "/>"))
- return [(Icon i, c, f, a)]
+ retSegment c (T.Icon i)
-hspaceParser :: TextRenderInfo -> FontIndex -> Maybe [Action] -> Parser [Segment]
-hspaceParser c f a = do
+hspaceParser :: Context -> Parser [T.Segment]
+hspaceParser c = do
P.string "<hspace="
pVal <- C.manyTill P.digit (P.try (P.string "/>"))
- return [(Hspace (fromMaybe 0 $ readMaybe pVal), c, f, a)]
+ retSegment c (T.Hspace (fromMaybe 0 $ readMaybe pVal))
-actionParser :: TextRenderInfo -> FontIndex -> Maybe [Action] -> Parser [Segment]
-actionParser c f act = do
+actionParser :: Context -> Parser [T.Segment]
+actionParser (ti, fi, act) = do
P.string "<action="
command <- C.choice [C.between (P.char '`') (P.char '`') (C.many1 (P.noneOf "`")),
C.many1 (P.noneOf ">")]
buttons <- (P.char '>' >> return "1") <|> (P.space >> P.spaces >>
C.between (P.string "button=") (P.string ">") (C.many1 (P.oneOf "12345")))
- let a = Spawn (toButtons buttons) command
+ let a = T.Spawn (toButtons buttons) command
a' = case act of
Nothing -> Just [a]
Just act' -> Just $ a : act'
- s <- C.manyTill (allParsers c f a') (P.try $ P.string "</action>")
+ s <- C.manyTill (allParsers (ti, fi, a')) (P.try $ P.string "</action>")
return (concat s)
-toButtons :: String -> [Button]
+toButtons :: String -> [T.Button]
toButtons = map (\x -> read [x])
--- | Parsers a string wrapped in a color specification.
-colorParser :: TextRenderInfo -> FontIndex -> Maybe [Action] -> Parser [Segment]
-colorParser (TextRenderInfo _ _ _ bs) fidx a = do
+-- | Parse a string wrapped in a color specification
+colorParser :: Context -> Parser [T.Segment]
+colorParser (T.TextRenderInfo _ _ _ bs, fidx, a) = do
c <- C.between (P.string "<fc=") (P.string ">") colors
let colorParts = break (==':') c
- let (ot,ob) = case break (==',') (Prelude.drop 1 $ snd colorParts) of
+ let (ot,ob) = case break (==',') (drop 1 $ snd colorParts) of
(top,',':btm) -> (top, btm)
(top, _) -> (top, top)
- tri = TextRenderInfo (fst colorParts)
+ tri = T.TextRenderInfo (fst colorParts)
(fromMaybe (-1) $ readMaybe ot)
(fromMaybe (-1) $ readMaybe ob)
bs
- s <- C.manyTill (allParsers tri fidx a) (P.try $ P.string "</fc>")
+ s <- C.manyTill (allParsers (tri, fidx, a)) (P.try $ P.string "</fc>")
return (concat s)
+ where colors = C.many1 (P.alphaNum <|> P.char ',' <|> P.char ':' <|> P.char '#')
--- | Parses a string wrapped in a box specification.
-boxParser :: TextRenderInfo -> FontIndex -> Maybe [Action] -> Parser [Segment]
-boxParser (TextRenderInfo cs ot ob bs) f a = do
+-- | Parse a string wrapped in a box specification
+boxParser :: Context -> Parser [T.Segment]
+boxParser (T.TextRenderInfo cs ot ob bs, f, a) = do
c <- C.between (P.string "<box") (P.string ">")
- (C.option "" (C.many1 (P.alphaNum
- <|> P.char '='
- <|> P.char ' '
- <|> P.char '#'
- <|> P.char ',')))
- let b = Box BBFull (BoxOffset C 0) 1 cs (BoxMargins 0 0 0 0)
+ (C.option "" (C.many1 (P.alphaNum
+ <|> P.char '='
+ <|> P.char ' '
+ <|> P.char '#'
+ <|> P.char ',')))
+ let b = T.Box T.BBFull (T.BoxOffset T.C 0) 1 cs (T.BoxMargins 0 0 0 0)
let g = boxReader b (words c)
s <- C.manyTill
- (allParsers (TextRenderInfo cs ot ob (g : bs)) f a)
+ (allParsers (T.TextRenderInfo cs ot ob (g : bs), f, a))
(P.try $ P.string "</box>")
return (concat s)
-boxReader :: Box -> [String] -> Box
+boxReader :: T.Box -> [String] -> T.Box
boxReader b [] = b
-boxReader b (x:xs) = do
- let (param,val) = case break (=='=') x of
- (p,'=':v) -> (p, v)
- (p, _) -> (p, "")
- boxReader (boxParamReader b param val) xs
+boxReader b (x:xs) = boxReader (boxParamReader b param val) xs
+ where (param,val) = case break (=='=') x of
+ (p,'=':v) -> (p, v)
+ (p, _) -> (p, "")
-boxParamReader :: Box -> String -> String -> Box
+boxParamReader :: T.Box -> String -> String -> T.Box
boxParamReader b _ "" = b
-boxParamReader (Box bb off lw fc mgs) "type" val =
- Box (fromMaybe bb $ readMaybe ("BB" ++ val)) off lw fc mgs
-boxParamReader (Box bb (BoxOffset alg off) lw fc mgs) "offset" (a:o) =
- Box bb (BoxOffset align offset) lw fc mgs
+
+boxParamReader (T.Box bb off lw fc mgs) "type" val =
+ T.Box (fromMaybe bb $ readMaybe ("BB" ++ val)) off lw fc mgs
+
+boxParamReader (T.Box bb (T.BoxOffset alg off) lw fc mgs) "offset" (a:o) =
+ T.Box bb (T.BoxOffset align offset) lw fc mgs
where offset = fromMaybe off $ readMaybe o
align = fromMaybe alg $ readMaybe [a]
-boxParamReader (Box bb off lw fc mgs) "width" val =
- Box bb off (fromMaybe lw $ readMaybe val) fc mgs
-boxParamReader (Box bb off lw _ mgs) "color" val =
- Box bb off lw val mgs
-boxParamReader (Box bb off lw fc mgs@(BoxMargins mt mr mb ml)) ('m':pos) val = do
+
+boxParamReader (T.Box bb off lw fc mgs) "width" val =
+ T.Box bb off (fromMaybe lw $ readMaybe val) fc mgs
+
+boxParamReader (T.Box bb off lw _ mgs) "color" val =
+ T.Box bb off lw val mgs
+
+boxParamReader (T.Box bb off lw fc mgs@(T.BoxMargins mt mr mb ml)) ('m':pos) v =
let mgs' = case pos of
- "t" -> BoxMargins (fromMaybe mt $ readMaybe val) mr mb ml
- "r" -> BoxMargins mt (fromMaybe mr $ readMaybe val) mb ml
- "b" -> BoxMargins mt mr (fromMaybe mb $ readMaybe val) ml
- "l" -> BoxMargins mt mr mb (fromMaybe ml $ readMaybe val)
- _ -> mgs
- Box bb off lw fc mgs'
+ "t" -> T.BoxMargins (maybeVal mt) mr mb ml
+ "r" -> T.BoxMargins mt (maybeVal mr) mb ml
+ "b" -> T.BoxMargins mt mr (maybeVal mb) ml
+ "l" -> T.BoxMargins mt mr mb (maybeVal ml)
+ _ -> mgs
+ maybeVal d = fromMaybe d (readMaybe v)
+ in T.Box bb off lw fc mgs'
+
boxParamReader b _ _ = b
--- | Parsers a string wrapped in a font specification.
-fontParser :: TextRenderInfo -> Maybe [Action] -> Parser [Segment]
-fontParser c a = do
- f <- C.between (P.string "<fn=") (P.string ">") colors
- s <- C.manyTill (allParsers c (fromMaybe 0 $ readMaybe f) a) (P.try $ P.string "</fn>")
+-- | Parse a string wrapped in a font specification
+fontParser :: Context -> Parser [T.Segment]
+fontParser (i, _, a) = do
+ f <- C.between (P.string "<fn=") (P.string ">") (C.many1 P.digit)
+ s <- C.manyTill (allParsers (i, fromMaybe 0 $ readMaybe f, a))
+ (P.try $ P.string "</fn>")
return (concat s)
-
--- | Parses a color specification (hex or named)
-colors :: Parser String
-colors = C.many1 (P.alphaNum <|> P.char ',' <|> P.char ':' <|> P.char '#')