| |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
Description | |||||||||||||||||||||||||||
conversion from As to Le | |||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||
| |||||||||||||||||||||||||||
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 |