Empty

oxygen.meta.K0.ProductGeneric.Subset.Empty
trait Empty[A] extends Subset[A, Unit]

Attributes

Graph
Supertypes
trait Subset[A, Unit]
class Object
trait Matchable
class Any

Members list

Type members

Inherited classlikes

object subInstance

Attributes

Inherited from:
Subset
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

final def bGenericTyped[B]: CaseObjectGeneric[B]
final override def convert(a: Expr[A])(using Quotes): Expr[Unit]

Attributes

Definition Classes
final override def convertExpressions[F[_]](expressions: Expressions[F, A])(using Quotes): Expressions[F, Unit]

Attributes

Definition Classes

Inherited methods

final def convertExpr(using Quotes): Expr[A => Unit]

Attributes

Inherited from:
Subset
final def toEmpty(using Quotes): Empty[A]

Attributes

Inherited from:
Subset
final def toMany(using Quotes): Many[A, Unit]

Attributes

Inherited from:
Subset
final def toNonEmpty(using Quotes): NonEmpty[A, Unit]

Attributes

Inherited from:
Subset
final def toSingle(using Quotes): Single[A, Unit]

Attributes

Inherited from:
Subset
final 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
Subset -> Any
Inherited from:
Subset
final def typedAs[B2]: Subset[A, B2]

Attributes

Inherited from:
Subset

Inherited and Abstract methods

Attributes

Inherited from:
Subset

Abstract fields

val unitTypeRepr: TypeRepr

Concrete fields

final lazy override val bGeneric: CaseObjectGeneric[Unit]
final override val subsetType: String

Givens

Inherited givens

given aTpe: Type[A]

Attributes

Inherited from:
Subset
given bTpe: Type[Unit]

Attributes

Inherited from:
Subset