dhall-1.24.0: A configuration language guaranteed to terminate

Safe HaskellNone
LanguageHaskell2010

Dhall.Diff

Contents

Description

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

Synopsis

Diff

data Diff Source #

Constructors

Diff 

Fields

Instances
IsString Diff Source # 
Instance details

Defined in Dhall.Diff

Methods

fromString :: String -> Diff #

Semigroup Diff Source # 
Instance details

Defined in Dhall.Diff

Methods

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

sconcat :: NonEmpty Diff -> Diff #

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

Monoid Diff Source # 
Instance details

Defined in Dhall.Diff

Methods

mempty :: Diff #

mappend :: Diff -> Diff -> Diff #

mconcat :: [Diff] -> Diff #

diffExpression :: (Eq a, Pretty a) => Expr s a -> Expr s a -> Diff Source #

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

Render the difference between the normal form of two expressions

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

Render the difference between two expressions