Precise
scala.Precise
A type class-like trait intended as a context bound for type variables. If we have [X: Precise], instances of the type variable X are inferred in precise mode. This means that singleton types and union types are not widened.
Attributes
- Experimental
- true
- Source
- Precise.scala
- Graph
-
- Supertypes
Members list
In this article