You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Eql is a typeclass used in multi-versal equality to check that regular universal equality == is allowed. I believe therefore that CanEqual is a better name. That way, we do not raise the expectation that this is some sort of equality typeclass. And we avoid confusion and possible nameclashes if oneone we want to introduce an equality typeclass ourselves.
The text was updated successfully, but these errors were encountered:
Eql
is a typeclass used in multi-versal equality to check that regular universal equality==
is allowed. I believe therefore thatCanEqual
is a better name. That way, we do not raise the expectation that this is some sort of equality typeclass. And we avoid confusion and possible nameclashes if oneone we want to introduce an equality typeclass ourselves.The text was updated successfully, but these errors were encountered: