API Reference Typle v#0.1.0

Expression-level type query library for Elixir 1.20+.

Reads inferred type signatures from compiled .beam files.

Captures and parses compiler diagnostics for type information.

Orchestrates type inference for a module or file.

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

Type environment for tracking variable types during inference.

Walks AST expressions and infers their types.

Refines variable types based on guard expressions.

Extracts variable type bindings from pattern matches.

ETS-backed cache of function type signatures.

Representation of Elixir set-theoretic types.

Opt-in layer that hooks into the compiler's private type checking infrastructure for deeper type inference.

Queries the inferred type at a specific position in a source file.

Dumps all inferred expression types for a module or file.