Agda-2.3.0: A dependently typed functional programming language and proof assistant

Agda.Compiler.JS.Parser

Documentation

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