Safe Haskell	None
Language	Haskell2010

Test.StateMachine.TreeDiff.Diffing

Contents

Orphan instances

Description

Implements CanDiff with our vendored version of tree-diff.

Orphan instances

ToExpr Var Source #

Instance details

Methods

toExpr :: Var -> Expr Source #

listToExpr :: [Var] -> Expr Source #

ToExpr x => CanDiff x Source #

Instance details

Associated Types

type AnExpr x
Instance details Defined in Test.StateMachine.TreeDiff.Diffing type AnExpr x = Expr
type ADiff x
Instance details Defined in Test.StateMachine.TreeDiff.Diffing type ADiff x = Edit EditExpr

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

Instance details

Methods

toExpr :: Concrete a -> Expr Source #

listToExpr :: [Concrete a] -> Expr Source #

ToExpr (Opaque a) Source #

Instance details

Methods

toExpr :: Opaque a -> Expr Source #

listToExpr :: [Opaque a] -> Expr Source #

ToExpr a => ToExpr (Symbolic a) Source #

Instance details

Methods

toExpr :: Symbolic a -> Expr Source #

listToExpr :: [Symbolic a] -> Expr Source #

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

Instance details

Methods

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

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

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

Instance details

Methods

toExpr :: Model t Concrete -> Expr Source #

listToExpr :: [Model t Concrete] -> Expr Source #

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

Instance details

Methods

toExpr :: Refss t Concrete -> Expr Source #

listToExpr :: [Refss t Concrete] -> Expr Source #

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

Instance details

Methods

toExpr :: Reference a r -> Expr Source #

listToExpr :: [Reference a r] -> Expr Source #

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

Instance details

Methods

toExpr :: Refs t Concrete a -> Expr Source #

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