visualize-type-inference

Simulate simple constraint-based type inference

https://github.com/teach-plt/visualize-type-inference#readme

Stackage Nightly 2025-12-15:	0.0.1.0
Latest on Hackage:	0.0.1.0

See all snapshots visualize-type-inference appears in

BSD-3-Clause licensed and maintained by Andreas Abel

This version can be pinned in stack with:visualize-type-inference-0.0.1.0@sha256:a498040a06f8091095cae7f5e772b8f8096da238b8f8a1faf11d86dd31a8356a,1829

Module documentation for 0.0.1.0

There are no documented modules for this package.

Depends on 9 packages(full list with versions):

ansi-terminal, array, base, containers, mtl, optparse-applicative, prettyprinter, prettyprinter-ansi-terminal, string-qq

Constraint-based inference for simple types is traced step-by-step, both for the original algorithm J that eagerly applies substitutions gained from unification, and a more modern conception that separates constraint generation from constraint solving.