Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder and Uni Bremen 2003-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

HasCASL.Merge

Description

merging parts of local environment

Documentation

merge :: Env -> Env -> Result Env Source #

mergeTypeInfo :: ClassMap -> TypeInfo -> TypeInfo -> Result TypeInfo Source #

mergeTypeDefn :: TypeDefn -> TypeDefn -> Result TypeDefn Source #

mergeOpInfo :: OpInfo -> OpInfo -> Result OpInfo Source #

addUnit :: ClassMap -> TypeMap -> TypeMap Source #