ClampEq
libretto.lambda.util.ClampEq
Equality test where value equality of a: F[A], b: F[B] implies type equality A =:= B. I.e., value equality "clamps" A and B together.
Corollary: a value a: F[A] cannot also be assigned a type F[B] where B != A: testEqual(a: F[A], a: F[B]) results in Some[A =:= B].
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object given_ClampEq_Expr
Members list
In this article