org.specs2.matcher.describe.Diffable$
See theDiffable companion trait
object Diffable extends DiffableLowImplicits
Note: variance is not managed by having a Diffable typeclass with a contravariant parameter Diffable[-T] In that the implicit for case classes (see product
) can not be found.
Instead we deal with variance at the level of each implicit.
For example given exceptionDiffable[T <: Throwable]: Diffable[T] = new ThrowableDiffable[T]
will be found for any custom exception extending Throwable. Similarly we can get a diff for RightString, Int and RightString, Int with given eitherDiffable[L: Diffable, R: Diffable, T <: Either[L, R]]
because we unify both Rights with Either[String, Int]
Attributes
- Companion
- trait
- Graph
-
- Supertypes
-
trait DiffableLowImplicitstrait DiffableLowImplicits2trait DiffableLowImplicits3class Objecttrait Matchableclass Any
- Self type
-
Diffable.type
Members list
In this article