| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Copilot.Compile.C99
Description
Compile Copilot specifications to C99 code.
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.
Settings used to customize the code generated.
Constructors
| CSettings | |
mkDefaultCSettings :: CSettings Source #
Default settings with a step function called step.