Case

oxygen.meta.K0.IntersectionGeneric.Case
final case class Case[I >: A](idx: Int, typeRepr: meta.TypeRepr)

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def typeClassInstance[TC[_]](instances: LazyTypeClasses[TC]): Expr[TC[I]]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Givens

Givens

given tpe: Type[I]