| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Parse
- hsSpecificationP :: SourceName -> String -> Either Error (ModName, BareSpec)
- lhsSpecificationP :: SourceName -> String -> Either Error (ModName, BareSpec)
- specSpecificationP :: SourceName -> String -> Either Error (ModName, BareSpec)
- parseSymbolToLogic :: SourceName -> String -> Either Error LogicMap
Documentation
hsSpecificationP :: SourceName -> String -> Either Error (ModName, BareSpec) Source
lhsSpecificationP :: SourceName -> String -> Either Error (ModName, BareSpec) Source
specSpecificationP :: SourceName -> String -> Either Error (ModName, BareSpec) Source
Used to parse .spec files
parseSymbolToLogic :: SourceName -> String -> Either Error LogicMap Source