| Safe Haskell | None |
|---|
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 IClaferSource
astrElement :: MonadState (Map String Int) m => IElement -> m IElementSource
astrPExp :: MonadState (Map String Int) m => PExp -> m PExpSource
astrIExp :: MonadState (Map String Int) m => IExp -> m IExpSource