Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder Uni Bremen DFKI GmbH 2002-2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

HasCASL.PrintLe

Contents

Description

pretty printing a HasCASL environment

Synopsis

Documentation

diffClass :: ClassMap -> ClassInfo -> ClassInfo -> Maybe ClassInfo Source #

compute difference of class infos

mergeMap :: (Ord a, GetRange a, Pretty a) => (b -> b -> Result b) -> Map a b -> Map a b -> Result (Map a b) Source #

diffType :: ClassMap -> TypeInfo -> TypeInfo -> Maybe TypeInfo Source #

compute difference of type infos

printMap1 :: (Pretty a, Ord a, Pretty b) => Map a b -> Doc Source #

Orphan instances

Pretty RawSymbol Source # 
Pretty Symbol Source # 
Pretty Morphism Source # 
Pretty Env Source # 

Methods

pretty :: Env -> Doc Source #

pretties :: [Env] -> Doc Source #

Pretty OpInfo Source # 
Pretty OpDefn Source # 
Pretty ConstrInfo Source # 
Pretty VarDefn Source # 
Pretty TypeVarDefn Source # 
Pretty Sentence Source # 
Pretty TypeInfo Source # 
Pretty TypeDefn Source # 
Pretty DataEntry Source # 
Pretty Selector Source # 
Pretty ClassInfo Source #