Precise (original) (raw)

Scala 3

Generated with

Copyright (c) 2002-2025, LAMP/EPFL

Copyright (c) 2002-2025, LAMP/EPFL

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

Type members

Types

In this article

• Attributes
• Members list
  • Type members
    * Types

Generated with

Copyright (c) 2002-2025, LAMP/EPFL

Copyright (c) 2002-2025, LAMP/EPFL