diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2014-08-09 20:46:59 +0100 |
---|---|---|
committer | Jesse Rosenthal <jrosenthal@jhu.edu> | 2014-08-09 22:37:12 -0400 |
commit | 504465c6a39a2fe8c5ecf744afa328f21ef250df (patch) | |
tree | 5e418f4259100e35b8ae1bcc011fc8a51eff6db7 /lib/fonts/parseUnicodeMapping.hs | |
parent | 2deaa7096f186c3a87a2cbf4f3ca8a042328246e (diff) | |
download | pandoc-504465c6a39a2fe8c5ecf744afa328f21ef250df.tar.gz |
lib: Added symbol.txt and file to generate codepoint to unicode mapping
Diffstat (limited to 'lib/fonts/parseUnicodeMapping.hs')
-rw-r--r-- | lib/fonts/parseUnicodeMapping.hs | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/lib/fonts/parseUnicodeMapping.hs b/lib/fonts/parseUnicodeMapping.hs new file mode 100644 index 000000000..4f7ff692b --- /dev/null +++ b/lib/fonts/parseUnicodeMapping.hs @@ -0,0 +1,40 @@ +import System.FilePath +import Text.Parsec +import Data.Char +import System.Environment +import Control.Applicative hiding (many) +import Data.List + +main :: IO () +main = (head <$> getArgs) >>= parseUnicodeMapping + + +parseUnicodeMapping :: FilePath -> IO () +parseUnicodeMapping fname = do + fin <- readFile fname + let mapname = dropExtension . takeFileName $ fname + let res = runParse fin + let header = "-- Generated from " ++ fname ++ "\n" ++ + mapname ++ " :: [(Char, Char)]\n" ++ mapname ++" =\n [ " + let footer = "]" + writeFile (replaceExtension fname ".hs") + (header ++ (concat $ intersperse "\n , " (map show res)) ++ footer) + +type Unicode = Char + +runParse :: String -> [(Char, Unicode)] +runParse s= either (error . show) id (parse parseMap "" s) + +anyline = manyTill anyChar newline + +getHexChar :: Parsec String () Char +getHexChar = do + [(c,_)] <- readLitChar . ("\\x" ++) <$> many1 hexDigit + return c + +parseMap :: Parsec String () [(Char, Unicode)] +parseMap = do + skipMany (char '#' >> anyline) + many (flip (,) <$> getHexChar <* tab <*> getHexChar <* anyline) + + |