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

Safe Haskell | None

Agda.Compiler.JS.Parser

# Documentation

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