Documentation
¶
Overview ¶
Package types contains target-independent semantic types.
Index ¶
- func Assignable(target, value Type) bool
- func Equivalent(left, right Type) bool
- func FunctionSignature(function Type) ([]Type, Type, bool)
- func IsLiteral(typ Type) bool
- type Kind
- type Type
- func CommonType(left, right Type) (Type, bool)
- func FromName(name string) Type
- func FunctionFailure(function Type) Type
- func FunctionOf(parameters []Type, result Type) Type
- func FunctionWithEffect(parameters []Type, result, failure Type) Type
- func LiteralBase(typ Type) (Type, bool)
- func LiteralFromSource(source string) (Type, bool)
- func LiteralUnionBase(typ Type) (Type, bool)
- func UnionOf(input ...Type) Type
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func Assignable ¶
func Equivalent ¶
Equivalent compares semantic types while ignoring binding-level readonly state. Mutable generic containers use it to avoid unsound argument widening.
Types ¶
type Kind ¶
type Kind string
const ( Invalid Kind = "invalid" // Never is the compiler-internal bottom type for expressions that cannot // produce a value because control leaves the current flow. Never Kind = "never" Any Kind = "any" Void Kind = "void" Bool Kind = "bool" Int Kind = "int" IntLiteral Kind = "int_literal" Float Kind = "float" String Kind = "string" StringLiteral Kind = "string_literal" Bytes Kind = "bytes" StringBuilder Kind = "string_builder" Array Kind = "array" Range Kind = "range" Iterable Kind = "iterable" Hash Kind = "hash" Function Kind = "function" Union Kind = "union" Named Kind = "named" Nil Kind = "nil" )
type Type ¶
type Type struct {
Kind Kind
Name string
Args []Type
// Fails is populated only for function values. A nil effect is the pure
// Never effect, keeping ordinary function types compact.
Fails *Type
Nullable bool
Readonly bool
}
func CommonType ¶ added in v0.1.8
CommonType returns the most-specific type that can represent both inputs through portable implicit conversions. It deliberately does not fall back to Any: callers choose whether a missing common type is an error, a union, or a dynamic boundary.
func FunctionFailure ¶ added in v0.2.3
func FunctionOf ¶ added in v0.2.3
func FunctionWithEffect ¶ added in v0.2.3
func LiteralBase ¶ added in v0.2.3
func LiteralFromSource ¶ added in v0.2.3
LiteralFromSource returns the compile-time type denoted by an explicit Integer or String literal in a type position. Literal types are erased to their ordinary scalar representation by non-TypeScript backends.
func LiteralUnionBase ¶ added in v0.2.3
Source Files
Click to show internal directories.
Click to hide internal directories.