Language.Clafer.Intermediate.ResolverInheritance

Synopsis

• resolveNModule :: (IModule, GEnv) -> Resolve (IModule, GEnv)
• resolveNClafer :: [IElement] -> IClafer -> Resolve IClafer
• resolveNSuper :: [IElement] -> ISuper -> Resolve ISuper
• resolveNElement :: [IElement] -> IElement -> Resolve IElement
• resolveN :: Span -> [IElement] -> String -> Resolve (Maybe (String, [IClafer]))
• resolveOModule :: (IModule, GEnv) -> Resolve (IModule, GEnv)
• resolveOClafer :: SEnv -> IClafer -> Resolve IClafer
• resolveOSuper :: SEnv -> ISuper -> Resolve ISuper
• resolveOElement :: SEnv -> IElement -> Resolve IElement
• analyzeModule :: (IModule, GEnv) -> IModule
• analyzeClafer :: SEnv -> IClafer -> IClafer
• analyzeGCard :: SEnv -> IClafer -> Maybe IGCard
• analyzeCard :: SEnv -> IClafer -> Maybe Interval
• analyzeElement :: SEnv -> IElement -> IElement
• resolveEModule :: (IModule, GEnv) -> (IModule, GEnv)
• unrollableModule :: IModule -> [String]
• unrollabeDeclaration :: IElement -> Maybe (String, [String])
• unrollableClafer :: IClafer -> [String]
• getDirUnrollables :: [(String, [String])] -> [String]
• resolveEClafer :: MonadState GEnv m => [String] -> [String] -> Bool -> [IElement] -> IClafer -> m IClafer
• renameClafer :: MonadState GEnv m => Bool -> IClafer -> m IClafer
• renameClafer' :: MonadState GEnv m => IClafer -> m IClafer
• genId :: String -> Int -> String
• resolveEInheritance :: MonadState GEnv m => [String] -> [String] -> Bool -> [IElement] -> [IClafer] -> m ([IElement], ISuper, [IClafer])
• resolveEElement :: MonadState GEnv m => [String] -> [String] -> Bool -> [IElement] -> IElement -> m IElement

Documentation