kyo.apps.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of kyo-core-opt_3 Show documentation

kyo-core-opt

There is a newer version: 0.8.5

package kyo

import ios._
import clocks._
import consoles._
import resources._
import tries._
import aborts._
import aspects._
import randoms._
import concurrent.fibers._
import concurrent.timers._
import scala.concurrent.duration.Duration
import scala.util.Try

object apps {

  abstract class App {

    private var _args: List[String]  = List.empty
    protected def args: List[String] = _args

    final def main(args: Array[String]): Unit = {
      _args = args.toList
      App.run(run.map(Consoles.println(_)))(Flat.unsafe.checked)
    }

    def run: Any > (Fibers with Resources with Consoles with Tries)

  }

  object App {

    type Effects =
      Fibers with Resources with Consoles with Tries

    def run[T](timeout: Duration)(v: T > Effects)(implicit f: Flat[T > Effects]): T =
      IOs.run(runFiber(timeout)(v).block.map(_.get))(kyo.Flat.unsafe.checked)

    def run[T](v: T > Effects)(implicit f: Flat[T > Effects]): T =
      run(Duration.Inf)(v)

    def runFiber[T](v: T > Effects)(implicit f: Flat[T > Effects]): Fiber[Try[T]] =
      runFiber(Duration.Inf)(v)

    def runFiber[T](timeout: Duration)(v: T > Effects)(implicit
        f: Flat[T > Effects]
    ): Fiber[Try[T]] = {

      def v1: T > (Fibers with Resources with Tries) = Consoles.run(v)

      // since scala 2 can't use the macro in the same compilation unit
      implicit def flat[T, S]: Flat[T > S] = Flat.unsafe.checked

      def v2: T > (Fibers with Tries) = Resources.run(v1)
      def v3: Try[T] > Fibers         = Tries.run(v2)
      def v4: Try[T] > Fibers         = Fibers.timeout(timeout)(v3)
      def v5: Try[T] > Fibers         = Tries.run(v4).map(_.flatten)
      def v6: Try[T] > Fibers         = Fibers.init(v5).map(_.get)
      def v7: Fiber[Try[T]] > IOs     = Fibers.run(v6)
      IOs.run(v7)
    }
  }
}