Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://scala-lang.org/api/3.x/scala/annotation/RefiningAnnotation.html below:

RefiningAnnotation

Generated with

Copyright (c) 2002-2025, LAMP/EPFL

Copyright (c) 2002-2025, LAMP/EPFL

scala.annotation.RefiningAnnotation

A base trait for annotations that yield proper subtypes of the types they annotate. Refining annotations are more "sticky" than normal ones. They are conceptually kept around when normal refinements would also not be stripped away.

Source

RefiningAnnotation.scala

Graph

Supertypes

Generated with

Copyright (c) 2002-2025, LAMP/EPFL

Copyright (c) 2002-2025, LAMP/EPFL

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4