CompilerCxx.Category

Documentation

data CxxOutput

Constructors

CxxOutput

Fields

• coCategory :: Maybe CategoryName
• coFilename :: String
• coNamespace :: Namespace
• coUsesNamespace :: Set Namespace
• coUsesCategory :: Set CategoryName
• coOutput :: [String]

Instances

Show CxxOutput

Defined in CompilerCxx.Category

Methods

showsPrec :: Int -> CxxOutput -> ShowS

show :: CxxOutput -> String

showList :: [CxxOutput] -> ShowS

data LanguageModule c

Constructors

LanguageModule

Fields

• lmPublicNamespaces :: Set Namespace
• lmPrivateNamespaces :: Set Namespace
• lmLocalNamespaces :: Set Namespace
• lmPublicDeps :: [AnyCategory c]
• lmPrivateDeps :: [AnyCategory c]
• lmTestingDeps :: [AnyCategory c]
• lmPublicLocal :: [AnyCategory c]
• lmPrivateLocal :: [AnyCategory c]
• lmTestingLocal :: [AnyCategory c]
• lmExternal :: [CategoryName]
• lmStreamlined :: [CategoryName]
• lmExprMap :: ExprMap c

data PrivateSource c

Constructors

PrivateSource

Fields

• psNamespace :: Namespace
• psTesting :: Bool
• psCategory :: [AnyCategory c]
• psDefine :: [DefinedCategory c]

compileCategoryDeclaration :: (Show c, CompileErrorM m) => Bool -> CategoryMap c -> Set Namespace -> AnyCategory c -> m CxxOutput

compileLanguageModule :: (Show c, CompileErrorM m) => LanguageModule c -> [PrivateSource c] -> m [CxxOutput]

compileConcreteDefinition :: (Show c, CompileErrorM m) => Bool -> CategoryMap c -> ExprMap c -> Set Namespace -> Maybe [ValueRefine c] -> DefinedCategory c -> m CxxOutput

compileConcreteTemplate :: (Show c, CompileErrorM m) => Bool -> CategoryMap c -> CategoryName -> m CxxOutput

compileInterfaceDefinition :: CompileErrorM m => Bool -> AnyCategory c -> m CxxOutput

compileModuleMain :: (Show c, CompileErrorM m) => LanguageModule c -> [PrivateSource c] -> CategoryName -> FunctionName -> m CxxOutput

compileTestsModule :: (Show c, CompileErrorM m) => LanguageModule c -> Namespace -> [String] -> [AnyCategory c] -> [DefinedCategory c] -> [TestProcedure c] -> m ([CxxOutput], CxxOutput, [(FunctionName, [c])])