scala.meta.contrib.equality

Members list

Type members

Classlikes

trait Equal[A]

Type class used to determine equality.

Type class used to determine equality.

For examples, see Structurally or Syntactically.

Inspired by cats.Eq and scalaz.Equal.

Attributes

Supertypes
class Object
trait Matchable
class Any
class Structurally[+A <: Tree](val tree: A) extends TreeEquality[A]

Represents structural equality between trees

Represents structural equality between trees

Two trees are structurally equal if their .structure is equal. This implementation is however more efficient that doing a.structure == b.structure.

Attributes

Companion
object
Supertypes
trait TreeEquality[A]
class Object
trait Matchable
class Any
object Structurally

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
class Syntactically[+A <: Tree](val tree: A) extends TreeEquality[A]

Represents syntactic equality between trees Two trees are syntactically equal if their .syntax is equal.

Represents syntactic equality between trees Two trees are syntactically equal if their .syntax is equal.

Attributes

Companion
object
Supertypes
trait TreeEquality[A]
class Object
trait Matchable
class Any
object Syntactically

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
trait TreeEquality[+A <: Tree]

Helper type used to help typechecker default to structural equality.

Helper type used to help typechecker default to structural equality.

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Structurally[A]
class Syntactically[A]