curry-frontend-0.2.5: Compile the functional logic language Curry to several intermediate formats Source code Contents Index

Curry.Syntax.Parser

Documentation

parseSource :: Bool -> FilePath -> String -> MsgMonad Module Source

parseHeader :: FilePath -> String -> MsgMonad Module Source

moduleHeader :: Parser Token ([Decl] -> Module) a Source

exportSpec :: Parser Token ExportSpec a Source

export :: Parser Token Export a Source

decls :: Bool -> Parser Token [Decl] a Source

globalDecls :: Bool -> Parser Token [Decl] a Source

topDecl :: Bool -> Parser Token Decl a Source

localDefs :: Bool -> Parser Token [Decl] a Source

valueDecls :: Bool -> Parser Token [Decl] a Source

importDecl :: Parser Token Decl a Source

importSpec :: Parser Token ImportSpec a Source

infixDecl :: Parser Token Decl a Source

infixDeclLhs :: (Position -> Infix -> Integer -> a) -> Parser Token a b Source

dataDecl :: Bool -> Parser Token Decl a Source

newtypeDecl :: Parser Token Decl a Source

typeDecl :: Parser Token Decl a Source

typeDeclLhs :: (Position -> Ident -> [Ident] -> a) -> Category -> Parser Token a b Source

typeDeclRhs :: Parser Token TypeExpr a Source

constrDecl :: Bool -> Parser Token ConstrDecl a Source

newConstrDecl :: Parser Token NewConstrDecl a Source

existVars :: Parser Token [Ident] a Source

functionDecl :: Bool -> Parser Token Decl a Source

valueDecl :: Bool -> Parser Token Decl a Source

funDecl :: (Ident, Lhs) -> Rhs -> Position -> Decl Source

patDecl :: ConstrTerm -> Rhs -> Position -> Decl Source

funListDecl :: Bool -> Parser Token ([Ident] -> Position -> Decl) a Source

valListDecl :: Bool -> Parser Token ([Ident] -> Position -> Decl) a Source

funLhs :: Parser Token (Ident, Lhs) a Source

curriedLhs :: Parser Token (Ident, Lhs) a Source

declRhs :: Bool -> Parser Token Rhs a Source

rhs :: Bool -> Parser Token a b -> Parser Token Rhs b Source

externalDecl :: Parser Token Decl a Source

type0 :: Parser Token TypeExpr a Source

type1 :: Parser Token TypeExpr a Source

type2 :: Parser Token TypeExpr a Source

anonType :: Parser Token TypeExpr a Source

identType :: Parser Token TypeExpr a Source

parenType :: Parser Token TypeExpr a Source

tupleType :: Parser Token TypeExpr a Source

listType :: Parser Token TypeExpr a Source

literal :: Parser Token Literal a Source

constrTerm0 :: Parser Token ConstrTerm a Source

constrTerm1 :: Parser Token ConstrTerm a Source

constrTerm2 :: Parser Token ConstrTerm a Source

literalPattern :: Parser Token ConstrTerm a Source

anonPattern :: Parser Token ConstrTerm a Source

identPattern :: Parser Token ConstrTerm a Source

parenPattern :: Parser Token ConstrTerm a Source

listPattern :: Parser Token ConstrTerm a Source

lazyPattern :: Parser Token ConstrTerm a Source

recordPattern :: Parser Token ConstrTerm a Source

gconId :: Parser Token QualIdent a Source

negFloat :: Parser Token (Ident -> ConstrTerm) a Source

negNum :: Parser Token (Ident -> ConstrTerm) a Source

optAsPattern :: Parser Token (Ident -> ConstrTerm) a Source

optInfixPattern :: Parser Token (ConstrTerm -> ConstrTerm) a Source

optTuplePattern :: Parser Token (ConstrTerm -> ConstrTerm) a Source

parenMinusPattern :: Parser Token (Ident -> ConstrTerm) a -> Parser Token (Ident -> ConstrTerm) a Source

parenTuplePattern :: Parser Token ConstrTerm a Source

condExpr :: Bool -> Parser Token a b -> Parser Token CondExpr b Source

expr :: Bool -> Parser Token Expression a Source

expr0 :: Bool -> Parser Token Expression a Source

expr1 :: Bool -> Parser Token Expression a Source

expr2 :: Bool -> Parser Token Expression a Source

expr3 :: Bool -> Parser Token Expression a Source

constant :: Parser Token Expression a Source

variable :: Parser Token Expression a Source

parenExpr :: Bool -> Parser Token Expression a Source

infixOp :: Parser Token InfixOp a Source

listExpr :: Bool -> Parser Token Expression a Source

recordExpr :: Bool -> Parser Token Expression a Source

lambdaExpr :: Bool -> Parser Token Expression a Source

letExpr :: Bool -> Parser Token Expression a Source

doExpr :: Bool -> Parser Token Expression a Source

ifExpr :: Bool -> Parser Token Expression a Source

caseExpr :: Bool -> Parser Token Expression a Source

alts :: Bool -> Parser Token [Alt] a Source

alt :: Bool -> Parser Token Alt a Source

stmts :: Bool -> Parser Token ([Statement], Expression) a Source

reqStmts :: Bool -> Parser Token (Statement -> ([Statement], Expression)) a Source

optStmts :: Bool -> Parser Token (Expression -> ([Statement], Expression)) a Source

quals :: Bool -> Parser Token [Statement] a Source

stmt :: Bool -> Parser Token (Statement -> a) b -> Parser Token (Expression -> a) b -> Parser Token a b Source

letStmt :: Bool -> Parser Token (Statement -> a) b -> Parser Token (Expression -> a) b -> Parser Token a b Source

exprOrBindStmt :: Bool -> Parser Token (Statement -> a) b -> Parser Token (Expression -> a) b -> Parser Token a b Source

char :: Parser Token Char a Source

checkInt :: Parser Token Int a Source

int :: Parser Token Int a Source

checkFloat :: Parser Token Double a Source

float :: Parser Token Double a Source

checkInteger :: Parser Token Integer a Source

integer :: Parser Token Integer a Source

string :: Parser Token String a Source

tyvar :: Parser Token Ident a Source

tycon :: Parser Token Ident a Source

qtycon :: Parser Token QualIdent a Source

funId :: Parser Token Ident a Source

conId :: Parser Token Ident a Source

labId :: Parser Token Ident a Source

varId :: Parser Token Ident a Source

conSym :: Parser Token Ident a Source

funSym :: Parser Token Ident a Source

fun :: Parser Token Ident a Source

con :: Parser Token Ident a Source

var :: Parser Token Ident a Source

conop :: Parser Token Ident a Source

funop :: Parser Token Ident a Source

qConId :: Parser Token QualIdent a Source

qLabId :: Parser Token QualIdent a Source

qFunId :: Parser Token QualIdent a Source

qConSym :: Parser Token QualIdent a Source

qFunSym :: Parser Token QualIdent a Source

qcon :: Parser Token QualIdent a Source

qfun :: Parser Token QualIdent a Source

qconop :: Parser Token QualIdent a Source

gconop :: Parser Token QualIdent a Source

qfunop :: Parser Token QualIdent a Source

ident :: Parser Token Ident a Source

qIdent :: Parser Token QualIdent a Source

mIdent :: Parser Token ModuleIdent a Source

sym :: Parser Token Ident a Source

qSym :: Parser Token QualIdent a Source

colon :: Parser Token QualIdent a Source

minus :: Parser Token Ident a Source

fminus :: Parser Token Ident a Source

tupleCommas :: Parser Token QualIdent a Source

layout :: Parser Token a b -> Parser Token a b Source

brackets :: Parser Token a b -> Parser Token a b Source

parens :: Parser Token a b -> Parser Token a b Source

backquotes :: Parser Token a b -> Parser Token a b Source

braces :: Parser Token a b -> Parser Token a b Source

token :: Category -> Parser Token Attributes a Source

tokens :: [Category] -> Parser Token Attributes a Source

tokenOps :: [(Category, a)] -> Parser Token a b Source

comma :: Parser Token Attributes a Source

semicolon :: Parser Token Attributes a Source

bar :: Parser Token Attributes a Source

equals :: Parser Token Attributes a Source

binds :: Parser Token Attributes a Source

dot :: Parser Token Attributes a Source

checkEquals :: Parser Token Attributes a Source

checkBinds :: Parser Token Attributes a Source

checkBar :: Parser Token Attributes a Source

checkBackquote :: Parser Token Attributes a Source

backquote :: Parser Token Attributes a Source

rightParen :: Parser Token Attributes a Source

leftParen :: Parser Token Attributes a Source

rightBracket :: Parser Token Attributes a Source

leftBracket :: Parser Token Attributes a Source

leftBraceSemicolon :: Parser Token Attributes a Source

rightBrace :: Parser Token Attributes a Source

leftBrace :: Parser Token Attributes a Source

leftArrow :: Parser Token Attributes a Source

mkIdentPosition :: Position -> String -> Ident Source

Produced by Haddock version 2.4.2