Hets - the Heterogeneous Tool Set
Copyright(c) A. Tsogias DFKI Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerAlexis.Tsogias@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

THF.Print

Description

Pretty instances some data structures of As, Sign and Cons

Documentation

printProblemTHF :: SignTHF -> [Named THFFormula] -> Named THFFormula -> Doc Source #

printNamedSentenceTHF :: Maybe FormulaRole -> Named THFFormula -> Doc Source #

Orphan instances

Pretty Kind Source # 
Instance details

Methods

pretty :: Kind -> Doc Source #

pretties :: [Kind] -> Doc Source #

Pretty Type Source # 
Instance details

Methods

pretty :: Type -> Doc Source #

pretties :: [Type] -> Doc Source #

Pretty SymbolTHF Source # 
Instance details

Methods

pretty :: SymbolTHF -> Doc Source #

pretties :: [SymbolTHF] -> Doc Source #

Pretty BasicSpecTHF Source # 
Instance details

Methods

pretty :: BasicSpecTHF -> Doc Source #

pretties :: [BasicSpecTHF] -> Doc Source #

Pretty ConstInfo Source # 
Instance details

Methods

pretty :: ConstInfo -> Doc Source #

pretties :: [ConstInfo] -> Doc Source #

Pretty TypeInfo Source # 
Instance details

Methods

pretty :: TypeInfo -> Doc Source #

pretties :: [TypeInfo] -> Doc Source #

Pretty SignTHF Source # 
Instance details

Methods

pretty :: SignTHF -> Doc Source #

pretties :: [SignTHF] -> Doc Source #