| Copyright | (c) Rene Wagner, C. Maeder, Uni Bremen 2005-2007 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
SoftFOL.Print
Description
Pretty printing for SoftFOL signatures. Refer to http://spass.mpi-sb.mpg.de/webspass/help/syntax/dfgsyntax.html for the SPASS syntax documentation.
- printFormula :: SPFormula -> Doc
Documentation
printFormula :: SPFormula -> Doc
Creates a Doc from a SPASS Formula. Needed since SPFormula is just a 'type SPFormula = Named SPTerm' and thus instantiating Pretty is not possible.