hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.Merge
Portability portable
Stability experimental
Maintainer hets@tzi.de
Description
merging parts of local environment
Synopsis
improveDiag :: (PosItem a, PrettyPrint a) => a -> Diagnosis -> Diagnosis
mergeMap :: (Ord a, PosItem a, PrettyPrint a) => (b -> b -> Result b) -> Map a b -> Map a b -> Result (Map a b)
mergeList :: Eq a => [a] -> [a] -> Result [a]
mergeTypeInfo :: TypeMap -> Int -> TypeInfo -> TypeInfo -> Result TypeInfo
mergeTypeDefn :: TypeMap -> Int -> TypeDefn -> TypeDefn -> Result TypeDefn
mergeScheme :: TypeMap -> Int -> TypeScheme -> TypeScheme -> Result TypeScheme
mergeOpInfo :: TypeMap -> Int -> OpInfo -> OpInfo -> Result OpInfo
mergeAttrs :: [OpAttr] -> [OpAttr] -> Result [OpAttr]
mergeConstrInfos :: [ConstrInfo] -> [ConstrInfo] -> Result [ConstrInfo]
Produced by Haddock version 0.6