copilot-core-0.2.2: An intermediate representation for Copilot.
Copilot.Compile.Header.C99
Description
Generates a C99 header from a copilot-specification. The functionality provided by the header must be implemented by back-ends targetting C99.
genC99Header :: Maybe String -> FilePath -> Spec -> IO ()Source
c99HeaderName :: Maybe String -> StringSource