oxygen-meta
API
Generated with
oxygen-meta/oxygen/oxygen.meta/K0/IdentityGeneric

IdentityGeneric

oxygen.meta.K0.IdentityGeneric
trait IdentityGeneric[A] extends Generic[A]

Attributes

Graph
Supertypes
trait Generic[A]
trait Entity[A]
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

final class IdentityChild[B <: A] extends Child[B, A]

Attributes

Supertypes
trait Child[B, A]
trait Entity[B]
class Object
trait Matchable
class Any

Inherited classlikes

class CacheVals

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any
object ChildFunction0

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any
object ChildFunction1

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any
object ChildFunction2

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any
class MapChildren

Attributes

Inherited from:
Generic
Supertypes
class Object
trait Matchable
class Any

Types

final override type Bound = A
override type Child[B <: Bound] = IdentityChild[B]

Inherited types

final type AnyChild = Child[Bound]

Attributes

Inherited from:
Generic
type ChildFunction0[O[_ <: Bound]] = [b <: Bound] => (x$1: Quotes, x$2: Type[b]) ?=> Child[b] => O[b]

Attributes

Inherited from:
Generic
type ChildFunction1[I[_], O[_]] = [b <: Bound] => (x$1: Quotes, x$2: Type[b]) ?=> (Child[b], I[b]) => O[b]

Attributes

Inherited from:
Generic
type ChildFunction2[I1[_], I2[_], O[_]] = [b <: Bound] => (x$1: Quotes, x$2: Type[b]) ?=> (Child[b], I1[b], I2[b]) => O[b]

Attributes

Inherited from:
Generic
final type T = A

Attributes

Inherited from:
Generic

Value members

Inherited methods

final override def annotations(using Quotes): AnnotationsTyped[A]

Attributes

Definition Classes
Inherited from:
Generic
final def name: String

Attributes

Inherited from:
Entity
final override def pos: Position

Attributes

Definition Classes
Inherited from:
Generic
final def showTypeClassInstances[F[_] : Type](using evidence$1: Type[F], Quotes): Unit

Attributes

Inherited from:
Generic
def summonTypeClass[TC[_] : Type](using evidence$1: Type[TC], quotes: Quotes): Expr[TC[A]]

Attributes

Inherited from:
Entity
final def summonTypeClassOrDerive[TC[_] : Type](f: => Type[A] ?=> Expr[TC[A]])(using evidence$1: Type[TC], quotes: Quotes): Expr[TC[A]]

Attributes

Inherited from:
Entity

Concrete fields

final val child: IdentityChild[A]
final override val children: Contiguous[AnyChild]

Inherited fields

val cacheVals: CacheVals

Attributes

Inherited from:
Generic
val mapChildren: MapChildren

Attributes

Inherited from:
Generic

Inherited and Abstract fields

val label: String

Attributes

Inherited from:
Entity
val sym: Symbol

Attributes

Inherited from:
Entity
val typeRepr: TypeRepr

Attributes

Inherited from:
Entity

Givens

Inherited givens

given tpe: Type[A]

Attributes

Inherited from:
Entity
Generated with