clafer-0.3.7: clafer compiles Clafer models to other formats, such as Alloy, XML, HTML, Dot.

Safe HaskellNone

Language.Clafer.Optimizer.Optimizer

Synopsis

Documentation

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

Apply optimizations for unused abstract clafers and inheritance flattening

multExInt :: Integer -> Integer -> IntegerSource

findUnusedAbs :: [IClafer] -> [String] -> [IClafer]Source

getExtended :: IClafer -> [String]Source

expNav' :: MonadState GEnv m => String -> IExp -> m (IExp, String)Source

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

allUniqueClafer :: IClafer -> (Bool, [String])Source

allUniqueElement :: IElement -> (Bool, [String])Source

checkConstraintElement :: [String] -> IElement -> BoolSource

checkConstraintPExp :: [String] -> PExp -> BoolSource

checkConstraintIExp :: [String] -> IExp -> BoolSource

checkConstraintIDecl :: [String] -> IDecl -> [String]Source

markTopSuper :: [String] -> ISuper -> ISuperSource

markTopPExp :: [String] -> PExp -> PExpSource

markTopIExp :: [String] -> IExp -> IExpSource

markTopDecl :: [String] -> IDecl -> IDeclSource