diff package:dhall

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

Render the difference between two expressions

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

data Diff

dhall Dhall.Diff

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

Diff :: Bool -> Doc Ann -> Diff

dhall Dhall.Diff

Diff :: Text -> Text -> Mode

dhall Dhall.Main

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

dhall Dhall.Diff

Render the difference between the normal form of two expressions

difference :: Ord k => Map k a -> Map k b -> Map k a

dhall Dhall.Map

Compute the difference of two Maps by subtracting all keys from the second Map from the first Map

>>> difference (fromList [("C",1),("B",2)]) (fromList [("B",3),("A",4)])
fromList [("C",1)]

difference :: Ord a => Set a -> Set a -> [a]

dhall Dhall.Set

Returns, in order, all elements of the first Set not present in the second. (It doesn't matter in what order the elements appear in the second Set.)