liquid-fixpoint- Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Safe HaskellNone




Top Level Class for Parseable Values

Top Level Class for Parseable Values

Lexer to add new tokens

Some Important keyword and parsers

blanks :: Stream s m Char => ParsecT s u m [Char] Source

Parsing basic entities

Parsing recursive entities

qualifierP :: ParsecT String Integer Identity Sort -> ParsecT String Integer Identity Qualifier Source

Parsing Qualifiers ---------------------------------------------

refP :: Parser (Reft -> a) -> Parser a Source

Some Combinators

Add a Location to a parsed value

Getting a Fresh Integer while parsing

Parsing Function

remainderP :: Monad m => ParsecT t1 u m t -> ParsecT t1 u m (t, t1, SourcePos) Source