data-lab/tc.derived

tc.derived

package tc.derived

Type members

Classlikes

trait UnapplyCraft[F <: ([_$11] =>> Any), T]
Companion
object
object UnapplyCraft
Companion
class
trait UnapplyRep[F <: ([_$10] =>> Any), T]
Companion
object
object UnapplyRep
Companion
class

Value members

Methods

inline def craftIter[F <: ([_$9] =>> Any), P]: Vector[Craft[ <: ([f <: ([_$29] =>> Any)] =>> Any)]]
inline def craftPack[U <: ([_$6 <: ([_$7] =>> Any)] =>> Any)]: Vector[Craft[ <: ([f <: ([_$29] =>> Any)] =>> Any)]]
inline def deriveCraft[U <: ([f <: ([_$1] =>> Any)] =>> Product)]: Craft[U]
inline def deriveRepresentable[U <: ([f <: ([_$1] =>> Any)] =>> Product)]: RepresentableK[U]
inline def elemCraft[F <: ([_$10] =>> Any), T]: Craft[ <: ([f <: ([_$29] =>> Any)] =>> Any)]
inline def elemRep[F <: ([_$9] =>> Any), T]: RepresentableK[ <: ([f <: ([_$15] =>> Any)] =>> Any)]
inline def repIter[F <: ([_$8] =>> Any), P]: Vector[RepresentableK[ <: ([f <: ([_$15] =>> Any)] =>> Any)]]
inline def repPack[U <: ([_$5 <: ([_$6] =>> Any)] =>> Any)]: Vector[RepresentableK[ <: ([f <: ([_$15] =>> Any)] =>> Any)]]

Givens

Givens

given monoCraft[X]: Craft[[F <: ([_$18] =>> Any)] =>> F[X]]
given monoRepresentable[X]: RepresentableK[[F <: ([_$17] =>> Any)] =>> F[X]]