checker

Documentation

Overview

Package checker defines functions to type-checked a parsed expression against a set of identifier and function declarations.

Index

• func Check(parsedExpr *expr.ParsedExpr, env *Env) *checked.CheckedExpr
• func FormatCheckedType(t *checked.Type) string
• func StandardDeclarations() []*checked.Decl
• type Env
  • func NewEnv(packager packages.Packager, typeProvider ref.TypeProvider, ...) *Env
  • func NewStandardEnv(packager packages.Packager, typeProvider ref.TypeProvider, ...) *Env
  • func (e *Env) Add(decls ...*checked.Decl)
  • func (e *Env) LookupFunction(typeName string) *checked.Decl
  • func (e *Env) LookupIdent(typeName string) *checked.Decl

Functions

func Check

func Check(parsedExpr *expr.ParsedExpr, env *Env) *checked.CheckedExpr

func FormatCheckedType

func FormatCheckedType(t *checked.Type) string

FormatCheckedType converts a type message into a string representation.

func StandardDeclarations

func StandardDeclarations() []*checked.Decl

Types

type Env

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

func NewEnv

func NewEnv(packager packages.Packager,
	typeProvider ref.TypeProvider,
	errors *common.Errors) *Env

func NewStandardEnv

func NewStandardEnv(packager packages.Packager,
	typeProvider ref.TypeProvider,
	errors *common.Errors) *Env

func (*Env) Add

func (e *Env) Add(decls ...*checked.Decl)

func (*Env) LookupFunction

func (e *Env) LookupFunction(typeName string) *checked.Decl

func (*Env) LookupIdent

func (e *Env) LookupIdent(typeName string) *checked.Decl