Agda-2.2.4: A dependently typed functional programming language and proof assistant Source code Contents Index

Agda.Syntax.Parser.Parser

Description

The parser is generated by Happy (http://www.haskell.org/happy).

Synopsis

moduleParser :: Parser ([Pragma], [Declaration]) exprParser :: Parser Expr tokensParser :: Parser [Token]

Documentation

moduleParser :: Parser ([Pragma], [Declaration]) Source

Parse a module.

exprParser :: Parser Expr Source

Parse an expression. Could be used in interactions.

tokensParser :: Parser [Token] Source

Parse the token stream. Used by the TeX compiler.

Produced by Haddock version 2.4.2