scalaz.effect.LiftControlIO.scala Maven / Gradle / Ivy

Go to download
package scalaz
package effect

////
/**
 *
 */
////
trait LiftControlIO[F[_]]  { self =>
  ////
  import IO._

  def liftControlIO[A](f: RunInBase[F, IO] => IO[A]): F[A]

  // derived functions

  ////
  val liftControlIOSyntax = new scalaz.syntax.effect.LiftControlIOSyntax[F] { def F = LiftControlIO.this }
}

object LiftControlIO {
  @inline def apply[F[_]](implicit F: LiftControlIO[F]): LiftControlIO[F] = F

  import Isomorphism._

  def fromIso[F[_], G[_]](D: F <~> G)(implicit E: LiftControlIO[G]): LiftControlIO[F] =
    new IsomorphismLiftControlIO[F, G] {
      override def G: LiftControlIO[G] = E
      override def iso: F <~> G = D
    }

  ////

  ////
}