bisabelle-setup_2.11.1.1.0-RC3.source-code.package.scala Maven / Gradle / Ivy

Go to download

package info.hupel.isabelle

import scala.concurrent.{Future, Promise}

import scalaz.concurrent.Task

/**
 * Tools for setting up an [[Setup Isabelle installation]] and managing
 * [[Resources Isabelle sources]] and [[Resolver environments]] at runtime.
 * Most functions in this package have some effect on the local file system and
 * may download content from the Internet.
 */
package object setup {

  implicit class TaskOps[T](task: Task[T]) {
    def toScalaFuture: Future[T] = {
      val promise = Promise[T]
      task.unsafePerformAsync { res =>
        res.fold(promise.failure, promise.success)
        ()
      }
      promise.future
    }
  }

}