| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Copilot.Compile.SBV
- compile :: Params -> Spec -> IO ()
- compileWithSBV :: Params -> [(String, SBVCodeGen ())] -> Spec -> IO ()
- sbvDirName :: String
- module Copilot.Compile.SBV.Params
Documentation
compileWithSBV :: Params -> [(String, SBVCodeGen ())] -> Spec -> IO () Source
sbvs are optional additional SBVCodeGens to generate.
module Copilot.Compile.SBV.Params