| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Stencils.InferenceFrontend
Contents
- data InferMode
- = AssignMode
- | EvalMode
- | Synth
- stencilInference :: InferMode -> Char -> ProgramFile (Analysis A) -> (ProgramFile (Analysis A), [LogLine])
Datatypes and Aliases
Constructors
| AssignMode | |
| EvalMode | |
| Synth |
Functions
stencilInference :: InferMode -> Char -> ProgramFile (Analysis A) -> (ProgramFile (Analysis A), [LogLine]) Source #
Main stencil inference code