std

package

v0.0.0-...-7e8a755 Latest Latest Go to latest Published: Feb 28, 2020 License: BSD-2-Clause Imports: 8 Imported by: 5

Details

Valid go.mod file

The Go module system was introduced in Go 1.11 and is the official dependency management solution for Go.
Redistributable license

Redistributable licenses place minimal restrictions on how software can be used, modified, and redistributed.
Tagged version

Modules with tagged versions give importers more predictable builds.
Stable version

When a project reaches major version v1 it is considered stable.
Learn more about best practices

Package std provides built-in expression resolvers.

This section is empty.

View Source

var ErrExpectNumer = cor.StrError("expected numer argument")

View Source

var Std = exp.Builtin{Core, Decl}

Std is an environment that includes both the Core and Decl lookup function.

func Core(sym string) *exp.Spec

Core is a resolver lookup for all standard forms, not involving declarations or functions.

Logic forms:

and, or, bool, not, if

Arithmetic forms:

add, mul, sub, div, rem, abs, neg, min, max

Comparison forms:

eq, ne, equal, in, ni, lt, le, gt, ge

Other forms:

len, with, dyn, con, cat, apd, set

func Decl(sym string) *exp.Spec

Decl is a resolver lookup for the declaration and container forms.

Declaration forms:

let and fn

Container forms:

fst, lst, nth, filter, map, fold, foldr

func DefaultResl(x CallCtx) (exp.El, error)

func SpecDX(sig string, x Evaler) *exp.Spec

func SpecDXX(sig string, x Evaler) *exp.Spec

func SpecRX(sig string, r, x Evaler) *exp.Spec

func SpecXX(sig string, x Evaler) *exp.Spec

type CallCtx struct {
	*exp.Prog
	Env exp.Env
	*exp.Call
	Hint typ.Type
}

type Evaler func(CallCtx) (exp.El, error)

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

func (r *SpecImpl) Eval(p *exp.Prog, env exp.Env, c *exp.Call, h typ.Type) (exp.El, error)

func (r *SpecImpl) Resl(p *exp.Prog, env exp.Env, c *exp.Call, h typ.Type) (exp.El, error)