| Copyright | (c) Christian Maeder Uni Bremen DFKI GmbH 2002-2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
HasCASL.PrintLe
Contents
Description
pretty printing a HasCASL environment
Synopsis
- diffClass :: ClassMap -> ClassInfo -> ClassInfo -> Maybe ClassInfo
- diffClassMap :: ClassMap -> ClassMap -> ClassMap
- mergeClassInfo :: ClassInfo -> ClassInfo -> Result ClassInfo
- mergeClassMap :: ClassMap -> ClassMap -> Result ClassMap
- addClassMap :: ClassMap -> ClassMap -> ClassMap
- addCpoMap :: ClassMap -> ClassMap
- minimizeClassMap :: ClassMap -> ClassMap
- mergeMap :: (Ord a, GetRange a, Pretty a) => (b -> b -> Result b) -> Map a b -> Map a b -> Result (Map a b)
- improveDiag :: (GetRange a, Pretty a) => a -> Diagnosis -> Diagnosis
- diffTypeMap :: ClassMap -> TypeMap -> TypeMap -> TypeMap
- diffType :: ClassMap -> TypeInfo -> TypeInfo -> Maybe TypeInfo
- printMap1 :: (Pretty a, Ord a, Pretty b) => Map a b -> Doc
- mostSyms :: Env -> [Symbol]
- delPreDefs :: Env -> Env
Documentation
diffClass :: ClassMap -> ClassInfo -> ClassInfo -> Maybe ClassInfo Source #
compute difference of class infos
minimizeClassMap :: ClassMap -> ClassMap Source #
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
delPreDefs :: Env -> Env Source #