Type Members

1.  final case class At[T](path: Path, transformation: Transformation[T]) extends Product with Serializable
2.  sealed trait Comparison[T, A] extends AnyRef

   An ADT representing the "shape" of the computation of the differences between two schemas.

   An ADT representing the "shape" of the computation of the differences between two schemas.

   Comparing two schemas involves recursively comparing (various combinations of) their respective sub-schemas; each member of the Comparison ADT represents one of such combination of recursive comparisons.

   T

   the type of schemas under comparison, typically a fix-point of higherkindness.skeuomorph.mu.MuF, like Mu[MuF]

   A

   the type acted upon by this pattern-functor

3.  trait ComparisonInstances extends AnyRef
4.  sealed trait Incompatibility extends AnyRef
5.  final case class Path(elements: Vector[PathElement]) extends Product with Serializable
6.  sealed trait PathElement extends Product with Serializable
7.  sealed trait Transformation[T] extends AnyRef