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

data Diff

This type is a Doc enriched with a same flag to efficiently track if any difference was detected

Constructors

Diff

Fields

• same :: Bool
• doc :: Doc Ann

Instances

IsString Diff

Defined in Dhall.Diff

Methods

fromString :: String -> Diff

Semigroup Diff

Defined in Dhall.Diff

Methods

(<>) :: Diff -> Diff -> Diff

sconcat :: NonEmpty Diff -> Diff

stimes :: Integral b => b -> Diff -> Diff

Monoid Diff

Defined in Dhall.Diff

Methods

mempty :: Diff

mappend :: Diff -> Diff -> Diff

mconcat :: [Diff] -> Diff

diffNormalized :: (Eq a, Pretty a, ToTerm a) => Expr s a -> Expr s a -> Diff

Render the difference between the normal form of two expressions

diff :: (Eq a, Pretty a) => Expr Void a -> Expr Void a -> Diff

Render the difference between two expressions