Language.Haskell.Liquid.Prover.Parser

Documentation

parseQuery :: String -> IO LQuery

queryP :: FilePath -> ParsecT String Integer Identity (Query ())

declsP :: Parser [Predicate]

declP :: Parser Predicate

depthP :: Parser Int

goalP :: Parser Predicate

ctorP :: Parser LVarCtor

ctorAxiomP :: ParsecT String Integer Identity ([LVar], Predicate)

bindP :: Parser LVar

envP :: Parser LVar

predicateP :: Parser Predicate

axiomP :: Parser LAxiom

argumentsP :: Parser [LVar]

varP :: Parser LVar