Hets - the Heterogeneous Tool Set
CopyrightDFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

ExtModal.Print_AS

Description

printing AS_ExtModal ExtModalSign data types

Documentation

modPrec :: MODALITY -> Int Source #

printMPrec :: Bool -> MODALITY -> MODALITY -> Doc Source #

prettyRigor :: Bool -> Doc Source #

isEMJunct :: FORMULA EM_FORMULA -> Bool Source #

prJunct :: FORMULA EM_FORMULA -> Doc Source #

Orphan instances

Pretty EM_FORMULA Source # 
Instance details

Methods

pretty :: EM_FORMULA -> Doc Source #

pretties :: [EM_FORMULA] -> Doc Source #

Pretty FormPrefix Source # 
Instance details

Methods

pretty :: FormPrefix -> Doc Source #

pretties :: [FormPrefix] -> Doc Source #

Pretty EM_SIG_ITEM Source # 
Instance details

Methods

pretty :: EM_SIG_ITEM -> Doc Source #

pretties :: [EM_SIG_ITEM] -> Doc Source #

Pretty MODALITY Source # 
Instance details

Methods

pretty :: MODALITY -> Doc Source #

pretties :: [MODALITY] -> Doc Source #

Pretty EM_BASIC_ITEM Source # 
Instance details

Methods

pretty :: EM_BASIC_ITEM -> Doc Source #

pretties :: [EM_BASIC_ITEM] -> Doc Source #

Pretty ModDefn Source # 
Instance details

Methods

pretty :: ModDefn -> Doc Source #

pretties :: [ModDefn] -> Doc Source #

Pretty FrameForm Source # 
Instance details

Methods

pretty :: FrameForm -> Doc Source #

pretties :: [FrameForm] -> Doc Source #

Pretty EModalSign Source # 
Instance details

Methods

pretty :: EModalSign -> Doc Source #

pretties :: [EModalSign] -> Doc Source #

FormExtension EM_FORMULA Source # 
Instance details

Methods

isQuantifierLike :: EM_FORMULA -> Bool Source #

prefixExt :: EM_FORMULA -> Doc -> Doc Source #