Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
data ParseState Source #
type Parser = Parsec ParsecState Source #
type ParsecState = UserState ParseState TokenStream Source #
initialState :: Maybe String -> ParseState Source #
initialStateFrom :: Maybe String -> [Name] -> Map String Type -> Map String [Function] -> ParseState 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 #