| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Copilot.Compile.Bluespec
Description
Compile Copilot specifications to Bluespec code.
Synopsis
- compile :: String -> Spec -> IO ()
- compileWith :: BluespecSettings -> String -> Spec -> IO ()
- newtype BluespecSettings = BluespecSettings {}
- mkDefaultBluespecSettings :: BluespecSettings
Documentation
compile :: String -> Spec -> IO () Source #
Compile a specification to a Bluespec.
The first argument is used as a prefix for the generated .bs files.
compileWith :: BluespecSettings -> String -> Spec -> IO () Source #
Compile a specification to a Bluespec file.
The first argument is the settings for the Bluespec code generated.
The second argument is used as a module name and the prefix for the .bs files that are generated.
newtype BluespecSettings Source #
Settings used to customize the code generated.
Constructors
| BluespecSettings | |
Fields | |
mkDefaultBluespecSettings :: BluespecSettings Source #
Default Bluespec settings. Output to the current directory.