Copilot.Compile.C99

Compile Copilot specifications to C99 code.

Documentation

compile :: String -> Spec -> IO ()

Compile a specification to a .h and a .c file.

The first argument is used as prefix for the .h and .c files generated.

compileWith :: CSettings -> String -> Spec -> IO ()

Compile a specification to a .h and a .c file.

The first argument is the settings for the C code generated.

The second argument is used as prefix for the .h and .c files generated.

data CSettings

Settings used to customize the code generated.

Constructors

CSettings

Fields

• cSettingsStepFunctionName :: String
• cSettingsOutputDirectory :: FilePath

mkDefaultCSettings :: CSettings

Default settings with a step function called step.