• Home
• io.janstenpickle
• trace4cats-context-utils_3
• 0.14.6+28-b7819363
• source code
• Unlift.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.Unlift.scala Maven / Gradle / Ivy

package trace4cats.context

import cats.{~>, Monad}

trait Unlift[Low[_], F[_]] extends Lift[Low, F] { self =>
  def askUnlift: F[F ~> Low]

  def withUnlift[A](f: F ~> Low => Low[A]): F[A] = F.flatMap(askUnlift)(f.andThen(lift))

  def imapK[G[_]: Monad](fk: F ~> G, gk: G ~> F): Unlift[Low, G] = new Unlift[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))
    def askUnlift: G[G ~> Low] = fk(self.F.map(self.askUnlift)(_.compose(gk)))
  }
}

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