module MarXup.Latex where
import MarXup
import MarXup.Verbatim
import Control.Monad (forM_,when,forM)
import MarXup.Tex
import Data.List (intersperse,groupBy,elemIndex,nub,intercalate)
import Data.Monoid
import Data.Function (on)
mkrows,mkcols :: [TeX] -> TeX
mkrows ls = sequence_ $ intersperse newline ls
mkcols = sequence_ . intersperse newcol
vspace, hspace :: String -> TeX
vspace = cmd "vspace" . tex
hspace = cmd "hspace" . tex
hfill :: TeX
hfill = cmd0 "hfill"
title :: TeX -> TeX
title = cmd "title"
type AuthorInfoStyle = ClassFile
data AuthorInfo = AuthorInfo {authorName :: String, authorEmail :: String, authorInst :: String}
authorinfo :: [AuthorInfo] -> Tex ()
authorinfo as = do c<-askClass; authorinfo' c as
authorinfo' :: AuthorInfoStyle -> [AuthorInfo] -> TeX
authorinfo' LNCS as = do
cmd "author" $ mconcat $ intersperse (cmd0 "and") $ map oneauthor as
cmd "institute" $ mconcat $ intersperse (cmd0 "and") $ map textual $ insts
where oneauthor AuthorInfo{..} = textual authorName <> (if length insts > 1 then cmd "inst" (textual $ show $ 1 + instIdx) else mempty)
where Just instIdx = elemIndex authorInst insts
insts = nub $ map authorInst as
authorinfo' SIGPlan as = forM_ (groupBy ((==) `on` authorInst) as) $ \ (g@((AuthorInfo _ _ institution):_)) -> do
let names = map authorName g
emails = mconcat $ intersperse (cmd0 "and") $ map (textual . authorEmail) g
cmdn "authorinfo" [mconcat $ intersperse (cmd0 "and") $ map textual names, textual institution, emails]
return ()
authorinfo' EPTCS as = mconcat $ intersperse and' $
flip map (groupBy ((==) `on` authorInst) as) $ \ (g@((AuthorInfo _ _ institution):_)) -> do
cmd "author" $ do
mconcat $ intersperse dquad $ map (textual . authorName) g
cmd "institute" $ textual institution
cmd "email" $ mconcat $ intersperse dquad $ map (textual . authorEmail) g
return ()
where dquad = cmd0 "quad" <> cmd0 "quad"
and' = cmd0 "and"
authorinfo' Beamer as = do
cmd "author" $ mconcat $ intersperse (cmd0 "and") $ flip map as $ \a -> do
textual $ authorName a
case elemIndex (authorInst a) institutions of
Nothing -> textual $ "error: could not find " ++ (authorInst a)
Just idx -> inst idx
cmd "institute" $
forM_ (zip institutions [0..]) $ \(i,idx) -> do
inst idx
textual i
return ()
where institutions = nub $ map authorInst $ as
inst :: Int -> TeX
inst i = when (length institutions > 1) $ cmd "inst" $ tex $ show (i+1)
authorinfo' IEEE as = cmd "author" $ do
cmd "IEEEauthorblockN" $ mconcat $ intersperse (hspace "1cm") $ map (textual . authorName) as
tex "\n\n"
cmd "IEEEauthorblockA" $ mkrows $ [textual inst,"email: " <> textual (mconcat $ intersperse " " $ map authorEmail as)]
where (AuthorInfo {authorInst = inst}:_) = as
authorinfo' _ as = cmd "author" $ mconcat $ intersperse (cmd0 "and") $ map oneauthor as
where oneauthor (AuthorInfo name _ institution) = textual name <> newline <> textual institution
keywords :: [String] -> TeX
keywords ks = do
classFile <- askClass
case classFile of
Plain -> do
paragraph "keywords"
mconcat $ intersperse ", " $ map textual ks
return ()
LNCS -> do cmd "keywords" $ mconcat $ intersperse ", " $ map textual ks
IEEE -> env "IEEEkeywords" $ do mconcat $ intersperse ", " $ map textual ks
SIGPlan -> do cmd0 "keywords"
mconcat $ intersperse ", " $ map textual ks
_ -> return ()
acknowledgements :: Tex a -> Tex a
acknowledgements body = do
classFile <- askClass
case classFile of
SIGPlan -> cmd0 "acks" >> body
_ -> do paragraph "acknowledgements"
body
newline :: TeX
newline = backslash <> backslash
newcol :: TeX
newcol = tex "&"
newpara :: Tex ()
newpara = texLn "\\par"
maketitle :: Tex ()
maketitle = cmd "maketitle" $ return ()
ldots :: TeX
ldots = cmd "ldots" (return ())
section,subsection,subsubsection,paragraph :: TeX -> Tex SortedLabel
section s = cmd "section" s >> label "Sec."
subsection s = cmd "subsection" s >> label "Sec."
subsubsection s = cmd "subsubsection" s >> label "Sec."
paragraph s = cmd "paragraph" s >> label "Sec."
color :: String -> Tex a -> Tex a
color col bod = do
[_,x] <- cmdn' "textcolor" [] [tex col >> return undefined, bod]
return x
usepackage :: String -> [String] -> Tex ()
usepackage name opts = cmd' "usepackage" opts (tex name)
stdPreamble :: TeX
stdPreamble = do
usepackage "graphicx" []
usepackage "ifxetex" []
cmd0 "ifxetex"
usepackage "fontspec" []
usepackage "newunicodechar" []
mapM_ texLn ["\\newcommand{\\DeclareUnicodeCharacter}[2]{%"
,"\\begingroup\\lccode`|=\\string\"#1\\relax"
,"\\lowercase{\\endgroup\\newunicodechar{|}}{#2}%"
,"}"]
cmd0 "else"
usepackage "inputenc" ["utf8"]
cmd0 "fi"
return ()
item = cmd0 "item"
enumerate = env "enumerate"
itemize = env "itemize"
itemList :: [TeX] -> TeX
itemList [] = mempty
itemList xs = env "itemize" $ forM_ xs $ \x -> do
cmd0 "item"
x
enumList :: [TeX] -> TeX
enumList [] = mempty
enumList xs = env "enumerate" $ forM_ xs $ \x -> do
cmd0 "item"
x
descList :: [(TeX,TeX)] -> TeX
descList [] = mempty
descList xs = env "enumerate" $ forM_ xs $ \(lab,x) -> do
cmdm "item" [lab] []
x
tabular :: [String] -> String -> [[TeX]] -> TeX
tabular opts format bod = do
env' "tabular" opts $ do
braces (tex format)
mkrows (map mkcols bod)
return ()
center :: Tex a -> Tex a
center = env "center"
figure_ :: TeX -> TeX -> Tex SortedLabel
figure_ caption body = env "figure*" $ do
body
cmd "caption" caption
label "Fig."
figure :: TeX -> TeX -> Tex SortedLabel
figure caption body = env "figure" $ do
body
cmd "caption" caption
label "Fig."
data TextSize = Tiny | ScriptSize | FootnoteSize | Small | NormalSize | Large | Larger | Largerr | Huge | Huger
textSize :: TextSize -> Tex a -> Tex a
textSize sz x = braces (cmd0 latexSize >> x)
where latexSize = case sz of
Tiny -> "tiny"
ScriptSize -> "scriptsize"
FootnoteSize -> "footnotesize"
Small -> "small"
NormalSize -> "normalsize"
Large -> "large"
Larger -> "Large"
Largerr -> "LARGE"
Huge -> "huge"
Huger -> "Huge"
bold,sans, emph, smallcaps :: Tex a -> Tex a
sans = cmd "textsf"
emph = cmd "emph"
bold = cmd "textbf"
smallcaps x = braces (cmd0 "sc" >> x)
italic :: Tex a -> Tex a
italic = cmd "textit"
teletype :: Tex a -> Tex a
teletype = cmd "texttt"
scalebox :: Double -> Tex a -> Tex a
scalebox factor x = do
cmd "scalebox" $ tex $ show factor
braces x
qu :: TeX -> TeX
qu x = tex "``" <> x <> tex "''"
paren,brack,brac,bigBrac,bigParen :: Tex a -> Tex a
paren = parenthesize (tex "(") (tex ")")
brack = parenthesize (tex "[") (tex "]")
brac = parenthesize (backslash >> tex "{") (backslash >> tex "}")
bigBrac = bigParenthesize (backslash >> tex "{") (backslash >> tex "}")
bigParen = bigParenthesize (tex "(") (tex ")")
parenthesize,bigParenthesize :: TeX -> TeX -> Tex a -> Tex a
bigParenthesize l r bod = do
tex "\\left" >> l
x <- bod
tex "\\right" >> r
return x
parenthesize l r bod = do
l
x <- bod
r
return x
inferrule' :: TeX -> [TeX] -> TeX -> TeX
inferrule' name xs y = cmdm "inferrule" [name] [mkrows xs,y] >> return ()
inferrule :: [TeX] -> TeX -> TeX
inferrule xs y = cmdn "inferrule" [mkrows xs,y] >> return ()
listing :: [String] -> Verbatim () -> TeX
listing opt (Verbatim s _) =
env' "lstlisting" opt (tex s)
lstinline :: [String] -> Verbatim () -> TeX
lstinline opt (Verbatim s _) =
let sep = tex "$"
opt' = tex $ mconcat . intersperse ", "
$ "basicstyle=\\ttfamily" : opt in
backslash <> "lstinline" <> brackets opt' <> sep <> tex s <> sep