Eq

trait Eq[a: Type]Source

A trait for equality and inequality.

Instances

instance Eq[Boxed]Source

instance Eq[Chain[a]] with Eq[a]Source

instance Eq[ViewLeft[t]] with Eq[t]Source

instance Eq[ViewRight[t]] with Eq[t]Source

instance Eq[Comparison]Source

instance Eq[DelayList[a]] with Eq[a]Source

instance Eq[DelayMap[k, v]] with Eq[k], Eq[v]Source

instance Eq[Down[a]] with Eq[a]Source

instance Eq[Unit]Source

instance Eq[Bool]Source

instance Eq[Char]Source

instance Eq[Float32]Source

instance Eq[Float64]Source

instance Eq[BigDecimal]Source

instance Eq[Int8]Source

instance Eq[Int16]Source

instance Eq[Int32]Source

instance Eq[Int64]Source

instance Eq[BigInt]Source

instance Eq[String]Source

instance Eq[(a1, a2)] with Eq[a1], Eq[a2]Source

instance Eq[(a1, a2, a3)] with Eq[a1], Eq[a2], Eq[a3]Source

instance Eq[(a1, a2, a3, a4)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4]Source

instance Eq[(a1, a2, a3, a4, a5)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4], Eq[a5]Source

instance Eq[(a1, a2, a3, a4, a5, a6)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4], Eq[a5], Eq[a6]Source

instance Eq[(a1, a2, a3, a4, a5, a6, a7)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4], Eq[a5], Eq[a6], Eq[a7]Source

instance Eq[(a1, a2, a3, a4, a5, a6, a7, a8)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4], Eq[a5], Eq[a6], Eq[a7], Eq[a8]Source

instance Eq[(a1, a2, a3, a4, a5, a6, a7, a8, a9)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4], Eq[a5], Eq[a6], Eq[a7], Eq[a8], Eq[a9]

Source

instance Eq[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4], Eq[a5], Eq[a6], Eq[a7], Eq[a8], Eq[a9], Eq[a10]

Source

instance Eq[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4], Eq[a5], Eq[a6], Eq[a7], Eq[a8], Eq[a9], Eq[a10], Eq[a11]

Source

instance Eq[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4], Eq[a5], Eq[a6], Eq[a7], Eq[a8], Eq[a9], Eq[a10], Eq[a11], Eq[a12]

Source

instance Eq[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4], Eq[a5], Eq[a6], Eq[a7], Eq[a8], Eq[a9], Eq[a10], Eq[a11], Eq[a12], Eq[a13]

Source

instance Eq[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4], Eq[a5], Eq[a6], Eq[a7], Eq[a8], Eq[a9], Eq[a10], Eq[a11], Eq[a12], Eq[a13], Eq[a14]

Source

instance Eq[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)] with Eq[a1], Eq[a2], Eq[a3], Eq[a4], Eq[a5], Eq[a6], Eq[a7], Eq[a8], Eq[a9], Eq[a10], Eq[a11], Eq[a12], Eq[a13], Eq[a14], Eq[a15]

Source

instance Eq[Mode]Source

instance Eq[FileType]Source

instance Eq[VarSym]Source

instance Eq[PrecedenceEdge]Source

instance Eq[RamSym[v]]Source

instance Eq[RowVar]Source

instance Eq[PredSym]Source

instance Eq[IOError]Source

instance Eq[Identity[a]] with Eq[a]Source

instance Eq[List[a]] with Eq[a]Source

instance Eq[Map[k, v]] with Eq[k], Eq[v]Source

instance Eq[MultiMap[k, v]] with Eq[k], Eq[v]Source

instance Eq[Nec[a]] with Eq[a]Source

instance Eq[ViewLeft[a]] with Eq[a]Source

instance Eq[ViewRight[a]] with Eq[a]Source

instance Eq[Nel[a]] with Eq[a]Source

instance Eq[Option[t]] with Eq[t]Source

instance Eq[RedBlackTree[k, v]] with Eq[k], Eq[v]Source

instance Eq[Flag]Source

instance Eq[Result[e, t]] with Eq[e], Eq[t]Source

instance Eq[Set[a]] with Eq[a]Source

instance Eq[Validation[e, t]] with Eq[e], Eq[t]Source

instance Eq[Vector[a]] with Eq[a]Source

Signatures

def eq(x: a, y: a): Bool with Eq[a] Source

Returns true if and only if x is equal to y.

Trait Definitions

def neq(x: a, y: a): Bool with Eq[a] Source

Returns true if and only if x is not equal to y.