Hets - the Heterogeneous Tool Set
Copyright(c) Rene Wagner C. Maeder Uni Bremen 2005-2007
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

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.

Synopsis

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

Pretty SPSettingLabel Source # 
Instance details

Pretty SPHypothesis Source # 
Instance details

Pretty SPSettingBody Source # 
Instance details

Pretty SPSetting Source # 
Instance details

Pretty SPLogState Source #

Creates a Doc from an SPLogState.

Instance details

Pretty SPDescription Source #

Creates a Doc from a SPASS description.

Instance details

Pretty SPValue Source # 
Instance details

Pretty SPKey Source # 
Instance details

Pretty SPParent Source # 
Instance details

Pretty SPUserRuleAppl Source # 
Instance details

Pretty SPRuleAppl Source # 
Instance details

Pretty SPResult Source # 
Instance details

Pretty SPReference Source # 
Instance details

Pretty SPProofList Source # 
Instance details

Pretty SPSymbol Source #

Creates a Doc from a SPASS Symbol. printSymbol :: SPSymbol-> Doc

Instance details

Pretty SPQuantSym Source #

Creates a Doc from a SPASS Quantifier Symbol.

Instance details

Pretty SPTerm Source #

Creates a Doc from a SPASS Term.

Instance details

Pretty TermWsList Source # 
Instance details

Pretty NSPClause Source # 
Instance details

Pretty SPClauseType Source # 
Instance details

Pretty SPOriginType Source #

Creates a Doc from a SPASS Origin Type

Instance details

Pretty SPClauseList Source # 
Instance details

Pretty SPFormulaList Source #

Creates a Doc from a SPASS Formula List

Instance details

Pretty SPDeclaration Source #

Creates a Doc from a SPASS Declaration

Instance details

Pretty SPSignSym Source #

Helper function. Creates a Doc from a Signature Symbol.

Instance details

Pretty SPSymbolList Source #

Creates a Doc from a SPASS Symbol List.

Instance details

Pretty SPLogicalPart Source #

Creates a Doc from a SPASS Logical Part.

Instance details

Pretty SPProblem Source #

Creates a Doc from a SPASS Problem.

Instance details

Pretty SFSymbType Source # 
Instance details

Pretty SFSymbol Source # 
Instance details