flix

0.55.0

Eq

trait Eq[a: Type]Source

A trait for equality and inequality.

Instances

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[VarSym]Source
instance Eq[PrecedenceEdge]Source
instance Eq[RamSym[v]]Source
instance Eq[RowVar]Source
instance Eq[PredSym]Source
instance Eq[Boxed]Source
instance Eq[Identity[a]] with Eq[a]Source
instance Eq[IoError]Source
instance Eq[ErrorKind]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[Severity]Source
instance Eq[TimeUnit]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.