Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
infer :: Bool -> Char -> ProgramFile Annotation -> StencilsAnalysis StencilsReport Source #
synth :: Char -> [ProgramFile A] -> StencilsAnalysis [ProgramFile A] Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
infer :: Bool -> Char -> ProgramFile Annotation -> StencilsAnalysis StencilsReport Source #
synth :: Char -> [ProgramFile A] -> StencilsAnalysis [ProgramFile A] Source #