tpdb-2.2.2: Data Type for Rewriting Systems

Safe Haskell	None
Language	Haskell2010

TPDB.XTC.Write

Synopsis

document :: Problem Identifier Identifier -> Document
writeFile :: RenderSettings -> FilePath -> Document -> IO ()
renderLBS :: RenderSettings -> Document -> ByteString
renderText :: RenderSettings -> Document -> Text
def :: Default a => a

Documentation

document :: Problem Identifier Identifier -> Document Source #

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

renderLBS :: RenderSettings -> Document -> ByteString #

renderText :: RenderSettings -> Document -> Text #

def :: Default a => a #

The default value for this type.