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

Orphan instances

Pretty Mor Source # 
Instance details

Methods

pretty :: Mor -> Doc Source #

pretties :: [Mor] -> Doc Source #

Pretty Spc_Wrap Source # 
Instance details

Pretty Frm_Wrap Source # 
Instance details

Pretty TH_BASIC_ITEM Source # 
Instance details

Pretty Sgn_Wrap Source # 
Instance details

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

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

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