- data Text
- module Data.String
- class Show a => Render a where
- renderAppend :: Render a => [a] -> Text
- renderCommas :: Render a => [a] -> Text
- renderFile :: Render a => FilePath -> a -> IO ()
- rendertex :: Render a => a -> LaTeX
- readFileTex :: FilePath -> IO Text
Re-exports
data Text
A space efficient, packed, unboxed Unicode text type.
module Data.String
Render class
renderAppend :: Render a => [a] -> TextSource
Render every element of a list and append results.
renderCommas :: Render a => [a] -> TextSource
Render every element of a list and append results, separated by commas.