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