clafer-0.3.9: clafer compiles Clafer models to other formats, such as Alloy, XML, 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

optimizeElement :: Interval -> IElement -> IElement Source

optimizeClafer :: Interval -> IClafer -> IClafer Source

multInt :: Interval -> Interval -> Interval Source

multExInt :: Integer -> Integer -> Integer Source

makeZeroUnusedAbs :: [IElement] -> [IElement] Source

remUnusedAbs :: [IElement] -> [IElement] Source

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

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

getExtended :: IClafer -> [String] Source

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

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

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

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

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

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

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

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

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

allUnique :: IModule -> Bool 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

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

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

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

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