| Copyright | (c) 2017 Dominic Orchard Andrew Rice Mistral Contrastin Matthew Danish |
|---|---|
| License | Apache-2.0 |
| Maintainer | dom.orchard@gmail.com |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Camfort.Specification.Stencils.Analysis
Description
Synopsis
- type StencilsAnalysis = PureAnalysis () ()
- compileStencils :: Monad m => MFCompiler () m
Documentation
type StencilsAnalysis = PureAnalysis () () Source #
compileStencils :: Monad m => MFCompiler () m Source #
Compile a program to a ModFile containing stencils information.