Typle.Inference.Builtins (Typle v0.1.0)

View Source

Hardcoded type rules for Kernel operators and commonly used stdlib functions.

These rules are applied during inference even when beam signatures are not available, providing a baseline for type propagation through arithmetic, comparison, and string operations.

Summary

Functions

return_type(module, function, arity, arg_types)

Returns the return type for a known builtin call, or nil if unknown.

Functions

return_type(module, function, arity, arg_types)

@spec return_type(module() | nil, atom(), non_neg_integer(), [Typle.Type.t()]) ::
  Typle.Type.t() | nil

Returns the return type for a known builtin call, or nil if unknown.