module Anansi.Loom.LaTeX (loomLaTeX) where
import qualified Data.Text.Lazy as TL
import Control.Monad (forM_)
import Control.Monad.Writer (Writer, tell)
import qualified Control.Monad.State as S
import Anansi.Types
import Anansi.Loom
data LoomState = LoomState { stateTabSize :: Integer }
type LoomM = S.StateT LoomState (Writer TL.Text)
loomLaTeX :: Loom
loomLaTeX = Loom "latex" (\bs -> S.evalStateT (mapM_ putBlock bs) initState) where
initState = LoomState 8
putBlock b = case b of
BlockText text -> tell text
BlockFile path content -> do
tell "\\begin{alltt}\n"
tell "{\\bf\\(\\gg\\) "
tell =<< escape path
tell "}\n"
putContent content
tell "\\end{alltt}\n"
BlockDefine name content -> do
tell "\\begin{alltt}\n"
tell "{\\bf\\(\\ll\\)"
tell =<< escape name
tell "\\(\\gg\\)}\n"
putContent content
tell "\\end{alltt}\n"
BlockOption key value -> if key == "tab-size"
then S.put (LoomState (read (TL.unpack value)))
else return ()
putContent cs = forM_ cs $ \c -> case c of
ContentText _ text -> tell =<< escape (TL.append text "\n")
ContentMacro _ indent name -> tell =<< formatMacro indent name
formatMacro indent name = do
escIndent <- escape indent
escName <- escape name
return $ TL.concat [escIndent, "|\\emph{", escName, "}|\n"]
escape :: TL.Text -> LoomM TL.Text
escape text = do
tabSize <- S.gets stateTabSize
return $ TL.concatMap (\c -> case c of
'\t' -> TL.replicate (fromInteger tabSize) (TL.singleton ' ')
'\\' -> "\\textbackslash{}"
'{' -> "\\{"
'}' -> "\\}"
'_' -> "\\_"
_ -> TL.singleton c) text