Copyright	(c) T. Mossakowski Uni Bremen 2004-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	hausmann@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

CoCASL.Print_AS

Contents

Description

printing AS_CoCASL and CoCASLSign data types

Documentation

Orphan instances

Pretty C_FORMULA Source #
Instance details Methods pretty :: C_FORMULA -> Doc Source # pretties :: [C_FORMULA] -> Doc Source #
Pretty MODALITY Source #
Instance details Methods pretty :: MODALITY -> Doc Source # pretties :: [MODALITY] -> Doc Source #
Pretty COCOMPONENTS Source #
Instance details Methods pretty :: COCOMPONENTS -> Doc Source # pretties :: [COCOMPONENTS] -> Doc Source #
Pretty COALTERNATIVE Source #
Instance details Methods pretty :: COALTERNATIVE -> Doc Source # pretties :: [COALTERNATIVE] -> Doc Source #
Pretty CODATATYPE_DECL Source #
Instance details Methods pretty :: CODATATYPE_DECL -> Doc Source # pretties :: [CODATATYPE_DECL] -> Doc Source #
Pretty C_SIG_ITEM Source #
Instance details Methods pretty :: C_SIG_ITEM -> Doc Source # pretties :: [C_SIG_ITEM] -> Doc Source #
Pretty C_BASIC_ITEM Source #
Instance details Methods pretty :: C_BASIC_ITEM -> Doc Source # pretties :: [C_BASIC_ITEM] -> Doc Source #
Pretty CoCASLSign Source #
Instance details Methods pretty :: CoCASLSign -> Doc Source # pretties :: [CoCASLSign] -> Doc Source #
FormExtension C_FORMULA Source #
Instance details Methods isQuantifierLike :: C_FORMULA -> Bool Source # prefixExt :: C_FORMULA -> Doc -> Doc Source #