oxygen-meta
API
Generated with
oxygen-meta/oxygen/oxygen.meta/K0/ProductGeneric/Subset/NonEmpty

NonEmpty

oxygen.meta.K0.ProductGeneric.Subset.NonEmpty
sealed trait NonEmpty[A, T] extends Subset[A, T]

Attributes

Graph
Supertypes
trait Subset[A, T]
class Object
trait Matchable
class Any
Known subtypes
trait Many[A, B]
trait Single[A, B]

Members list

Type members

Inherited classlikes

object subInstance

Attributes

Inherited from:
Subset
Supertypes
class Object
trait Matchable
class Any

Value members

Inherited methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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

def aGeneric: ProductGeneric[A]

Attributes

Inherited from:
Subset
def bGeneric: Generic[T]

Attributes

Inherited from:
Subset
def convert(a: Expr[A])(using Quotes): Expr[T]

Attributes

Inherited from:
Subset
def convertExpressions[F[_]](expressions: Expressions[F, A])(using Quotes): Expressions[F, T]

Attributes

Inherited from:
Subset

Inherited and Abstract fields

val subsetType: String

Attributes

Inherited from:
Subset

Givens

Inherited givens

given aTpe: Type[A]

Attributes

Inherited from:
Subset
given bTpe: Type[T]

Attributes

Inherited from:
Subset
Generated with