Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
data ParseState Source
type Parser = Parsec ParsecState Source
initialStateFrom :: [Name] -> Map String Type -> Map String [Function] -> ParseState Source
data ParseResult a Source
makeLocation :: FilePath -> Pos -> Location Source
parseProblem :: FilePath -> String -> ParseResult [Input Form] Source
parseProblemFrom :: ParseState -> FilePath -> String -> ParseResult [Input Form] Source
newFormula :: Input Form -> Parser () Source
lookupType :: String -> Parser Type 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