Hets - the Heterogeneous Tool Set

Copyright(c) Martin Kuehl Uni Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainermkhl@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe

Maude.Printing

Contents

Description

Translations from Haskell to Maude.

The translations from Haskell datatypes to Maude source code are implemented as instances of the typeclass Pretty as defined in the modules Common.Doc and Common.DocUtils, which see.

Nothing else is exported by this module.

Orphan instances

Pretty OpId Source # 

Methods

pretty :: OpId -> Doc Source #

pretties :: [OpId] -> Doc Source #

Pretty LabelId Source # 
Pretty ModId Source # 
Pretty ViewId Source # 
Pretty ParamId Source # 
Pretty Kind Source # 

Methods

pretty :: Kind -> Doc Source #

pretties :: [Kind] -> Doc Source #

Pretty Sort Source # 

Methods

pretty :: Sort -> Doc Source #

pretties :: [Sort] -> Doc Source #

Pretty Type Source # 

Methods

pretty :: Type -> Doc Source #

pretties :: [Type] -> Doc Source #

Pretty Term Source # 

Methods

pretty :: Term -> Doc Source #

pretties :: [Term] -> Doc Source #

Pretty Hook Source # 

Methods

pretty :: Hook -> Doc Source #

pretties :: [Hook] -> Doc Source #

Pretty StmntAttr Source # 
Pretty Attr Source # 

Methods

pretty :: Attr -> Doc Source #

pretties :: [Attr] -> Doc Source #

Pretty Condition Source # 
Pretty Rule Source # 

Methods

pretty :: Rule -> Doc Source #

pretties :: [Rule] -> Doc Source #

Pretty Equation Source # 
Pretty Membership Source #