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