Hets - the Heterogeneous Tool Set
Copyright(c) Renato Neves
LicenseGPLv2 or higher, see LICENSE.txt
Maintainernevrenato@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

Hybrid.Print_AS

Description

printing Hybrid data types

Documentation

printFormulaOfHybridSign :: FormExtension f => (FORMULA f -> FORMULA f) -> [[Annoted (FORMULA f)]] -> Doc Source #

printHybridSign :: (FORMULA H_FORMULA -> FORMULA H_FORMULA) -> HybridSign -> Doc Source #

condParensInnerF Source #

Arguments

:: Pretty f 
=> (FORMULA f -> Doc) 
-> (Doc -> Doc)

a function that surrounds the given Doc with appropiate parens

-> FORMULA f 
-> Doc 

Orphan instances

Pretty H_FORMULA Source # 
Instance details

Methods

pretty :: H_FORMULA -> Doc Source #

pretties :: [H_FORMULA] -> Doc Source #

Pretty NOMINAL Source # 
Instance details

Methods

pretty :: NOMINAL -> Doc Source #

pretties :: [NOMINAL] -> Doc Source #

Pretty MODALITY Source # 
Instance details

Methods

pretty :: MODALITY -> Doc Source #

pretties :: [MODALITY] -> Doc Source #

Pretty H_SIG_ITEM Source # 
Instance details

Methods

pretty :: H_SIG_ITEM -> Doc Source #

pretties :: [H_SIG_ITEM] -> Doc Source #

Pretty RIGOR Source # 
Instance details

Methods

pretty :: RIGOR -> Doc Source #

pretties :: [RIGOR] -> Doc Source #

Pretty H_BASIC_ITEM Source # 
Instance details

Methods

pretty :: H_BASIC_ITEM -> Doc Source #

pretties :: [H_BASIC_ITEM] -> Doc Source #

Pretty HybridSign Source # 
Instance details

Methods

pretty :: HybridSign -> Doc Source #

pretties :: [HybridSign] -> Doc Source #

FormExtension H_FORMULA Source # 
Instance details

Methods

isQuantifierLike :: H_FORMULA -> Bool Source #

prefixExt :: H_FORMULA -> Doc -> Doc Source #