Language.Clafer.Optimizer.Optimizer

Documentation

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

Apply optimizations for unused abstract clafers and inheritance flattening

optimizeElement :: Interval -> IElement -> IElement

optimizeClafer :: Interval -> IClafer -> IClafer

multInt :: Interval -> Interval -> Interval

multExInt :: Integer -> Integer -> Integer

makeZeroUnusedAbs :: [IElement] -> [IElement]

remUnusedAbs :: [IElement] -> [IElement]

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

getUniqExtended :: [IClafer] -> [String]

getExtended :: IClafer -> [String]

expModule :: ([IElement], GEnv) -> [IElement]

expClafer :: MonadState GEnv m => IClafer -> m IClafer

expElement :: MonadState GEnv m => IElement -> m IElement

expPExp :: MonadState GEnv m => PExp -> m PExp

expIExp :: MonadState GEnv m => Span -> IExp -> m IExp

expDecl :: MonadState GEnv m => IDecl -> m IDecl

expNav :: MonadState GEnv m => Span -> IExp -> m IExp

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

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

allUnique :: IModule -> Bool

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

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

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

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

findDupModule :: ClaferArgs -> IModule -> Either ClaferErr IModule

markTopModule :: [IElement] -> [IElement]

markTopClafer :: [String] -> IClafer -> IClafer

markTopElement :: [String] -> IElement -> IElement

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

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

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