| Copyright | (c) Christian Maeder and Uni Bremen 2003-2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
HasCASL.AsToLe
Description
conversion from As to Le
Synopsis
- type Ids = Set Id
- unite :: [Ids] -> Ids
- idsOfBasicSpec :: BasicSpec -> Ids
- idsOfBasicItem :: BasicItem -> Ids
- idsOfClassItem :: ClassItem -> Ids
- idsOfSigItems :: SigItems -> Ids
- idsOfOpItem :: OpBrand -> OpItem -> Ids
- basicAnalysis :: (BasicSpec, Env, GlobalAnnos) -> Result (BasicSpec, ExtSign Env Symbol, [Named Sentence])
- isSubEnv :: Env -> Env -> Bool
- diffEnv :: Env -> Env -> Env
- diffAss :: Set OpInfo -> Set OpInfo -> Maybe (Set OpInfo)
- cleanEnv :: Env -> Env
- anaBasicSpec :: GlobalAnnos -> BasicSpec -> State Env BasicSpec
- anaBasicItem :: BasicItem -> State Env BasicItem
- anaSigItems :: GenKind -> SigItems -> State Env SigItems
- anaClassItem :: Instance -> ClassItem -> State Env ClassItem
extract predicate ids from As for mixfix analysis
idsOfBasicSpec :: BasicSpec -> Ids Source #
idsOfBasicItem :: BasicItem -> Ids Source #
idsOfClassItem :: ClassItem -> Ids Source #
idsOfSigItems :: SigItems -> Ids Source #
basic analysis
basicAnalysis :: (BasicSpec, Env, GlobalAnnos) -> Result (BasicSpec, ExtSign Env Symbol, [Named Sentence]) Source #
basic analysis
anaBasicSpec :: GlobalAnnos -> BasicSpec -> State Env BasicSpec Source #
analyse basic spec