DataPrism
0.1.0
DocsAPI
Generated with
DataPrism/dataprism/dataprism.platform/MapRes

MapRes

dataprism.platform.MapRes
See theMapRes companion trait
object MapRes extends LowPriorityMapRes

Attributes

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

Members list

Type members

Types

type Aux[F[_], R, K0[_[_]]] = MapRes[F, R] { type K = [G[_]] =>> K0[G]; }

Attributes

Source
MapRes.scala

Givens

Givens

given given_Aux_F_F_F0[F[_], A]: Aux[F, F[A], [F0[_]] =>> F0[A]]

Attributes

Source
MapRes.scala
given given_Aux_F_K0_K0[F[_], K0[_[_]]](using FA: ApplyKC[K0], FT: TraverseKC[K0]): Aux[F, K0[F], K0]

Attributes

Source
MapRes.scala
given given_Aux_F_T_Map[F[_], T <: NonEmptyTuple](using ev: IsMappedBy[F][T], size: ValueOf[Size[T]]): Aux[F, T, [F0[_]] =>> Map[InverseMap[T, F], F0]]

Attributes

Source
MapRes.scala
given recurTuple1[F[_], V, MRK[_[_]]](using mr: Aux[F, V, MRK]): Aux[F, Tuple1[V], [F0[_]] =>> Tuple1[MRK[F0]]]

Attributes

Source
MapRes.scala

Inherited 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

Inherited from:
LowPriorityMapRes
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

Inherited from:
LowPriorityMapRes
Source
MapRes.scala
Generated with