LowPriorityMapRes

dataprism.platform.LowPriorityMapRes

Attributes

Source
MapRes.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object MapRes

Members list

Givens

Givens

given applyTraversable[F[_], G[_] : Traverse, V, MRK[_[_]]](implicit evidence$1: Apply[G], evidence$2: Traverse[G], mr: Aux[F, V, MRK]): Aux[F, G[V], [F0[_]] =>> G[MRK[F0]]]

Attributes

Source
MapRes.scala
given recurTuple[F[_], H, T <: Tuple, KH[_[_]], KT <: ([_[_]] =>> Tuple)](using mrh: Aux[F, H, KH], mrt: Aux[F, T, KT]): Aux[F, H *: T, [F0[_]] =>> KH[F0] *: KT[F0]]

Attributes

Source
MapRes.scala