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

Contents

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 # 
Pretty SPSettingLabel Source # 
Pretty SPHypothesis Source # 
Pretty SPSettingBody Source # 
Pretty SPSetting Source # 
Pretty SPLogState Source #

Creates a Doc from an SPLogState.

Pretty SPDescription Source #

Creates a Doc from a SPASS description.

Pretty SPValue Source # 
Pretty SPKey Source # 
Pretty SPParent Source # 
Pretty SPUserRuleAppl Source # 
Pretty SPRuleAppl Source # 
Pretty SPResult Source # 
Pretty SPReference Source # 
Pretty SPProofList Source # 
Pretty SPSymbol Source #

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

Pretty SPQuantSym Source #

Creates a Doc from a SPASS Quantifier Symbol.

Pretty SPTerm Source #

Creates a Doc from a SPASS Term.

Pretty TermWsList Source # 
Pretty NSPClause Source # 
Pretty SPClauseType Source # 
Pretty SPOriginType Source #

Creates a Doc from a SPASS Origin Type

Pretty SPClauseList Source # 
Pretty SPFormulaList Source #

Creates a Doc from a SPASS Formula List

Pretty SPDeclaration Source #

Creates a Doc from a SPASS Declaration

Pretty SPSignSym Source #

Helper function. Creates a Doc from a Signature Symbol.

Pretty SPSymbolList Source #

Creates a Doc from a SPASS Symbol List.

Pretty SPLogicalPart Source #

Creates a Doc from a SPASS Logical Part.

Pretty SPProblem Source #

Creates a Doc from a SPASS Problem.

Pretty SFSymbType Source # 
Pretty SFSymbol Source #