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

package trace4cats.context

import cats.{~>, Monad}
import cats.syntax.all._
import trace4cats.optics.Getter
import trace4cats.context.internal.TupleAskInstances

trait Ask[F[_], R] extends ContextRoot { self =>
  def F: Monad[F]

  def ask[R1 >: R]: F[R1]

  def access[A](f: R => A): F[A] = F.map(ask)(f)
  def accessF[A](f: R => F[A]): F[A] = F.flatMap(ask)(f)

  def zoom[R1](g: Getter[R, R1]): Ask[F, R1] = Ask.make(self.access(g.get))(self.F)

  def mapK[G[_]: Monad](fk: F ~> G): Ask[G, R] = Ask.make(fk(self.ask[R]))

}

object Ask extends TupleAskInstances {

  def apply[F[_], R](implicit ev: Ask[F, R]): Ask[F, R] = ev

  def make[F[_]: Monad, A](f: F[A]): Ask[F, A] = new Ask[F, A] {
    override def F: Monad[F] = Monad[F]

    def ask[E2 >: A]: F[E2] = f.widen

  }

}