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