tl

type Arg ¶

type Arg struct{}

type BareType ¶

type BareType struct{}

type BoxedTypeIdent ¶

type BoxedTypeIdent struct {
	Name string
}

type BuiltinCombDecl ¶

type BuiltinCombDecl struct {
	Id     FullCombinatorId
	Result BoxedTypeIdent
}

A declaration is represented by one of the following declaration nodes.

type CombDecl ¶

type CombDecl struct {
	Id      FullCombinatorId
	OptArgs []OptionalArg
	Args    []Arg
	Result  ResultType
}

A declaration is represented by one of the following declaration nodes.

func (CombDecl) Name()

type Combinator ¶

type Combinator interface {
	Node
	Name() string
}

Combinator represents a constructor, function or a built-in combinator whose combinator-name can be computed.

type CombinatorId ¶

type CombinatorId struct {
	Id Ident
}

type ConstrDecl ¶

type ConstrDecl struct{}

A declaration is represented by one of the following declaration nodes.

func (ConstrDecl) Name()

type Declaration ¶

type Declaration interface {
	Node
	// contains filtered or unexported methods
}

Declaration represents a constructor or function declaration. All declaration nodes implement the Declaration interface.

type Expr ¶

type Expr struct{}

type FullCombinatorId ¶

type FullCombinatorId struct {
	Id Ident
}

type FuncDecl ¶

type FuncDecl struct{}

A declaration is represented by one of the following declaration nodes.

func (FuncDecl) Name()

type Ident ¶

type Ident struct {
	Name Token
}

func NewIdent(name string) Ident

func (i Ident) Text() string

type Item ¶

type Item int

Item represents a lexical token type.

const (
	ItemIllegal Item = iota
	ItemWhitespace
	ItemEOF

	ItemUnderscore   // _
	ItemColon        // :
	ItemSemicolon    // ;
	ItemOpenPar      // (
	ItemClosePar     // )
	ItemOpenBracket  // [
	ItemCloseBracket // ]
	ItemOpenBrace    // {
	ItemCloseBrace   // }
	ItemLeftAngle    // <
	ItemRightAngle   // >
	ItemTripleMinus  // ---
	ItemEquals       // =
	ItemHash         // #
	ItemExclMark     // !
	ItemQuestionMark // ?
	ItemPercent      // %
	ItemPlus         // +
	ItemComma        // ,
	ItemDot          // .
	ItemAsterisk     // *

	ItemNatConst // 4, 42, 421
	// LowerIdent represents lc-ident, lc-ident-ns and lc-ident-full
	ItemLowerIdent // user | user#decafbad | users.user | users.user#decafbad
	// UpperIdent represents uc-ident, uc-ident-ns
	ItemUpperIdent // User | group.User

	ItemFinal // Final
	ItemNew   // New
	ItemEmpty // Empty
)

func (i Item) String() string

type Node ¶

type Node interface {
	// contains filtered or unexported methods
}

Node represents a node in abstract syntax tree.

type OptionalArg ¶

type OptionalArg struct{}

type Parser ¶

type Parser struct {
	Trace bool // parsing mode
	// contains filtered or unexported fields
}

Parser holds the parser's internal state while consuming a given token.

func NewParser(r io.Reader) *Parser

func (p *Parser) Err() error

func (p *Parser) Parse() (program Program)

type Program ¶

type Program struct {
	Constructors []ConstrDecl

	// Optional
	Functions []FuncDecl
	Types     []ConstrDecl
}

Program represents a TL program.

https://core.telegram.org/mtproto/TL-formal

type ResultType ¶

type ResultType struct{}

type Scanner ¶

type Scanner struct {
	// contains filtered or unexported fields
}

Scanner implements a TL (Type Language) lexer.

func NewScanner(r io.Reader) *Scanner

func (s *Scanner) Err() error

func (s *Scanner) Next() rune

func (s *Scanner) Scan() Token

type Token ¶

type Token struct {
	// Type of token
	Token Item

	// Literal value of token
	Literal string
}

Token represents a lexical token.

func (t Token) HasName() bool

func (t Token) HasNamespace() bool

func (t Token) String() string

type TypeIdent ¶

type TypeIdent struct {
	Name string
}