KMacros
dataprism.KMacros
object KMacros
Attributes
- Source
- KMacros.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
KMacros.type
Members list
Type members
Types
Attributes
- Source
- KMacros.scala
type MirrorProductK[F[_[_]]] = Product { type MirroredType = [A[_]] =>> F[A]; type MirroredMonoType = F[Id]; type MirroredElemTypes <: ([A[_]] =>> Tuple); type MirroredElemLabels <: Tuple; }
Attributes
- Source
- KMacros.scala
Attributes
- Source
- KMacros.scala
Value members
Concrete methods
inline def deriveApplicativeKC[F <: ([_[_]] =>> Product)](using m: MirrorProductK[F]): ApplicativeKC[F]
Attributes
- Source
- KMacros.scala
Attributes
- Source
- KMacros.scala
inline def deriveApplyTraverseKC[F <: ([_[_]] =>> Product)](using m: MirrorProductK[F], notZero: NotZero[Size[m.MirroredElemLabels]] =:= true): ApplyKC[F] & TraverseKC[F]
Attributes
- Source
- KMacros.scala
inline def deriveDistributiveKC[F <: ([_[_]] =>> Product)](using m: MirrorProductK[F]): DistributiveKC[F]
Attributes
- Source
- KMacros.scala
Attributes
- Source
- KMacros.scala
Attributes
- Source
- KMacros.scala
inline def deriveRepresentableKC[F <: ([_[_]] =>> Product)](using m: MirrorProductK[F], notZero: NotZero[Size[m.MirroredElemLabels]] =:= true): Aux[F, [A] =>> (Finite[Size[m.MirroredElemLabels]], Any)]
Attributes
- Source
- KMacros.scala
inline def deriveRepresentableTraverseKC[F <: ([_[_]] =>> Product)](using m: MirrorProductK[F], notZero: NotZero[Size[m.MirroredElemLabels]] =:= true): Aux[F, [A] =>> (Finite[Size[m.MirroredElemLabels]], Any)] & TraverseKC[F]
Attributes
- Source
- KMacros.scala
Attributes
- Source
- KMacros.scala
def replaceTypes(using q: Quotes)(dest: q.reflect.TypeRepr)(from: List[q.reflect.TypeRepr], to: List[q.reflect.TypeRepr]): q.reflect.TypeRepr
Attributes
- Source
- KMacros.scala
In this article