parser

Documentation

Overview

This parser package provides lexer and parser of lambda calculus.

Note that parser.go is auto-generated from parser.y, using goyacc. (So there is some auto-generated constants even in godoc of this package.)

If you want to re-generate parser.go, run

$ go generate

or use goyacc directly (please look at generate.go).

If you want to know more, especially about <prefix>Lexer and <prefix>Parser, read the godoc of goyacc.

References:

• golang.org/x/tools/cmd/goyacc/testdata/expr/expr.y

• http://qiita.com/draftcode/items/c9f2422fca14133c7f6a

• github.com/golang/go/src/go/parser/parser_test.go

TODO(nekketsuuu): Add a location info into yyLex, and print a error with the location.

TODO(nekketsuuu): Use buffer instead of naive []bytes.

Index

• Constants
• func IsBasicDigit(r rune) bool
• func IsBasicLatinAlphabet(r rune) bool
• func ParseExpr(e string) (syntax.Lambda, error)
• func ParseFile(filename string) (syntax.Lambda, error)

Constants

const DOT = 57349

const IDENT = 57350

const LAMBDA = 57348

const LPAR = 57346

const RPAR = 57347

Functions

func IsBasicDigit

func IsBasicDigit(r rune) bool

IsBasicDigit reports whether the rune is a letter of [0-9].

func IsBasicLatinAlphabet

func IsBasicLatinAlphabet(r rune) bool

IsBasicLatinAlphabet reports whether the rune is a letter of [A-Za-z].

func ParseExpr

func ParseExpr(e string) (syntax.Lambda, error)

ParseExpr returns the lambda AST of the argument.

func ParseFile

func ParseFile(filename string) (syntax.Lambda, error)

ParseFile parses single file as a lambda term, and return the AST.

Note that this function is different from go/parser.ParseFile. ParseFile converts the content of the file into the AST

Note that the interface of this function is different from go/parser.ParseFile