camfort-0.900: CamFort - Cambridge Fortran infrastructure

Safe Haskell	None
Language	Haskell2010

Camfort.Specification.Stencils.Synthesis

Documentation

formatSpec :: Maybe String -> NameMap -> (SrcSpan, Either [([Variable], Specification)] (String, Variable)) -> String Source #

a :: Analysis Annotation Source #

s :: SrcSpan Source #

offsetToIx :: Name -> Int -> Index (Analysis A) Source #