| 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
Description
pretty printing a HasCASL environment
- 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
diffClassMap :: ClassMap -> ClassMap -> ClassMap
mergeClassInfo :: ClassInfo -> ClassInfo -> Result ClassInfo
mergeClassMap :: ClassMap -> ClassMap -> Result ClassMap
addClassMap :: ClassMap -> 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
delPreDefs :: Env -> Env