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
• Add a Location to a parsed value
• Getting a Fresh Integer while parsing
• Parsing Function
• Utilities
• For testing

Synopsis

• class Inputable a where
• type Parser = ParsecT String Integer (State PState)
• lexer :: Monad m => GenTokenParser String u m
• reserved :: String -> Parser ()
• reservedOp :: String -> Parser ()
• parens :: ParserT u a -> ParserT u a
• brackets :: ParserT u a -> ParserT u a
• angles :: ParserT u a -> ParserT u a
• braces :: ParserT u a -> ParserT u a
• semi :: Parser String
• comma :: Parser String
• colon :: Parser String
• dcolon :: Parser String
• whiteSpace :: Parser ()
• blanks :: Parser String
• pairP :: Parser a -> Parser z -> Parser b -> Parser (a, b)
• lowerIdP :: Parser Symbol
• upperIdP :: Parser Symbol
• infixIdP :: Parser String
• symbolP :: Parser Symbol
• constantP :: Parser Constant
• integer :: Parser Integer
• bindP :: Parser Symbol
• sortP :: Parser Sort
• mkQual :: Symbol -> [(Symbol, Sort)] -> Expr -> SourcePos -> Qualifier
• exprP :: Parser Expr
• predP :: Parser Expr
• funAppP :: Parser Expr
• qualifierP :: Parser Sort -> Parser Qualifier
• refaP :: Parser Expr
• refP :: Parser (Reft -> a) -> Parser a
• refDefP :: Symbol -> Parser Expr -> Parser (Reft -> a) -> Parser a
• refBindP :: Parser Symbol -> Parser Expr -> Parser (Reft -> a) -> Parser a
• bvSortP :: Parser Sort
• condIdP :: HashSet Char -> (String -> Bool) -> Parser Symbol
• locParserP :: Parser a -> Parser (Located a)
• locLowerIdP :: Parser LocSymbol
• locUpperIdP :: Parser LocSymbol
• freshIntP :: Parser Integer
• doParse' :: Parser a -> SourceName -> String -> a
• parseFromFile :: Parser b -> SourceName -> IO b
• remainderP :: Parser a -> Parser (a, String, SourcePos)
• isSmall :: Char -> Bool
• initPState :: PState
• data PState
• data Fixity
  • = FInfix {
    • fpred :: Maybe Int
    • fname :: String
    • fop2 :: Maybe (Expr -> Expr -> Expr)
    • fassoc :: Assoc
    }
  • | FPrefix {
    • fpred :: Maybe Int
    • fname :: String
    • fop1 :: Maybe (Expr -> Expr)
    }
  • | FPostfix {
    • fpred :: Maybe Int
    • fname :: String
    • fop1 :: Maybe (Expr -> Expr)
    }
• data Assoc :: *
  • = AssocNone
  • | AssocLeft
  • | AssocRight
• addOperatorP :: Fixity -> Parser ()
• expr0P :: Parser Expr
• dataFieldP :: Parser DataField
• dataCtorP :: Parser DataCtor
• dataDeclP :: Parser DataDecl

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

Add a Location to a parsed value

Getting a Fresh Integer while parsing

Parsing Function

Utilities

For testing