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

semi

comma

colon

dcolon

whiteSpace

blanks

Parsing basic entities

fTyConP

lowerIdP

upperIdP

symbolP

constantP

integer

Parsing recursive entities

exprP

predP

qualifierP

Some Combinators

condIdP

Getting a Fresh Integer while parsing

freshIntP

Parsing Function

doParse'

parseFromFile

remainderP