hets -- a heterogenous Specification (CASL) tool setContentsIndex
HasCASL.AsToLe
Portability portable
Stability experimental
Maintainer hets@tzi.de
Description
conversion from As to Le
Synopsis
basicAnalysis :: (BasicSpec, Env, GlobalAnnos) -> Result (BasicSpec, Env, Env, [Named Term])
diffEnv :: Env -> Env -> Env
diffClass :: ClassInfo -> ClassInfo -> Maybe ClassInfo
diffType :: TypeInfo -> TypeInfo -> Maybe TypeInfo
compatibleOpTypes :: TypeScheme -> TypeScheme -> Bool
diffAss :: TypeMap -> OpInfos -> OpInfos -> Maybe OpInfos
cleanEnv :: Env -> Env
preEnv :: Env
addPreIds :: (PrecMap, Set Id) -> State Env ()
anaBasicSpec :: GlobalAnnos -> BasicSpec -> State Env BasicSpec
anaBasicItem :: GlobalAnnos -> BasicItem -> State Env BasicItem
appendSentences :: [Named Term] -> State Env ()
anaSigItems :: GlobalAnnos -> GenKind -> SigItems -> State Env SigItems
anaClassItem :: GlobalAnnos -> Instance -> ClassItem -> State Env ClassItem
Documentation
basicAnalysis :: (BasicSpec, Env, GlobalAnnos) -> Result (BasicSpec, Env, Env, [Named Term])
basic analysis
diffEnv :: Env -> Env -> Env
compute difference of signatures
diffClass :: ClassInfo -> ClassInfo -> Maybe ClassInfo
compute difference of class infos
diffType :: TypeInfo -> TypeInfo -> Maybe TypeInfo
compute difference of type infos
compatibleOpTypes :: TypeScheme -> TypeScheme -> Bool
Check if two OpTypes are equal except from totality or partiality
diffAss :: TypeMap -> OpInfos -> OpInfos -> Maybe OpInfos
compute difference of overloaded operations
cleanEnv :: Env -> Env
clean up finally accumulated environment
preEnv :: Env
environment with predefined types and operations
addPreIds :: (PrecMap, Set Id) -> State Env ()
anaBasicSpec :: GlobalAnnos -> BasicSpec -> State Env BasicSpec
analyse basic spec
anaBasicItem :: GlobalAnnos -> BasicItem -> State Env BasicItem
analyse basic item
appendSentences :: [Named Term] -> State Env ()
add sentences
anaSigItems :: GlobalAnnos -> GenKind -> SigItems -> State Env SigItems
analyse sig items
anaClassItem :: GlobalAnnos -> Instance -> ClassItem -> State Env ClassItem
analyse a class item
Produced by Haddock version 0.6