Type Members

1.  final case class AlignUnionMembers[T, A](attempts: Map[Path, List[A]], reporter: Reporter[T] = Reporter.id[T]) extends Comparison[T, A] with Product with Serializable

   Perform lists of recursive comparisons indexed by paths, then select the first positive result for each entry (or a mismatch if none) then combine results of all entries and enrich it.

2.  final case class Compare[T, A](a: A, reporter: Reporter[T] = Reporter.id[T]) extends Comparison[T, A] with Product with Serializable

   Perform a single recursive comparison and enrich its result

3.  final case class CompareBoth[T, A](x: A, y: A) extends Comparison[T, A] with Product with Serializable

   Perform two recursive comparisons and combine their results

4.  final case class CompareList[T, A](items: List[A], reporter: Reporter[T] = Reporter.id[T]) extends Comparison[T, A] with Product with Serializable

   Perform a list of recursive comparisons, combine and then enrich their results

5.  type CompatibleDelta[T] = Map[Path, List[Transformation[T]]]
6.  type Context[T] = (Path, Option[T], Option[T])

   The schemas being compared at a given path of the current comparison

7.  final case class End[T, A](result: Result[T]) extends Comparison[T, A] with Product with Serializable

   Early result: there is nothing left to compare

8.  final case class MatchInList[T, A](attempts: Vector[A], reporter: Reporter[T] = Reporter.id[T]) extends Comparison[T, A] with Product with Serializable

   Perform a list of recursive comparisons but return the first positive result (or a mismatch if none), enriched

9.  type Reporter[T] = (Result[T]) => Result[T]

   Function for result enrichment

10.  type Result[T] = (CompatibleDelta[T], List[Incompatibility])