• Home
• io.janstenpickle
• trace4cats-context-utils_3
• 0.14.6+28-b7819363
• source code
• Lift.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

trace4cats.context.Lift.scala Maven / Gradle / Ivy

package trace4cats.context

import cats.{~>, Monad}

trait Lift[Low[_], F[_]] extends ContextRoot { self =>
  def Low: Monad[Low]
  def F: Monad[F]

  def lift[A](la: Low[A]): F[A]
  def liftK: Low ~> F = new (Low ~> F) {
    override def apply[A](la: Low[A]): F[A] = lift(la)
  }

  def mapK[G[_]: Monad](fk: F ~> G): Lift[Low, G] = new Lift[Low, G] {
    val Low: Monad[Low] = self.Low
    val F: Monad[G] = implicitly
    def lift[A](la: Low[A]): G[A] = fk(self.lift(la))
  }
}

object Lift {
  def apply[Low[_], F[_]](implicit ev: Lift[Low, F]): Lift[Low, F] = ev
}