Expand description
Implementation and type-checking of built-in functions, constructors and operators.
§Warning
Some functions are still TODO and are documented as such.
§Functions
See call_builtin_fn/type_builtin_fn Individual functions in module call.
§Constructors
See call_ctor/type_ctor. Individual functions in module ctor.
§Operators
See call_unary_op/type_unary_op and call_binary_op/type_binary_op.
Individual operators are implemented on the Instance and Type types directly
with the op_* functions.
Re-exports§
pub use ctor::is_ctor;pub use ctor::struct_ctor;pub use ctor::type_ctor;pub use ctor::typecheck_struct_ctor;
Modules§
- call
- Built-in functions call implementations.
- ctor
- Constructor implementations, including zero-value constructors.
Functions§
- builtin_
type - Constructs a builtin type.
- call_
binary_ op - Call a binary operator.
- call_
builtin_ fn - Call a built-in function.
- call_
ctor - Call a constructor.
- call_
unary_ op - Call a unary operator.
- type_
binary_ op - Compute the return type of a binary operator expression.
- type_
builtin_ fn - Compute the return type of calling a built-in function.
- type_
unary_ op - Compute the return type of a unary operator expression.