Subset

oxygen.meta.K0.ProductGeneric.Subset
See theSubset companion object
sealed trait Subset[A, B]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Empty[A]
trait NonEmpty[A, T]
trait Many[A, B]
trait Single[A, B]
Self type
Subset[A, B]

Members list

Type members

Classlikes

object subInstance

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Value members

Abstract methods

def bGeneric: Generic[B]
def convert(a: Expr[A])(using Quotes): Expr[B]
def convertExpressions[F[_]](expressions: Expressions[F, A])(using Quotes): Expressions[F, B]

Concrete methods

final def convertExpr(using Quotes): Expr[A => B]
final def toEmpty(using Quotes): Empty[A]
final def toMany(using Quotes): Many[A, B]
final def toNonEmpty(using Quotes): NonEmpty[A, B]
final def toSingle(using Quotes): Single[A, B]
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
Any
final def typedAs[B2]: Subset[A, B2]

Abstract fields

val subsetType: String

Givens

Givens

given aTpe: Type[A]
given bTpe: Type[B]