oxygen-meta
API
Generated with
oxygen-meta/oxygen.meta/K0/DerivableIntersection/Fold

Fold

oxygen.meta.K0.DerivableIntersection.Fold
trait Fold[T[_]] extends DerivableIntersection[T]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

protected def foldIntersection[Q <: Quotes, A1, A2](a1: Expr[T[A1]], a2: Expr[T[A2]])(using quotes: Q, tpe1: Type[A1], tpe2: Type[A2], tTpe: Type[T]): Expr[T[A1 & A2]]

Concrete methods

final override protected def internalDeriveIntersection[Q <: Quotes, A](k0: K0[Q])(g: k0.IntersectionGeneric[A])(using quotes: Q, tpe: Type[A], tTpe: Type[T]): Expr[T[A]]

Attributes

Definition Classes
Generated with