| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.Intermediate.StringAnalyzer
- astrModule :: IModule -> (IModule, Map Int String)
- astrClafer :: MonadState (Map String Int) m => IClafer -> m IClafer
- astrElement :: MonadState (Map String Int) m => IElement -> m IElement
- astrPExp :: MonadState (Map String Int) m => PExp -> m PExp
- astrIExp :: MonadState (Map String Int) m => IExp -> m IExp
Documentation
astrModule :: IModule -> (IModule, Map Int String) Source
Convert all strings into ints for analysis | Return an inverse map from ints back to strings
astrClafer :: MonadState (Map String Int) m => IClafer -> m IClafer Source
astrElement :: MonadState (Map String Int) m => IElement -> m IElement Source