copilot-c99-3.20: A compiler for Copilot targeting C99.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Copilot.Compile.C99

Description

Compile Copilot specifications to C99 code.

Synopsis

Documentation

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

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 () Source #

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

Settings used to customize the code generated.

mkDefaultCSettings :: CSettings Source #

Default settings with a step function called step.