ClassAna.hs revision 15bb922b665fcd44c6230a1202785d0c7890e90c
faf8ae9e57aecf780f77f114de886af4c1a0f0ccChristian MaederModule : $Header$
faf8ae9e57aecf780f77f114de886af4c1a0f0ccChristian MaederCopyright : (c) Christian Maeder and Uni Bremen 2003
faf8ae9e57aecf780f77f114de886af4c1a0f0ccChristian MaederLicence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt
aa1c971871ba8f793a9e2e62189369cbfbbe0054Christian MaederMaintainer : hets@tzi.de
9db48b4604636bfdf03e60890fc094b7bec775dcChristian MaederStability : experimental
9db48b4604636bfdf03e60890fc094b7bec775dcChristian MaederPortability : portable
faf8ae9e57aecf780f77f114de886af4c1a0f0ccChristian Maeder auxiliary functions for raw kinds
module HasCASL.ClassAna where
import HasCASL.As
import HasCASL.AsUtils
import Common.Id
import HasCASL.Le
import Common.PrettyPrint
import qualified Common.Lib.Map as Map
import qualified Common.Lib.Set as Set
import Common.Result
case Map.lookup ci cMap of
toIntersection l ps = case Set.toList $ mkIntersection l of
mkIntersection :: [Kind] -> Set.Set Kind
mkIntersection = Set.unions . map ( \ k -> case k of
_ -> Set.single k)