API Reference gradualizer v0.2.0

Modules

Gradualizer is a static type checker for Erlang with support for gradual typing.

Gradualizer command line interface.

A utility module to make troubleshooting problems by tracing Gradualizer internals more efficient. Configuration of this module is compile time, but using the tracing facilities is more efficient than traditional printf-debugging anyway.

The Rebar3 plugin for Gradualizer.

Example user_default file to extend your Erlang shell with Gradualizer features.