Hets - the Heterogeneous Tool Set
LicenseGPLv2 or higher, see LICENSE.txt
Maintainernevrenato@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone

TopHybrid.Print_AS

Description

Instance of class Pretty for hybrid logic with an arbitrary logic below.

Documentation

printNamedFormula :: Named Frm_Wrap -> Doc Source #

Orphan instances

Pretty Mor Source # 
Instance details

Methods

pretty :: Mor -> Doc Source #

pretties :: [Mor] -> Doc Source #

Pretty Spc_Wrap Source # 
Instance details

Methods

pretty :: Spc_Wrap -> Doc Source #

pretties :: [Spc_Wrap] -> Doc Source #

Pretty Frm_Wrap Source # 
Instance details

Methods

pretty :: Frm_Wrap -> Doc Source #

pretties :: [Frm_Wrap] -> Doc Source #

Pretty TH_BASIC_ITEM Source # 
Instance details

Methods

pretty :: TH_BASIC_ITEM -> Doc Source #

pretties :: [TH_BASIC_ITEM] -> Doc Source #

Pretty Sgn_Wrap Source # 
Instance details

Methods

pretty :: Sgn_Wrap -> Doc Source #

pretties :: [Sgn_Wrap] -> Doc Source #

Pretty f => Pretty (TH_FORMULA f) Source # 
Instance details

Methods

pretty :: TH_FORMULA f -> Doc Source #

pretties :: [TH_FORMULA f] -> Doc Source #

Pretty b => Pretty (TH_BSPEC b) Source # 
Instance details

Methods

pretty :: TH_BSPEC b -> Doc Source #

pretties :: [TH_BSPEC b] -> Doc Source #

Pretty s => Pretty (THybridSign s) Source # 
Instance details

Methods

pretty :: THybridSign s -> Doc Source #

pretties :: [THybridSign s] -> Doc Source #