daft/
lib.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
#![cfg_attr(doc_cfg, feature(doc_auto_cfg))]
#![warn(missing_docs)]
#![cfg_attr(not(feature = "std"), no_std)]

//! Daft is a library to perform semantic diffs of Rust data structures.
//!
//! Daft consists of a trait called [`Diffable`], along with [a derive
//! macro][macro@Diffable] by the same name. This trait represents the
//! notion of a type for which two members can be simultaneously compared.
//!
//! # Features
//!
//! - **Recursive diffing** of structs, sets, and maps
//! - **Derive macro** for automatically generating diff types
//! - Choose between **eager** and **lazy** diffing
//! - **No-std compatible**, both with and without `alloc`
//!
//! # Usage
//!
//! ```rust
//! # #[cfg(all(feature = "std", feature = "derive"))] {
//! use daft::{Diffable, Leaf};
//!
//! // Annotate your struct with `#[derive(Diffable)]`:
//! #[derive(Diffable)]
//! struct MyStruct {
//!     a: i32,
//!     b: String,
//! }
//!
//! // This generates a type called MyStructDiff, which looks like:
//! # /*
//! #[automatically_derived]
//! struct MyStructDiff<'daft> {
//!     a: Leaf<&'daft i32>,
//!     b: Leaf<&'daft str>,
//! }
//! # */
//!
//! // Then, with two instances of MyStruct:
//! let before = MyStruct { a: 1, b: "hello".to_owned() };
//! let after = MyStruct { a: 2, b: "world".to_owned() };
//!
//! // You can diff them like so:
//! let diff = before.diff(&after);
//!
//! // And compare the results:
//! assert_eq!(*diff.a.before, 1);
//! assert_eq!(*diff.a.after, 2);
//! assert_eq!(diff.b.before, "hello");
//! assert_eq!(diff.b.after, "world");
//! # }
//! ```
//!
//! This crate assigns one side the name *before*, and the other side *after*.
//! These labels are arbitrary: if *before* and *after* are swapped, the diff is
//! reversed.
//!
//! ## Diff types
//!
//! Currently, daft comes with a few kinds of diff types:
//!
//! ### [`Leaf`] instances
//!
//! A [`Leaf`] represents a logical *leaf node* or *base case* in a diff, i.e. a
//! point at which diffing stops. [`Leaf`] instances are used for:
//!
//! * *Scalar* or *primitive types* like `i32`, `String`, `bool`, etc.
//! * *Enums*, since diffing across variants is usually not meaningful.
//! * Vector and slice types, since there are several reasonable ways to diff
//!   vectors (e.g. set-like, ordered, etc.) and we don't want to make assumptions.
//! * As an opt-in mechanism for struct fields: see
//!   [*Recursive diffs*](#recursive-diffs) below for more.
//!
//! #### Example
//!
//! A contrived example for integers:
//!
//! ```rust
//! use daft::{Diffable, Leaf};
//!
//! let diff: Leaf<&i32> = 1_i32.diff(&2);
//! assert_eq!(*diff.before, 1);
//! assert_eq!(*diff.after, 2);
//! ```
//!
//! Enums also use `Leaf`:
//!
//! ```rust
//! use daft::{Diffable, Leaf};
//!
//! // Option<T> uses Leaf:
//! let diff: Leaf<Option<&i32>> = Some(1_i32).diff(&Some(2));
//! assert_eq!(diff.before, Some(&1));
//! assert_eq!(diff.after, Some(&2));
//!
//! # #[cfg(feature = "derive")] {
//! // Automatically derived enums also use Leaf:
//! #[derive(Debug, PartialEq, Eq, Diffable)]
//! enum MyEnum {
//!     A(i32),
//!     B(String),
//! }
//!
//! let before = MyEnum::A(1);
//! let after = MyEnum::B("hello".to_string());
//!
//! let diff: Leaf<&MyEnum> = before.diff(&after);
//! assert_eq!(diff.before, &before);
//! assert_eq!(diff.after, &after);
//! # }
//! ```
//!
//! Vectors use `Leaf` as well:
//!
//! ```rust
//! # #[cfg(feature = "std")] {
//! use daft::{Diffable, Leaf};
//!
//! let before = vec![1, 2, 3];
//! let after = vec![4, 5, 6];
//! let diff: Leaf<&[i32]> = before.diff(&after);
//! assert_eq!(diff.before, &before);
//! assert_eq!(diff.after, &after);
//! # }
//! ```
//!
//! ### Map diffs
//!
//! For [`BTreeMap`] and [`HashMap`], daft has corresponding [`BTreeMapDiff`]
//! and [`HashMapDiff`] types. These types have fields for *common*, *added*,
//! and *removed* entries.
//!
//! Map diffs are performed eagerly for keys, but values are stored as leaf
//! nodes.
//!
//! #### Example
//!
//! ```rust
//! # #[cfg(feature = "std")] {
//! use daft::{Diffable, Leaf, BTreeMapDiff};
//! use std::collections::BTreeMap;
//!
//! let mut a = BTreeMap::new();
//! a.insert(1, "one");
//! a.insert(2, "two");
//! a.insert(3, "three");
//!
//! let mut b = BTreeMap::new();
//! b.insert(2, "two");
//! b.insert(3, "THREE");
//! b.insert(4, "four");
//!
//! let diff: BTreeMapDiff<'_, i32, &str> = a.diff(&b);
//!
//! // Added and removed entries are stored as maps:
//! assert_eq!(diff.added, [(&4, &"four")].into_iter().collect());
//! assert_eq!(diff.removed, [(&1, &"one")].into_iter().collect());
//!
//! // Common entries are stored as leaf nodes.
//! assert_eq!(
//!     diff.common,
//!     [
//!         (&2, Leaf { before: &"two", after: &"two" }),
//!         (&3, Leaf { before: &"three", after: &"THREE" })
//!     ]
//!     .into_iter().collect(),
//! );
//!
//! // If `V` implements `Eq`, unchanged and modified iterators become
//! // available. `unchanged` and `modified` return key-value pairs;
//! // `unchanged_keys` and `modified_keys` return keys; and
//! // `unchanged_values` and `modified_values` return values.
//! //
//! // Here's `unchanged_keys` to get the keys of unchanged entries:
//! assert_eq!(diff.unchanged_keys().collect::<Vec<_>>(), [&2]);
//!
//! // `modified_values` returns leaf nodes for modified entries.
//! assert_eq!(
//!     diff.modified_values().collect::<Vec<_>>(),
//!     [Leaf { before: &"three", after: &"THREE" }],
//! );
//! # }
//! ```
//!
//! ### Set diffs
//!
//! For [`BTreeSet`] and [`HashSet`], daft has corresponding [`BTreeSetDiff`]
//! and [`HashSetDiff`] types. These types have fields for *common*, *added*,
//! and *removed* entries.
//!
//! Set diffs are performed eagerly.
//!
//! #### Example
//!
//! ```rust
//! # #[cfg(feature = "std")] {
//! use daft::{Diffable, Leaf, BTreeSetDiff};
//! use std::collections::BTreeSet;
//!
//! let a: BTreeSet<i32> = [0, 1, 2, 3, 4, 5].into_iter().collect();
//! let b: BTreeSet<i32> = [3, 4, 5, 6, 7, 8].into_iter().collect();
//! let diff: BTreeSetDiff<'_, i32> = a.diff(&b);
//!
//! assert_eq!(diff.common, [&3, &4, &5].into_iter().collect());
//! assert_eq!(diff.added, [&6, &7, &8].into_iter().collect());
//! assert_eq!(diff.removed, [&0, &1, &2].into_iter().collect());
//! # }
//! ```
//!
//! ### Tuple diffs
//!
//! For a tuple like `(A, B, C)`, the [`Diffable`] implementation is recursive:
//! the diff resolves to `(A::Diff, B::Diff, C::Diff)`.
//!
//! #### Example
//!
//! ```rust
//! # #[cfg(feature = "std")] {
//! use daft::{BTreeSetDiff, Diffable, Leaf};
//! use std::collections::BTreeSet;
//!
//! let before: (usize, String, BTreeSet<usize>) = (1, "hello".to_owned(), [1, 2, 3].into_iter().collect());
//! let after = (2, "world".to_owned(), [2, 3, 4].into_iter().collect());
//!
//! let diff = before.diff(&after);
//! assert_eq!(
//!     diff,
//!     (
//!         Leaf { before: &1, after: &2 },
//!         Leaf { before: "hello", after: "world" },
//!         BTreeSetDiff {
//!             common: [&2, &3].into_iter().collect(),
//!             added: [&4].into_iter().collect(),
//!             removed: [&1].into_iter().collect(),
//!         }
//!     ),
//! );
//! # }
//! ```
//!
//! ### Struct diffs
//!
//! For structs, the [`Diffable`][macro@Diffable] derive macro generates
//! a diff type with a field corresponding to each field type. Each field must
//! implement [`Diffable`].
//!
//! A struct `Foo` gets a corresponding `FooDiff` struct, which has fields
//! corresponding to each field in `Foo`.
//!
//! #### Struct options
//!
//! * `#[daft(leaf)]`: if a **struct** is annotated with this, the [`Diffable`]
//!   implementation for the struct will be a [`Leaf`] instead of a recursive
//!   diff.
//!
//! #### Field options
//!
//! * `#[daft(leaf)]`: if a  **struct field** is annotated with this, the generated
//!   struct's corresponding field will be a [`Leaf`], regardless of the field's
//!   `Diff` type (or even whether it implements [`Diffable`] at all).
//! * `#[daft(ignore)]`: the generated struct's corresponding field is not included
//!   in the diff.
//!
//! #### Example
//!
//! For an example of structs with named fields, see [*Usage*](#usage) above.
//!
//! Tuple-like structs produce tuple-like diff structs:
//!
//! ```rust
//! # #[cfg(all(feature = "std", feature = "derive"))] {
//! use daft::Diffable;
//! use std::collections::BTreeMap;
//!
//! #[derive(Diffable)]
//! struct MyTuple(BTreeMap<i32, &'static str>, i32);
//!
//! let before = MyTuple(BTreeMap::new(), 1);
//! let after = MyTuple([(1, "hello")].into_iter().collect(), 2);
//! let diff = before.diff(&after);
//!
//! // The generated type is MyTupleDiff(BTreeMapDiff<i32, &str>, Leaf<i32>).
//! assert_eq!(**diff.0.added.get(&1).unwrap(), "hello");
//! assert_eq!(*diff.1.before, 1);
//! assert_eq!(*diff.1.after, 2);
//! # }
//! ```
//!
//! An example with `#[daft(leaf)]` on **structs**:
//!
//! ```rust
//! # #[cfg(feature = "derive")] {
//! use daft::{Diffable, Leaf};
//!
//! #[derive(Diffable)]
//! #[daft(leaf)]
//! struct MyStruct {
//!     a: i32,
//! }
//!
//! let before = MyStruct { a: 1 };
//! let after = MyStruct { a: 2 };
//! let diff: Leaf<&MyStruct> = before.diff(&after);
//!
//! assert_eq!(diff.before.a, 1);
//! assert_eq!(diff.after.a, 2);
//! # }
//! ```
//!
//! An example with `#[daft(leaf)]` on **struct fields**:
//!
//! ```rust
//! # #[cfg(feature = "derive")] {
//! use daft::{Diffable, Leaf};
//!
//! // A simple struct that implements Diffable.
//! #[derive(Debug, PartialEq, Eq, Diffable)]
//! struct InnerStruct {
//!     text: &'static str,
//! }
//!
//! // A struct that does not implement Diffable.
//! #[derive(Debug, PartialEq, Eq)]
//! struct PlainStruct(usize);
//!
//! #[derive(Diffable)]
//! struct OuterStruct {
//!     // Ordinarily, InnerStruct would be diffed recursively, but
//!     // with #[daft(leaf)], it is treated as a leaf node.
//!     #[daft(leaf)]
//!     inner: InnerStruct,
//!
//!     // PlainStruct does not implement Diffable, but using
//!     // daft(leaf) allows it to be diffed anyway.
//!     #[daft(leaf)]
//!     plain: PlainStruct,
//! }
//!
//! let before = OuterStruct { inner: InnerStruct { text: "hello" }, plain: PlainStruct(1) };
//! let after = OuterStruct { inner: InnerStruct { text: "world" }, plain: PlainStruct(2) };
//! let diff = before.diff(&after);
//!
//! // `OuterStructDiff` does *not* recursively diff `InnerStruct`, but instead
//! // returns a leaf node.
//! assert_eq!(
//!     diff.inner,
//!     Leaf { before: &InnerStruct { text: "hello" }, after: &InnerStruct { text: "world" } },
//! );
//!
//! // But you can continue the recursion anyway, since `InnerStruct` implements
//! // `Diffable`:
//! let inner_diff = diff.inner.diff_pair();
//! assert_eq!(
//!     inner_diff,
//!     InnerStructDiff { text: Leaf { before: "hello", after: "world" } },
//! );
//!
//! // `PlainStruct` can also be compared even though it doesn't implement `Diffable`.
//! assert_eq!(diff.plain, Leaf { before: &PlainStruct(1), after: &PlainStruct(2) });
//! # }
//! ```
//!
//! ### Custom diff types
//!
//! The [`Diffable`] trait can also be implemented manually for custom behavior.
//!
//! In general, most custom implementations will likely use one of the built-in
//! diff types directly.
//!
//! ### Example
//!
//! Some structs like identifiers should be treated as leaf nodes. This can be
//! implemented via `#[daft(leaf)]`, but also manually:
//!
//! ```rust
//! # #[cfg(feature = "std")] {
//! use daft::{Diffable, Leaf};
//!
//! struct Identifier(String);
//!
//! impl Diffable for Identifier {
//!     type Diff<'daft> = Leaf<&'daft Self>;
//!
//!     fn diff<'daft>(&'daft self, other: &'daft Self) -> Self::Diff<'daft> {
//!         Leaf {
//!             before: self,
//!             after: other,
//!         }
//!     }
//! }
//! # }
//! ```
//!
//! ## Type and lifetime parameters
//!
//! If a type parameter is specified, the [`Diffable`][macro@Diffable] derive
//! macro for structs normally requires that the type parameter implement
//! `Diffable`. This is not required if the field is annotated with
//! `#[daft(leaf)]`.
//!
//! Daft fully supports types with arbitrary lifetimes. Automatically generated
//! diff structs will have an additional `'daft` lifetime parameter at the
//! beginning, with the requirement that all other lifetime and type parameters
//! outlive it.
//!
//! ### Example
//!
//! ```rust
//! # #[cfg(feature = "derive")] {
//! use daft::Diffable;
//!
//! #[derive(Diffable)]
//! struct BorrowedData<'a, 'b, T: Diffable + ?Sized> {
//!     a: &'a str,
//!     b: &'b T,
//!     // TODO: example with daft(leaf)
//! }
//!
//! // This generates a struct that looks like:
//! # /*
//! #[automatically_derived]
//! struct BorrowedDataDiff<'daft, 'a: 'daft, 'b: 'daft, T: ?Sized + 'daft> {
//!     a: Leaf<'daft, &'a str>,
//!     b: T::Diff<'daft>,
//! }
//! # */
//! # }
//! ```
//!
//! # Optional features
//!
//! * `derive`: Enable the `Diffable` derive macro: **disabled** by default.
//!
//! Implementations for standard library types, all **enabled** by default:
//!
//! * `alloc`: Enable diffing for types from the [`alloc`] crate.
//! * `std`: Enable diffing for types from the [`std`] crate.
//!
//! (With `default-features = false`, daft is no-std compatible.)
//!
//! Implementations for third-party types, all **disabled** by default:
//!
//! * `uuid1`: Enable diffing for [`uuid::Uuid`].
//! * `oxnet01`: Enable diffing for network types from the [`oxnet`] crate.
//! * `newtype-uuid1`: Enable diffing for [`newtype_uuid::TypedUuid`].
//!
//! # Minimum supported Rust version (MSRV)
//!
//! The minimum supported Rust version is **1.81.0**. At any time, at least the
//! last three stable versions of Rust are supported.
//!
//! While this crate is a pre-release (0.x.x) it may have its MSRV bumped in a
//! patch release. Once this crate has reached 1.x, any MSRV bump will be
//! accompanied with a new minor version.
//!
//! # Related work
//!
//! [Diffus](https://crates.io/crates/diffus) is the original inspiration for
//! this crate and a great alternative. Daft diverges from diffus in a few ways:
//!
//! * Daft's derive macro does not attempt to diff enums with different variants.
//!   In practice, we've found that diffing enums across different variants is less
//!   useful than it first appears.
//!
//! * Daft has the notion of a [`Leaf`] type, which represents an atomic unit.
//!   (For example, the [`Diffable`] implementation for `i32` is a [`Leaf`].)
//!   [`Leaf`]s are also used for enums, as well as in any other place where lazy
//!   diffing is desired.
//!
//! * Diffus has a `Same` trait, which is like `Eq` except it's also implemented
//!   for floats. Daft doesn't have the `Same` trait, and its core
//!   functionality forgoes the need for `Eq` entirely.
//!
//!   For a primitive scalar like `f64`, you'll get a `Leaf` struct which you can
//!   compare with whatever notion of equality you want.
//!
//! * Daft uses a [generic associated type (GAT)][GAT] so that the `Diffable`
//!   trait no longer needs a lifetime parameter. This leads to simpler usage.
//!   (Diffus was written before GATs were available in stable Rust.)
//!
//! * Daft uses fewer types in general. For example, diffus wraps its return values
//!   in an outer `Edit` type, but daft does not.
//!
//! * Daft is no-std-compatible, while diffus requires std.
//!
//! [GAT]: https://blog.rust-lang.org/2021/08/03/GATs-stabilization-push.html
//! [`BTreeMap`]: std::collections::BTreeMap
//! [`BTreeSet`]: std::collections::BTreeSet
//! [`HashMap`]: std::collections::HashMap
//! [`HashSet`]: std::collections::HashSet

#[cfg(feature = "alloc")]
extern crate alloc;

#[macro_use]
mod macros;

#[cfg(feature = "alloc")]
mod alloc_impls;
mod core_impls;
mod diffable;
mod leaf;
#[cfg(feature = "std")]
mod std_impls;
mod third_party;

#[cfg(feature = "alloc")]
pub use alloc_impls::*;
/// Derive macro for the [`Diffable`] trait.
///
/// The behavior of this macro varies by type:
///
/// - For **structs**, this macro generates a corresponding recursive (eager)
///   diff type by default. A non-recursive (lazy) diff can be generated by
///   annotating the struct overall with `#[daft(leaf)]`.
/// - For **enums** and **unions**, this macro generates a non-recursive (lazy)
///   diff.
///
/// For more information, see the [crate-level documentation](crate).
#[cfg(feature = "derive")]
pub use daft_derive::Diffable;
pub use diffable::*;
pub use leaf::*;
#[cfg(feature = "std")]
pub use std_impls::*;