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.

Documentation

genC99Header :: Maybe String -> FilePath -> Spec -> IO ()Source

c99HeaderName :: Maybe String -> StringSource