Agda-2.3.0: A dependently typed functional programming language and proof assistant
Agda.Compiler.JS.Parser
type Parser = ReadP Char
identifier :: Parser String
wordBoundary :: Parser ()
token :: String -> Parser ()
punct :: Char -> Parser ()
parened :: Parser a -> Parser a
braced :: Parser a -> Parser a
bracketed :: Parser a -> Parser a
quoted :: Parser a -> Parser a
stringLit :: Parser Exp
stringStr :: Parser String
stringChr :: Parser Char
escChr :: Parser Char
intLit :: Parser Exp
undef :: Parser Exp
localid :: Map String Nat -> Parser Exp
globalid :: Parser Exp
preop :: Parser String
binop :: Parser String
field :: Map String Nat -> Parser (MemberId, Exp)
object :: Map String Nat -> Parser Exp
function :: Map String Nat -> Parser Exp
bracedBlock :: Map String Nat -> Parser Exp
returnBlock :: Map String Nat -> Parser Exp
ifBlock :: Map String Nat -> Parser Exp
exp0 :: Map String Nat -> Parser Exp
exp1 :: Map String Nat -> Parser Exp
exp2 :: Map String Nat -> Parser Exp
exp2' :: Map String Nat -> Exp -> Parser Exp
exp3 :: Map String Nat -> Parser Exp
exp3' :: Map String Nat -> Exp -> Parser Exp
exp :: Map String Nat -> Parser Exp
topLevel :: Parser Exp
parse :: String -> Either Exp String