# `mix erlex.typecheck`
[🔗](https://github.com/christhekeele/erlex/blob/0.2.9/lib/mix/tasks/erlex.typecheck.ex#L1)

Runs Erlang's Dialyzer directly via the `:dialyzer` module.

This custom task exists because erlex cannot use dialyxir - dialyxir
depends on erlex, creating a circular dependency. Instead, we invoke
the Dialyzer API directly through Elixir.

## Usage

    # Run type checking (builds PLT if missing)
    mix erlex.typecheck

    # Build/rebuild the PLT cache
    mix erlex.typecheck --build-plt

    # Clean the PLT cache
    mix erlex.typecheck --clean

## Configuration

The PLT is stored in `priv/plts/dialyzer.plt` and includes the core
Erlang/Elixir applications: erts, kernel, stdlib, elixir, mix.

---

*Consult [api-reference.md](api-reference.md) for complete listing*