scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.semanticdb/SymbolInformation/Property/CONTRAVARIANT

CONTRAVARIANT

dotty.tools.dotc.semanticdb.SymbolInformation$.Property$.CONTRAVARIANT$
case object CONTRAVARIANT extends Property, Recognized

Attributes

Graph
Supertypes
trait Singleton
trait Product
trait Mirror
trait Recognized
class Property
trait SemanticdbGeneratedEnum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Inherited types

type EnumType = Property

Attributes

Inherited from:
Property
type MirroredElemLabels = EmptyTuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Singleton
type MirroredElemTypes = EmptyTuple

Attributes

Inherited from:
Singleton
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
type MirroredMonoType = Singleton.this.type

The mirrored *-type

The mirrored *-type

Attributes

Inherited from:
Singleton
type MirroredType = Singleton.this.type

Attributes

Inherited from:
Singleton

Value members

Concrete methods

override def isContravariant: Boolean

Attributes

Definition Classes

Inherited methods

final def asRecognized: Option[Recognized]

Attributes

Inherited from:
Property
def fromProduct(p: Product): MirroredMonoType

Create a new instance of type T with elements taken from product p.

Create a new instance of type T with elements taken from product p.

Attributes

Inherited from:
Singleton
def isAbstract: Boolean

Attributes

Inherited from:
Property
def isCase: Boolean

Attributes

Inherited from:
Property
def isCovariant: Boolean

Attributes

Inherited from:
Property
def isDefault: Boolean

Attributes

Inherited from:
Property
def isEnum: Boolean

Attributes

Inherited from:
Property
def isFinal: Boolean

Attributes

Inherited from:
Property
def isGiven: Boolean

Attributes

Inherited from:
Property
def isImplicit: Boolean

Attributes

Inherited from:
Property
def isInfix: Boolean

Attributes

Inherited from:
Property
def isInline: Boolean

Attributes

Inherited from:
Property
def isLazy: Boolean

Attributes

Inherited from:
Property
def isOpaque: Boolean

Attributes

Inherited from:
Property
def isOpen: Boolean

Attributes

Inherited from:
Property
def isPrimary: Boolean

Attributes

Inherited from:
Property
def isSealed: Boolean

Attributes

Inherited from:
Property
def isStatic: Boolean

Attributes

Inherited from:
Property
def isTransparent: Boolean

Attributes

Inherited from:
Property
def isUnknownProperty: Boolean

Attributes

Inherited from:
Property
def isUnrecognized: Boolean

Attributes

Inherited from:
SemanticdbGeneratedEnum
def isVal: Boolean

Attributes

Inherited from:
Property
def isVar: Boolean

Attributes

Inherited from:
Property
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
SemanticdbGeneratedEnum -> Any
Inherited from:
SemanticdbGeneratedEnum

Concrete fields

val index: Int
val name: String

Inherited fields

val value: Int

Attributes

Inherited from:
Property
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL