ArrayProductK

perspective.derivation.arrayProductK$package.ArrayProductK
object ArrayProductK

Attributes

Source
arrayProductK.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

inline def of[F[_], T <: Tuple](t: TupleMap[T, F]): ArrayProductK[F, T]

Construct an ArrayProductK from a mapped tuple.

Construct an ArrayProductK from a mapped tuple.

Attributes

Source
arrayProductK.scala

Givens

Givens

given arrayProductKInstance[T <: Tuple](using typeLength: TypeLength[T]): Aux[ArrayProductKPar[T], [_] =>> Finite[typeLength.Length]] & TraverseKC[ArrayProductKPar[T]]

Attributes

Source
arrayProductK.scala
inline given gatherImplicits[F[_], T <: Tuple]: ArrayProductK[F, T]

Attributes

Source
arrayProductK.scala

Extensions

Extensions

extension [F[_], T <: Tuple](p: ArrayProductK[F, T])
inline def tuple: TupleMap[T, F]

Access the mapped tuple.

Access the mapped tuple.

Attributes

Source
arrayProductK.scala