UniqueTypeArg
libretto.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
Witnesses that a value a: F[A]
cannot also be assigned a type F[B]
where B != A
.