TPDB.XTC.Write

Documentation

document :: Problem Identifier Identifier -> Document

writeFile :: RenderSettings -> FilePath -> Document -> IO ()

renderLBS :: RenderSettings -> Document -> ByteString

renderText :: RenderSettings -> Document -> Text

def :: Default a => a

The default value for this type.