Test.StateMachine.TreeDiff.Diffing

Implements CanDiff with our vendored version of tree-diff.

Orphan instances

ToExpr Var

Methods

toExpr :: Var -> Expr

listToExpr :: [Var] -> Expr

ToExpr x => CanDiff x

Associated Types

type AnExpr x

type ADiff x

Methods

toDiff :: x -> AnExpr x

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

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

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

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

ToExpr a => ToExpr (Concrete a)

Methods

toExpr :: Concrete a -> Expr

listToExpr :: [Concrete a] -> Expr

ToExpr (Opaque a)

Methods

toExpr :: Opaque a -> Expr

listToExpr :: [Opaque a] -> Expr

ToExpr a => ToExpr (Symbolic a)

Methods

toExpr :: Symbolic a -> Expr

listToExpr :: [Symbolic a] -> Expr

ToExpr (MockHandle t) => ToExpr (MockHandleN (Simple t) (RealHandle t))

Methods

toExpr :: MockHandleN (Simple t) (RealHandle t) -> Expr

listToExpr :: [MockHandleN (Simple t) (RealHandle t)] -> Expr

(ToExpr (MockState t), All (And ToExpr (Compose ToExpr (MockHandleN t))) (RealHandles t)) => ToExpr (Model t Concrete)

Methods

toExpr :: Model t Concrete -> Expr

listToExpr :: [Model t Concrete] -> Expr

All (And ToExpr (Compose ToExpr (MockHandleN t))) (RealHandles t) => ToExpr (Refss t Concrete)

Methods

toExpr :: Refss t Concrete -> Expr

listToExpr :: [Refss t Concrete] -> Expr

ToExpr (r a) => ToExpr (Reference a r)

Methods

toExpr :: Reference a r -> Expr

listToExpr :: [Reference a r] -> Expr

(ToExpr a, ToExpr (MockHandleN t a)) => ToExpr (Refs t Concrete a)

Methods

toExpr :: Refs t Concrete a -> Expr

listToExpr :: [Refs t Concrete a] -> Expr