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.AsToLe

Contents

Description

conversion from As to Le

Synopsis

extract predicate ids from As for mixfix analysis

type Ids = Set Id Source #

unite :: [Ids] -> Ids Source #

basic analysis

isSubEnv :: Env -> Env -> Bool Source #

is the first argument a subsignature of the second?

diffEnv :: Env -> Env -> Env Source #

compute difference of signatures

diffAss :: Set OpInfo -> Set OpInfo -> Maybe (Set OpInfo) Source #

compute difference of operations

cleanEnv :: Env -> Env Source #

clean up finally accumulated environment

anaBasicItem :: BasicItem -> State Env BasicItem Source #

analyse basic item

anaSigItems :: GenKind -> SigItems -> State Env SigItems Source #

analyse sig items

anaClassItem :: Instance -> ClassItem -> State Env ClassItem Source #

analyse a class item