CompilerCxx.CxxFiles

Documentation

data CxxOutput

Constructors

CxxOutput

Fields

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

Instances

Show CxxOutput

Defined in CompilerCxx.CxxFiles

Methods

showsPrec :: Int -> CxxOutput -> ShowS

show :: CxxOutput -> String

showList :: [CxxOutput] -> ShowS

data FileContext c

Constructors

FileContext

Fields

• fcTesting :: Bool
• fcCategories :: CategoryMap c
• fcNamespaces :: Set Namespace
• fcExprMap :: ExprMap c

generateMainFile :: (Ord c, Show c, CollectErrorsM m) => CategoryMap c -> ExprMap c -> CategoryName -> FunctionName -> m (Namespace, [String])

generateNativeConcrete :: (Ord c, Show c, CollectErrorsM m) => FileContext c -> (AnyCategory c, DefinedCategory c) -> m [CxxOutput]

generateNativeInterface :: (Ord c, Show c, CollectErrorsM m) => Bool -> Set Namespace -> AnyCategory c -> m [CxxOutput]

generateStreamlinedExtension :: (Ord c, Show c, CollectErrorsM m) => FileContext c -> AnyCategory c -> CategorySpec c -> m [CxxOutput]

generateStreamlinedTemplate :: (Ord c, Show c, CollectErrorsM m) => Bool -> CategoryMap c -> AnyCategory c -> CategorySpec c -> m [CxxOutput]

generateTestFile :: (Ord c, Show c, CollectErrorsM m) => CategoryMap c -> ExprMap c -> [String] -> Maybe ([c], TypeInstance) -> [TestProcedure c] -> m (CompiledData [String])

generateVerboseExtension :: (Ord c, Show c, CollectErrorsM m) => Bool -> AnyCategory c -> m [CxxOutput]