ProductK

perspective.derivation.productK$package.ProductK
object ProductK

Attributes

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

Members list

Value members

Concrete methods

inline def ofProduct[A <: Product](p: A)(using m: Of[A]): ProductK[Id, m.MirroredElemTypes]

Construct a ProductK from a product with a mirror.

Construct a ProductK from a product with a mirror.

Attributes

Source
productK.scala
inline def ofProductUnsafe[F[_], T <: Tuple](p: Product): ProductK[F, T]

Construct a ProductK from a product, with no checks. Unsafe!!

Construct a ProductK from a product, with no checks. Unsafe!!

Attributes

Source
productK.scala
inline def ofScalaTuple[F[_], T <: Tuple](t: Map[T, F]): ProductK[F, T]

Construct a ProductK from a scala mapped tuple.

Construct a ProductK from a scala mapped tuple.

Attributes

Source
productK.scala
inline def ofTuple[F[_], T <: Tuple](t: TupleMap[T, F]): ProductK[F, T]

Construct a ProductK from a mapped tuple.

Construct a ProductK from a mapped tuple.

Attributes

Source
productK.scala

Givens

Givens

inline given gatherImplicits[F[_], T <: Tuple]: ProductK[F, T]

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])
inline def product: Product

Access the mapped tuple.

Access the mapped tuple.

Attributes

Source
productK.scala
def scalaTuple: Map[T, F]

Access the mapped tuple.

Access the mapped tuple.

Attributes

Source
productK.scala
def tuple: TupleMap[T, F]

Access the mapped tuple.

Access the mapped tuple.

Attributes

Source
productK.scala