scope core/scope/ModelMapperKInstances

ModelMapperKInstances

trait ModelMapperKInstances
class Object
trait Matchable
class Any
object ModelMapperK.type

Implicits

Implicits

implicit def applicativeForModelMapperK[F[_] : Applicative, S <: Scope, AA, BB]: Applicative[[_] =>> ModelMapperK[F, S, AA, _$21]]
implicit def contravariantForModelMapperK[F[_], S <: Scope, AA, BB]: Contravariant[[_] =>> ModelMapperK[F, S, _$15, BB]]
implicit def functorForModelMapperK[F[_] : Functor, S <: Scope, AA, BB]: Functor[[_] =>> ModelMapperK[F, S, AA, _$18]]
implicit def liftPureModelMapper[F[_] : Applicative, S <: Scope, A, B](implicit evidence$2: Applicative[F], m: ModelMapper[S, A, B]): ModelMapperK[F, S, A, B]
implicit def squashModelMapperK[F[_], S <: Scope, A, B](implicit m: ModelMapperK[F, S, A, B]): ModelMapper[S, A, F[B]]