Language.Fixpoint.Parse

Contents

• Top Level Class for Parseable Values
• Top Level Class for Parseable Values
• Lexer to add new tokens
• Some Important keyword and parsers
• Parsing basic entities
• Parsing recursive entities
• Some Combinators
• Getting a Fresh Integer while parsing
• Parsing Function

Synopsis

• class Inputable a where
  • rr :: String -> a
  • rr' :: String -> String -> a
• type Parser = Parsec String Integer
• lexer :: GenTokenParser String u Identity
• reserved :: String -> ParsecT String u Identity ()
• reservedOp :: String -> ParsecT String u Identity ()
• parens :: ParsecT String u Identity a -> ParsecT String u Identity a
• brackets :: ParsecT String u Identity a -> ParsecT String u Identity a
• semi :: ParsecT String u Identity String
• comma :: ParsecT String u Identity String
• colon :: ParsecT String u Identity String
• dcolon :: Stream s m Char => ParsecT s u m String
• whiteSpace :: ParsecT String u Identity ()
• blanks :: Stream s m Char => ParsecT s u m [Char]
• fTyConP :: ParsecT String Integer Identity FTycon
• lowerIdP :: Parser String
• upperIdP :: Parser String
• symbolP :: Parser Symbol
• constantP :: Parser Constant
• integer :: Stream s m Char => ParsecT s u m Integer
• exprP :: Parser Expr
• predP :: Parser Pred
• qualifierP :: ParsecT String Integer Identity Qualifier
• condIdP :: [Char] -> (String -> Bool) -> Parser String
• freshIntP :: Parser Integer
• doParse' :: Num u => ParsecT String u Identity c -> SourceName -> String -> c
• parseFromFile :: Parser b -> SourceName -> IO b
• remainderP :: Monad m => ParsecT t1 u m t -> ParsecT t1 u m (t, t1)

Top Level Class for Parseable Values

Top Level Class for Parseable Values

Lexer to add new tokens

Some Important keyword and parsers

Parsing basic entities

Parsing recursive entities

Some Combinators

Getting a Fresh Integer while parsing

Parsing Function