tofu.internal.carriers.fibers.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tofu-kernel_3 Show documentation

Opinionated set of tools for functional programming in Scala

There is a newer version: 0.13.6

package tofu.internal.carriers
import tofu.Fibers

abstract class FibersCarrier2[F[_]] {
  type Fib[_]
  type Exit[_]
  def content: Fibers[F, Exit, Fib]

  def widen[Ex[x] >: Exit[x], Fb[x] >: Fib[x]]: FibersCarrier2.Aux[F, Ex, Fb] =
    this.asInstanceOf[FibersCarrier2.Aux[F, Ex, Fb]]
}

object FibersCarrier2 extends FibersCarrier2Macro {
  type Aux[F[_], Ex[_], Fb[_]] = FibersCarrier2[F] { type Exit[a] = Ex[a]; type Fib[a] = Fb[a]; }

  trait Impl[F[_], Ex[_], Fb[_]] extends FibersCarrier2[F] with Fibers[F, Ex, Fb] {
    type Exit[a] = Ex[a]
    type Fib[a]  = Fb[a]
    def content: Fibers[F, Exit, Fib] = this
  }

}

abstract class FibersCarrier3[F[_], E] {
  type Fib[_]
  type Exit[_]
  def content: Fibers[F, Exit, Fib]

  def widen[Ex[x] >: Exit[x], Fb[x] >: Fib[x]]: FibersCarrier3.Aux[F, E, Ex, Fb] =
    this.asInstanceOf[FibersCarrier3.Aux[F, E, Ex, Fb]]
}

object FibersCarrier3 extends FibersCarrier3Macro {
  type Aux[F[_], E, Ex[_], Fb[_]] = FibersCarrier3[F, E] { type Exit[a] = Ex[a]; type Fib[a] = Fb[a]; }

  trait Impl[F[_], E, Ex[_], Fb[_]] extends FibersCarrier3[F, E] with Fibers[F, Ex, Fb] {
    type Exit[a] = Ex[a]
    type Fib[a]  = Fb[a]
    def content: Fibers[F, Exit, Fib] = this
  }

}