equality

Type Members

1. trait Equal[A] extends AnyRef

   

   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.

2. class Structurally[+A <: Tree] 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.

3. class Syntactically[+A <: Tree] extends TreeEquality[A]

   

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

4. trait TreeEquality[+A <: Tree] extends AnyRef

   

   Helper type used to help typechecker default to structural equality.