Equal
Used to document laws in a typechecked manner. The purpose of expression Equal(f, g)
is just to ensure
that f
and g
compile and are of the same type.
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Used to document laws in a typechecked manner. The purpose of expression Equal(f, g)
is just to ensure
that f
and g
compile and are of the same type.