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

mergeTypeInfo :: ClassMap -> TypeInfo -> TypeInfo -> Result TypeInfo

mergeTypeDefn :: TypeDefn -> TypeDefn -> Result TypeDefn

mergeOpInfo :: OpInfo -> OpInfo -> Result OpInfo

addUnit :: ClassMap -> TypeMap -> TypeMap