Modulequickcheck-state-machine-0.10.4
Test.StateMachine.TreeDiff.Diffing
- Packagequickcheck-state-machine-0.10.4
- Exports0
- LicenceBSD-3-Clause
Orphan instances
10 instancesToExpr VarToExpr x => CanDiff xToExpr (Opaque a)ToExpr a => ToExpr (Concrete a)ToExpr a => ToExpr (Symbolic a)ToExpr (MockHandle t) => ToExpr (MockHandleN (Simple t) (RealHandle t))ToExpr (r a) => ToExpr (Reference a r)All (And ToExpr (Compose ToExpr (MockHandleN t))) (RealHandles t) => ToExpr (Refss t Concrete)(ToExpr (MockState t), All (And ToExpr (Compose ToExpr (MockHandleN t))) (RealHandles t)) => ToExpr (Model t Concrete)(ToExpr a, ToExpr (MockHandleN t a)) => ToExpr (Refs t Concrete a)