stdlib

package

v0.1.7 Latest Latest Go to latest Published: Aug 6, 2026 License: MIT Imports: 6 Imported by: 0

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/type-rb/type-rb

Links

Open Source Insights

Documentation ¶

Overview ¶

Package stdlib describes compiler-known portable and platform packages. Definitions are semantic contracts; backends lower their intrinsic IDs to target APIs without leaking those APIs into the TypeRB source language.

Index ¶

func IsReservedPath(packagePath string) bool
func LookupReceiverMethod(receiver types.Type, name string) (*Package, Symbol, bool)
type Kind
type Package
- func Lookup(packagePath string) (*Package, bool)
- func RuntimeDependenciesForType(typ types.Type) []*Package
- func (p *Package) DefaultAlias() string
- func (p *Package) Supports(mode string) bool
type Parameter
type RuntimeExport
type Symbol
- func Instantiate(symbol Symbol, arguments []types.Type) Symbol
- func ReceiverMethods(receiver types.Type) []Symbol
- func (s Symbol) HasReceiver() bool

Constants ¶

This section is empty.

Variables ¶

This section is empty.

Functions ¶

func IsReservedPath ¶

func IsReservedPath(packagePath string) bool

func LookupReceiverMethod ¶

func LookupReceiverMethod(receiver types.Type, name string) (*Package, Symbol, bool)

Types ¶

type Kind ¶

type Kind string

const (
	Portable Kind = "portable"
	Platform Kind = "platform"
)

type Package ¶

type Package struct {
	Path           string
	ModulePath     string
	RuntimeAlias   string
	RuntimeExports []RuntimeExport
	Source         string
	Kind           Kind
	Internal       bool
	Targets        map[string]bool
	NativeSyntax   bool
	TypeProvider   string
	Symbols        map[string]Symbol
}

func Lookup ¶

func Lookup(packagePath string) (*Package, bool)

func RuntimeDependenciesForType ¶ added in v0.1.5

func RuntimeDependenciesForType(typ types.Type) []*Package

RuntimeDependenciesForType returns compiler-owned modules whose runtime declarations are named by a library intrinsic's result type. Source code still needs an explicit import to refer to those declarations directly.

func (*Package) DefaultAlias ¶

func (p *Package) DefaultAlias() string

func (*Package) Supports ¶

func (p *Package) Supports(mode string) bool

type Parameter ¶

type Parameter struct {
	Name     string
	Type     types.Type
	Optional bool
	Mutable  bool
}

type RuntimeExport ¶ added in v0.1.5

type RuntimeExport struct {
	Name string
	Kind string
}

type Symbol ¶

type Symbol struct {
	Name            string
	Intrinsic       string
	RequiredSymbols []string
	TypeParameters  []string
	Receiver        types.Type
	ReceiverMutable bool
	Parameters      []Parameter
	Return          types.Type
	Variadic        bool
	Inference       string
}

func Instantiate ¶

func Instantiate(symbol Symbol, arguments []types.Type) Symbol

Instantiate substitutes compiler-owned type parameters inferred from call arguments. The first occurrence fixes a type variable; later occurrences are checked against that substitution by the ordinary checker.

func ReceiverMethods ¶ added in v0.1.6

func ReceiverMethods(receiver types.Type) []Symbol

ReceiverMethods returns the portable receiver methods available for a checked type. Language tooling uses the same contracts as the checker so completion cannot advertise target-native or otherwise invalid members.

func (Symbol) HasReceiver ¶

func (s Symbol) HasReceiver() bool

Source Files ¶

View all Source files

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL