Analyzing structural differences in Rust values using visitors.
This crate provides three functions that you can use immediately without having to learn a bunch of traits.
You can derive
Diff for any custom type that implements
This scheme is modeled after a combination of
serde::Serialize. There are two main traits:
Diffis implemented by types that can be diff'd.
Differis implemented by types that can process differences.
You'll typically derive
Diff. Derived impls will simply present the
structure of the type honestly, much like a derived
Debug impl would.
However, you can also implement it by hand if you need special
The most detailed docs are on the
Differ implement the Visitor Pattern for
climbing over a data structure. This is a little different than some other
applications of visitors you might have encountered. In particular:
The structure being visited is the Rust notion of types: here is a struct, the struct has fields, etc. A custom impl of
Diffcan fake the internals of a type to abstract away details, but the model is still the same.
Instead of visiting the parts of a single data structure, here we are visiting two data structures of the same type in parallel. This means we stop visiting if the structures diverge -- for example, if we discover two different variants of an
enumtype. (When this happens we notify the
The double dispatch aspect of the visitor pattern occurs at compile time, rather than at runtime, so there's very little overhead. The description of the pattern on Wikipedia (and the book Design Patterns that originated the name "visitor") doesn't discuss this version, only considering
dyn-style runtime dispatch.
This crate is
no_std compatible, in case you want to diff data structures
in a deeply-embedded system.
A do-nothing differ that always winds up returning a fixed value.
Records a diff in a general data structure that can then be analyzed without knowledge of the original types involved.
Replacement for the standard
A type that can be compared structurally to discover differences.
A type that can do something with information about structural differences.
A type that can do something with information about differences in a map-like, key-value type.
A type that can do something with information about differences in a
sequence, like a slice or
A type that can do something with information about differences in a set-like sequence type, i.e. one in which elements are expected to be unique.
A type that can deal with differences in a
A type that can do something with information about differences in a tuple or tuple-like struct.
Checks if there is something different about every top-level part of
Checks for any difference between
Given two values that can be diffed, returns an object that will describe
their differences when formatted using