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

Camfort.Specification.Stencils.Synthesis

Synopsis

Documentation

formatSpec :: MetaInfo -> Int -> Char -> (SrcSpan, Either [([Variable], Specification)] (String, Variable)) -> String Source #

formatSpecNoComment :: (SrcSpan, Either [([Variable], Specification)] (String, Variable)) -> String Source #

Format inferred specifications, but do not format as a comment.

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