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

SoftFOL.Print

Contents

Orphan instances

Description

Pretty printing for SoftFOL signatures. Refer to http://spass.mpi-sb.mpg.de/webspass/help/syntax/dfgsyntax.html for the SPASS syntax documentation.

Synopsis

printFormula :: SPFormula -> Doc

Documentation

printFormula :: SPFormula -> Doc Source #

Creates a Doc from a SPASS Formula. Needed since SPFormula is just a 'type SPFormula = Named SPTerm' and thus instantiating Pretty is not possible.

Orphan instances

Pretty SPCRBIND Source #
Instance details Methods pretty :: SPCRBIND -> Doc Source # pretties :: [SPCRBIND] -> Doc Source #
Pretty SPSettingLabel Source #
Instance details Methods pretty :: SPSettingLabel -> Doc Source # pretties :: [SPSettingLabel] -> Doc Source #
Pretty SPHypothesis Source #
Instance details Methods pretty :: SPHypothesis -> Doc Source # pretties :: [SPHypothesis] -> Doc Source #
Pretty SPSettingBody Source #
Instance details Methods pretty :: SPSettingBody -> Doc Source # pretties :: [SPSettingBody] -> Doc Source #
Pretty SPSetting Source #
Instance details Methods pretty :: SPSetting -> Doc Source # pretties :: [SPSetting] -> Doc Source #
Pretty SPLogState Source #	Creates a Doc from an `SPLogState`.
Instance details Methods pretty :: SPLogState -> Doc Source # pretties :: [SPLogState] -> Doc Source #
Pretty SPDescription Source #	Creates a Doc from a SPASS description.
Instance details Methods pretty :: SPDescription -> Doc Source # pretties :: [SPDescription] -> Doc Source #
Pretty SPValue Source #
Instance details Methods pretty :: SPValue -> Doc Source # pretties :: [SPValue] -> Doc Source #
Pretty SPKey Source #
Instance details Methods pretty :: SPKey -> Doc Source # pretties :: [SPKey] -> Doc Source #
Pretty SPParent Source #
Instance details Methods pretty :: SPParent -> Doc Source # pretties :: [SPParent] -> Doc Source #
Pretty SPUserRuleAppl Source #
Instance details Methods pretty :: SPUserRuleAppl -> Doc Source # pretties :: [SPUserRuleAppl] -> Doc Source #
Pretty SPRuleAppl Source #
Instance details Methods pretty :: SPRuleAppl -> Doc Source # pretties :: [SPRuleAppl] -> Doc Source #
Pretty SPResult Source #
Instance details Methods pretty :: SPResult -> Doc Source # pretties :: [SPResult] -> Doc Source #
Pretty SPReference Source #
Instance details Methods pretty :: SPReference -> Doc Source # pretties :: [SPReference] -> Doc Source #
Pretty SPProofList Source #
Instance details Methods pretty :: SPProofList -> Doc Source # pretties :: [SPProofList] -> Doc Source #
Pretty SPSymbol Source #	Creates a Doc from a SPASS Symbol. printSymbol :: SPSymbol-> Doc
Instance details Methods pretty :: SPSymbol -> Doc Source # pretties :: [SPSymbol] -> Doc Source #
Pretty SPQuantSym Source #	Creates a Doc from a SPASS Quantifier Symbol.
Instance details Methods pretty :: SPQuantSym -> Doc Source # pretties :: [SPQuantSym] -> Doc Source #
Pretty SPTerm Source #	Creates a Doc from a SPASS Term.
Instance details Methods pretty :: SPTerm -> Doc Source # pretties :: [SPTerm] -> Doc Source #
Pretty TermWsList Source #
Instance details Methods pretty :: TermWsList -> Doc Source # pretties :: [TermWsList] -> Doc Source #
Pretty NSPClause Source #
Instance details Methods pretty :: NSPClause -> Doc Source # pretties :: [NSPClause] -> Doc Source #
Pretty SPClauseType Source #
Instance details Methods pretty :: SPClauseType -> Doc Source # pretties :: [SPClauseType] -> Doc Source #
Pretty SPOriginType Source #	Creates a Doc from a SPASS Origin Type
Instance details Methods pretty :: SPOriginType -> Doc Source # pretties :: [SPOriginType] -> Doc Source #
Pretty SPClauseList Source #
Instance details Methods pretty :: SPClauseList -> Doc Source # pretties :: [SPClauseList] -> Doc Source #
Pretty SPFormulaList Source #	Creates a Doc from a SPASS Formula List
Instance details Methods pretty :: SPFormulaList -> Doc Source # pretties :: [SPFormulaList] -> Doc Source #
Pretty SPDeclaration Source #	Creates a Doc from a SPASS Declaration
Instance details Methods pretty :: SPDeclaration -> Doc Source # pretties :: [SPDeclaration] -> Doc Source #
Pretty SPSignSym Source #	Helper function. Creates a Doc from a Signature Symbol.
Instance details Methods pretty :: SPSignSym -> Doc Source # pretties :: [SPSignSym] -> Doc Source #
Pretty SPSymbolList Source #	Creates a Doc from a SPASS Symbol List.
Instance details Methods pretty :: SPSymbolList -> Doc Source # pretties :: [SPSymbolList] -> Doc Source #
Pretty SPLogicalPart Source #	Creates a Doc from a SPASS Logical Part.
Instance details Methods pretty :: SPLogicalPart -> Doc Source # pretties :: [SPLogicalPart] -> Doc Source #
Pretty SPProblem Source #	Creates a Doc from a SPASS Problem.
Instance details Methods pretty :: SPProblem -> Doc Source # pretties :: [SPProblem] -> Doc Source #
Pretty SFSymbType Source #
Instance details Methods pretty :: SFSymbType -> Doc Source # pretties :: [SFSymbType] -> Doc Source #
Pretty SFSymbol Source #
Instance details Methods pretty :: SFSymbol -> Doc Source # pretties :: [SFSymbol] -> Doc Source #