clafer-0.4.3: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.Optimizer.Optimizer

Synopsis

Documentation

optimizeModule :: ClaferArgs -> (IModule, GEnv) -> IModule Source

Apply optimizations for unused abstract clafers and inheritance flattening

split' :: MonadState GEnv m => IExp -> (IExp -> m IExp) -> m [IExp] Source