Language.Fixpoint.Parse

Top Level Class for Parseable Values

class Inputable a

Top Level Class for Parseable Values

type Parser

Lexer to add new tokens

lexer

Some Important keyword and parsers

reserved

reservedOp

parens

brackets

angles

braces

semi

comma

colon

dcolon

whiteSpace

blanks

pairP

Parsing basic entities

lowerIdP

upperIdP

infixIdP

symbolP

constantP

integer

bindP

sortP

mkQual

Parsing recursive entities

exprP

predP

funAppP

qualifierP

refaP

refP

refDefP

refBindP

bvSortP

Some Combinators

condIdP

Add a Location to a parsed value

locParserP

locLowerIdP

locUpperIdP

Getting a Fresh Integer while parsing

freshIntP

Parsing Function

doParse'

parseFromFile

remainderP

Utilities

isSmall

initPState

data PState

data Fixity

data Assoc

addOperatorP

For testing

expr0P

dataFieldP

dataCtorP

dataDeclP