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

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 # 
Instance details

Methods

pretty :: OpId -> Doc Source #

pretties :: [OpId] -> Doc Source #

Pretty LabelId Source # 
Instance details

Methods

pretty :: LabelId -> Doc Source #

pretties :: [LabelId] -> Doc Source #

Pretty ModId Source # 
Instance details

Methods

pretty :: ModId -> Doc Source #

pretties :: [ModId] -> Doc Source #

Pretty ViewId Source # 
Instance details

Methods

pretty :: ViewId -> Doc Source #

pretties :: [ViewId] -> Doc Source #

Pretty ParamId Source # 
Instance details

Methods

pretty :: ParamId -> Doc Source #

pretties :: [ParamId] -> Doc Source #

Pretty Kind Source # 
Instance details

Methods

pretty :: Kind -> Doc Source #

pretties :: [Kind] -> Doc Source #

Pretty Sort Source # 
Instance details

Methods

pretty :: Sort -> Doc Source #

pretties :: [Sort] -> Doc Source #

Pretty Type Source # 
Instance details

Methods

pretty :: Type -> Doc Source #

pretties :: [Type] -> Doc Source #

Pretty Term Source # 
Instance details

Methods

pretty :: Term -> Doc Source #

pretties :: [Term] -> Doc Source #

Pretty Hook Source # 
Instance details

Methods

pretty :: Hook -> Doc Source #

pretties :: [Hook] -> Doc Source #

Pretty StmntAttr Source # 
Instance details

Methods

pretty :: StmntAttr -> Doc Source #

pretties :: [StmntAttr] -> Doc Source #

Pretty Attr Source # 
Instance details

Methods

pretty :: Attr -> Doc Source #

pretties :: [Attr] -> Doc Source #

Pretty Condition Source # 
Instance details

Methods

pretty :: Condition -> Doc Source #

pretties :: [Condition] -> Doc Source #

Pretty Rule Source # 
Instance details

Methods

pretty :: Rule -> Doc Source #

pretties :: [Rule] -> Doc Source #

Pretty Equation Source # 
Instance details

Methods

pretty :: Equation -> Doc Source #

pretties :: [Equation] -> Doc Source #

Pretty Membership Source # 
Instance details

Methods

pretty :: Membership -> Doc Source #

pretties :: [Membership] -> Doc Source #