ProductK
perspective.derivation.productK$package.ProductK
object ProductK
Attributes
- Source
- productK.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ProductK.type
Members list
Givens
Givens
Attributes
- Source
- productK.scala
given productKInstance[T <: Tuple](using typeLength: TypeLength[T]): Aux[ProductKPar[T], [_] =>> Finite[typeLength.Length]] & TraverseKC[ProductKPar[T]]
Attributes
- Source
- productK.scala
Extensions
Extensions
extension [F[_], T <: Tuple](p: ProductK[F, T])
Access the mapped tuple.
Access the mapped tuple.
Access the mapped tuple.
In this article