Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
data ParseState Source #
type Parser = Parsec ParsecState Source #
type ParsecState = UserState ParseState TokenStream Source #
data ParseResult a Source #
parseProblem :: FilePath -> String -> ParseResult [Input Form] Source #
parseProblemFrom :: ParseState -> FilePath -> String -> ParseResult [Input Form] Source #
individual :: Type Source #
class TermLike a => FormulaLike a where Source #
fromFormula :: Form -> a Source #
quantified :: FormulaLike a => Mode -> Map String Variable -> Parser a Source #
typeDeclaration :: Parser () Source #