Many

oxygen.meta.K0.ProductGeneric.Subset.Many
trait Many[A, B] extends NonEmpty[A, B]

Attributes

Graph
Supertypes
trait NonEmpty[A, B]
trait Subset[A, B]
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 override def convert(a: Expr[A])(using Quotes): Expr[B]

Attributes

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

Attributes

Definition Classes

Inherited methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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

Abstract fields

val aFields: Contiguous[aGeneric.Field[_]]
override val aGeneric: ProductGeneric[A]
override val bGeneric: CaseClassGeneric[B]

Concrete fields

final override val subsetType: String

Givens

Inherited givens

given aTpe: Type[A]

Attributes

Inherited from:
Subset
given bTpe: Type[B]

Attributes

Inherited from:
Subset