Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
infer :: InferMode -> Char -> Filename -> ProgramFile Annotation -> (String, ProgramFile Annotation) Source #
check :: Filename -> ProgramFile Annotation -> String Source #
synth :: InferMode -> Char -> [(Filename, ProgramFile A)] -> (String, [(Filename, ProgramFile Annotation)]) Source #