Test.StateMachine.Diffing

Class that will be used when diffing values. It ought to be instantiated with our vendored tree-diff (see Test.StateMachine.Diffing.TreeDiff), or other akin implementations.

Documentation

class CanDiff x where

Associated Types

type AnExpr x

Expressions that will be diffed

type ADiff x

What will the diff of two AnExprs result in

Methods

toDiff :: x -> AnExpr x

Extract the expression from the data

exprDiff :: Proxy x -> AnExpr x -> AnExpr x -> ADiff x

Diff two expressions

diffToDocCompact :: Proxy x -> ADiff x -> Doc

Output a diff in compact form

diffToDoc :: Proxy x -> ADiff x -> Doc

Output a diff

exprToDoc :: Proxy x -> AnExpr x -> Doc

Output an expression

ediff :: forall x. CanDiff x => x -> x -> ADiff x