Hets - the Heterogeneous Tool Set
Copyright(c) Wiebke Herding C. Maeder Uni Bremen 2004-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

Modal.Print_AS

Description

printing AS_Modal ModalSign data types

Documentation

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

printModalSign :: (FORMULA M_FORMULA -> FORMULA M_FORMULA) -> ModalSign -> 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 M_FORMULA Source # 
Instance details

Methods

pretty :: M_FORMULA -> Doc Source #

pretties :: [M_FORMULA] -> Doc Source #

Pretty MODALITY Source # 
Instance details

Methods

pretty :: MODALITY -> Doc Source #

pretties :: [MODALITY] -> Doc Source #

Pretty M_SIG_ITEM Source # 
Instance details

Methods

pretty :: M_SIG_ITEM -> Doc Source #

pretties :: [M_SIG_ITEM] -> Doc Source #

Pretty RIGOR Source # 
Instance details

Methods

pretty :: RIGOR -> Doc Source #

pretties :: [RIGOR] -> Doc Source #

Pretty M_BASIC_ITEM Source # 
Instance details

Methods

pretty :: M_BASIC_ITEM -> Doc Source #

pretties :: [M_BASIC_ITEM] -> Doc Source #

Pretty ModalSign Source # 
Instance details

Methods

pretty :: ModalSign -> Doc Source #

pretties :: [ModalSign] -> Doc Source #

FormExtension M_FORMULA Source # 
Instance details

Methods

isQuantifierLike :: M_FORMULA -> Bool Source #

prefixExt :: M_FORMULA -> Doc -> Doc Source #