| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Stencils.Synthesis
- formatSpec :: MetaInfo -> Int -> Char -> (SrcSpan, Either [([Variable], Specification)] (String, Variable)) -> String
- formatSpecNoComment :: (SrcSpan, Either [([Variable], Specification)] (String, Variable)) -> String
- offsetToIx :: Name -> Int -> Index (Analysis A)
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.