Camfort.Specification.Stencils.Synthesis

Documentation

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

lineCol :: Position -> (Int, Int)

spanLineCol :: SrcSpan -> ((Int, Int), (Int, Int))

a :: Analysis Annotation

s :: SrcSpan

synthesise :: Specification -> Name -> [Name] -> [Expression (Analysis A)]

ixExprToSubscript :: Name -> [Index (Analysis A)] -> Expression (Analysis A)

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

offsetToIxWithIVs :: [Variable] -> Name -> Int -> Index (Analysis A)