camfort-1.1.0: CamFort - Cambridge Fortran infrastructure
Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Stencils

Documentation

infer :: Bool -> Char -> ProgramFile Annotation -> StencilsAnalysis StencilsReport Source #

check :: ProgramFile Annotation -> StencilsAnalysis CheckResult Source #

synth :: Char -> [ProgramFile A] -> StencilsAnalysis [ProgramFile A] Source #