Safe Haskell	Safe-Inferred
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 # type ADiff x # Methods toDiff :: x -> AnExpr x # exprDiff :: Proxy x -> AnExpr x -> AnExpr x -> ADiff x # diffToDocCompact :: Proxy x -> ADiff x -> Doc # diffToDoc :: Proxy x -> ADiff x -> Doc # exprToDoc :: Proxy x -> AnExpr x -> Doc #
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 #