camfort-1.2.0: CamFort - Cambridge Fortran infrastructure
Safe HaskellSafe-Inferred
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 #