package
patterns
Type Members
-
final
case class
Added[T[_[_]], F[_], A](right: T[F]) extends Diff[T, F, A] with Product with Serializable
-
final
case class
CoEnv[E, F[_], A](run: \/[E, F[A]]) extends Product with Serializable
-
-
-
final
case class
ConsF[A, B](car: A, cdr: B) extends ListF[A, B] with Product with Serializable
-
final
case class
Deleted[T[_[_]], F[_], A](left: F[A]) extends Diff[T, F, A] with Product with Serializable
-
sealed
trait
Diff[T[_[_]], F[_], A] extends AnyRef
-
-
-
type
DiffT[T[_[_]], F[_]] = T[[γ]Diff[T, F, γ]]
-
-
final
case class
Different[T[_[_]], F[_], A](left: T[F], right: T[F]) extends Diff[T, F, A] with Product with Serializable
-
final
case class
EnvT[E, W[_], A](run: (E, W[A])) extends Product with Serializable
-
-
-
-
-
-
final
case class
Inserted[T[_[_]], F[_], A](right: F[A]) extends Diff[T, F, A] with Product with Serializable
-
sealed
trait
ListF[A, B] extends AnyRef
-
final
case class
LocallyDifferent[T[_[_]], F[_], A](left: F[A], right: F[Unit]) extends Diff[T, F, A] with Product with Serializable
-
-
-
-
type
PotentialFailureT[T[_[_]], F[_], E] = T[[δ]PotentialFailure[T, F, E, δ]]
-
final
case class
Removed[T[_[_]], F[_], A](left: T[F]) extends Diff[T, F, A] with Product with Serializable
-
final
case class
Same[T[_[_]], F[_], A](ident: T[F]) extends Diff[T, F, A] with Product with Serializable
-
final
case class
Similar[T[_[_]], F[_], A](ident: F[A]) extends Diff[T, F, A] with Product with Serializable
-