CompilerCxx.Category

Documentation

data CxxOutput

Constructors

CxxOutput

Fields

• coCategory :: Maybe CategoryName
• coFilename :: String
• coNamespace :: Namespace
• coUsesNamespace :: [Namespace]
• coUsesCategory :: [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 :: [Namespace]
• lmPrivateNamespaces :: [Namespace]
• lmLocalNamespaces :: [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 -> [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 -> [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

compileTestMain :: (Show c, CompileErrorM m) => LanguageModule c -> PrivateSource c -> Expression c -> m CxxOutput