| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.Optimizer.Optimizer
- 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
optimizeModule :: ClaferArgs -> (IModule, GEnv) -> IModule Source
Apply optimizations for unused abstract clafers and inheritance flattening
optimizeElement :: Interval -> IElement -> IElement Source
optimizeClafer :: Interval -> IClafer -> IClafer Source
makeZeroUnusedAbs :: [IElement] -> [IElement] Source
remUnusedAbs :: [IElement] -> [IElement] Source
findUnusedAbs :: [IClafer] -> [String] -> [IClafer] Source
getUniqExtended :: [IClafer] -> [String] Source
getExtended :: IClafer -> [String] Source
expElement :: MonadState GEnv m => IElement -> m IElement Source
allUniqueClafer :: IClafer -> (Bool, [String]) Source
allUniqueElement :: IElement -> (Bool, [String]) Source
checkConstraintElement :: [String] -> IElement -> Bool Source
checkConstraintPExp :: [String] -> PExp -> Bool Source
checkConstraintIExp :: [String] -> IExp -> Bool Source
checkConstraintIDecl :: [String] -> IDecl -> [String] Source
findDupModule :: ClaferArgs -> IModule -> Either ClaferErr IModule Source
markTopModule :: [IElement] -> [IElement] Source
markTopClafer :: [String] -> IClafer -> IClafer Source
markTopSuper :: [String] -> ISuper -> ISuper Source
markTopElement :: [String] -> IElement -> IElement Source
markTopPExp :: [String] -> PExp -> PExp Source
markTopIExp :: [String] -> IExp -> IExp Source
markTopDecl :: [String] -> IDecl -> IDecl Source