quickcheck-state-machine-0.9.0: Test monadic programs using state machine based models
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.StateMachine.Diffing

Description

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 Source #

Associated Types

type AnExpr x Source #

Expressions that will be diffed

type ADiff x Source #

What will the diff of two AnExprs result in

Methods

toDiff :: x -> AnExpr x Source #

Extract the expression from the data

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

Diff two expressions

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

Output a diff in compact form

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

Output a diff

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

Output an expression

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