# Changelog

All notable changes to this project will be documented in this file.

## [0.1.0] - 2026-05-06

### Added

- `Typle.Type` -- set-theoretic type representation with constructors, formatting, `Inspect` and `String.Chars` protocol implementations.
- `Typle.Beam` -- ExCk chunk reader that decodes the `:elixir_checker_v7` format from compiled `.beam` files into `Typle.Type` structs.
- `Typle.SignatureStore` -- ETS-backed cache of function type signatures with lazy module loading.
- `Typle.Inference` -- AST-walking type inference engine with support for:
  - Literals, variables, match operators, pipes
  - Remote and local function calls
  - Pattern match type narrowing (`Typle.Inference.Pattern`)
  - Guard-based type refinement (`Typle.Inference.Guard`)
  - `case`/`cond`/`if`/`with`/`try`/`fn` expressions
  - Tuples, lists, maps, structs, binaries
- `Typle.Inference.Builtins` -- hardcoded type rules for 100+ functions from Kernel, Integer, String, Enum, Map, and IO.
- `Typle.Diagnostic` -- compiler diagnostic capture and type violation extraction.
- `Typle.Unstable` -- opt-in compiler replay layer with version pinning (Elixir 1.20.x).
- `mix typle` -- point and line type queries with `--format text|json` and `--unstable` flags.
- `mix typle.dump` -- full module type dump.
- Public API: `Typle.type_at/3`, `Typle.types_for/1`, `Typle.types_for_file/1`, `Typle.signatures/1`, `Typle.return_type/3`.