hets -- a heterogenous Specification (CASL) tool set Contents Index

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