Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Grothendieck)
Safe HaskellNone

Syntax.Print_AS_Structured

Contents

Description

Pretty printing of CASL structured specifications

Synopsis

Documentation

printGroupSpec :: LogicGraph -> Annoted SPEC -> Doc Source #

conditional generation of grouping braces for Union and Extension

skipVoidGroup :: SPEC -> SPEC Source #

only skip groups without annotations

class PrettyLG a where Source #

Minimal complete definition

prettyLG

Methods

prettyLG :: LogicGraph -> a -> Doc Source #

Orphan instances