Dhall.Diff

This module provides functionality for concisely displaying the difference between two expressions

For example, this is used in type errors to explain why the actual type does not match the expected type

Diff

diffNormalized :: (Eq a, Pretty a) => Expr s a -> Expr s a -> Doc Ann

Render the difference between the normal form of two expressions

diff :: (Eq a, Pretty a) => Expr s a -> Expr s a -> Doc Ann

Render the difference between two expressions