typesystem

package

v0.41.0 Latest Latest Go to latest Published: Aug 5, 2026 License: MIT Imports: 1 Imported by: 0

Details

Package typesystem re-exports Neva type-system structures for external tooling.

View Source

const (
	EmptyLitType  = ts.EmptyLitType
	StructLitType = ts.StructLitType
	UnionLitType  = ts.UnionLitType
)

This section is empty.

This section is empty.

type Def = ts.Def

type Expr = ts.Expr

type InstExpr = ts.InstExpr

type LitExpr = ts.LitExpr

type LiteralType = ts.LiteralType

type Param = ts.Param

type Resolver = ts.Resolver

func MustNewResolver(
	validator Validator,
	checker SubtypeChecker,
	terminator Terminator,
) Resolver

type Scope = ts.Scope

type SubtypeChecker = ts.SubtypeChecker

func MustNewSubtypeChecker(terminator Terminator) SubtypeChecker

type Terminator = ts.Terminator

type TerminatorParams = ts.TerminatorParams

type Validator = ts.Validator