Language.Clafer.Optimizer.Optimizer

Synopsis

• optimizeModule :: ClaferArgs -> (IModule, GEnv) -> IModule
• 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
• expSuper :: MonadState GEnv m => ISuper -> m ISuper
• expElement :: MonadState GEnv m => IElement -> m IElement
• expPExp :: MonadState GEnv m => PExp -> m PExp
• expIExp :: MonadState GEnv m => IExp -> m IExp
• expDecl :: MonadState GEnv m => IDecl -> m IDecl
• expNav :: MonadState GEnv m => IExp -> m IExp
• expNav' :: MonadState GEnv m => String -> IExp -> m (IExp, String)
• split' :: MonadState GEnv m => IExp -> (IExp -> m IExp) -> m [IExp]
• allUnique :: IModule -> Bool
• allUniqueClafer :: IClafer -> (Bool, [String])
• allUniqueElement :: IElement -> (Bool, [String])
• 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
• markTopSuper :: [String] -> ISuper -> ISuper
• markTopElement :: [String] -> IElement -> IElement
• markTopPExp :: [String] -> PExp -> PExp
• markTopIExp :: [String] -> IExp -> IExp
• markTopDecl :: [String] -> IDecl -> IDecl

Documentation