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.