Documentation

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

lineCol :: Position -> (Int, Int) Source #

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

a :: Analysis Annotation Source #

s :: SrcSpan Source #

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

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

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

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