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

Safe Haskell	None

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 Exp Source

stringStr :: Parser StringSource

stringChr :: Parser CharSource

escChr :: Parser CharSource

intLit :: Parser Exp Source

undef :: Parser Exp Source

localid :: Map String Nat -> Parser Exp Source

globalid :: Parser Exp Source

preop :: Parser StringSource

binop :: Parser StringSource

field :: Map String Nat -> Parser (MemberId, Exp)Source

object :: Map String Nat -> Parser Exp Source

function :: Map String Nat -> Parser Exp Source

bracedBlock :: Map String Nat -> Parser Exp Source

returnBlock :: Map String Nat -> Parser Exp Source

ifBlock :: Map String Nat -> Parser Exp Source

exp0 :: Map String Nat -> Parser Exp Source

exp1 :: Map String Nat -> Parser Exp Source

exp2 :: Map String Nat -> Parser Exp Source

exp2' :: Map String Nat -> Exp -> Parser Exp Source

exp3 :: Map String Nat -> Parser Exp Source

exp3' :: Map String Nat -> Exp -> Parser Exp Source

exp :: Map String Nat -> Parser Exp Source

topLevel :: Parser Exp Source

parse :: String -> Either Exp StringSource