copilot-core-2.2.0: An intermediate representation for Copilot.

Safe HaskellSafe
LanguageHaskell2010

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 -> String Source