EqT

ostrat.EqT
See theEqT companion trait
object EqT

The companion object for the EqT type class, containing instances for common types. This does not currently use a functor instance for a number of reasons.

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
EqT.type

Members list

Givens

Givens

given arrayEv[A](using ev: EqT[A]): EqT[Array[A]]

Implicit EqT type class instance / evidence for Boolean.

Implicit EqT type class instance / evidence for Boolean.

Attributes

given charEv: EqT[Char]

Implicit EqT type class instance / evidence for Char.

Implicit EqT type class instance / evidence for Char.

Attributes

given doubleEv: EqT[Double]

Implicit EqT type class instance for Double.

Implicit EqT type class instance for Double.

Attributes

given intEv: EqT[Int]

Implicit EqT type class instance for Int.

Implicit EqT type class instance for Int.

Attributes

given listEv[A](using ev: EqT[A]): EqT[List[A]]
given noneEv: EqT[None.type]

Implicit EqT type class instance / evidence for None.

Implicit EqT type class instance / evidence for None.

Attributes

given optionEv[A](using ev: EqT[A]): EqT[Option[A]]

Implicit EqT type class instances / evidence for Option.

Implicit EqT type class instances / evidence for Option.

Attributes

given seqEv[A](using ev: EqT[A]): EqT[Seq[A]]
given someEv[A](using ev: EqT[A]): EqT[Some[A]]

Implicit EqT type class instance / evidence for Some.

Implicit EqT type class instance / evidence for Some.

Attributes

given stringEv: EqT[String]

Implicit EqT type class instance / evidence for String.

Implicit EqT type class instance / evidence for String.

Attributes

given tuple2Ev[A1, A2](using eq1: EqT[A1], eq2: EqT[A2]): EqT[(A1, A2)]
given vectorEv[A](using ev: EqT[A]): EqT[Vector[A]]