UniqueTypeArg
libretto.lambda.util.UniqueTypeArg
Witnesses that a value a: F[A] cannot also be assigned a type F[B] where B != A.
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
object given_UniqueTypeArg_Expr
Members list
In this article