prox 3/11

prox_3_11.scala

trait ContextOf[PN] {
  type Context[_]
}

object ContextOf {
  type Aux[PN, F[_]] = ContextOf[PN] {
    type Context[_] = F[_]
  }

  def apply[PN <: ProcessNode[_, _, _, _, _], F[_]](implicit contextOf: ContextOf.Aux[PN, F]): Aux[PN, F] = contextOf

  implicit def contextOfProcess[F[_], Out, Err, OutResult, ErrResult, IRS <: RedirectionState, ORS <: RedirectionState, ERS <: RedirectionState]:
  Aux[Process[F, Out, Err, OutResult, ErrResult, IRS, ORS, ERS], F] =
    new ContextOf[Process[F, Out, Err, OutResult, ErrResult, IRS, ORS, ERS]] {
      override type Context[_] = F[_]
    }

  implicit def contextOfPipedProcess[
  F[_],
  Out, Err,
  PN1 <: ProcessNode[_, _, _, _, _],
  PN2 <: ProcessNode[_, _, _, _, _],
  IRS <: RedirectionState, ORS <: RedirectionState, ERS <: RedirectionState]:
  Aux[PipedProcess[F, Out, Err, Byte, PN1, PN2, IRS, ORS, ERS], F] =
    new ContextOf[PipedProcess[F, Out, Err, Byte, PN1, PN2, IRS, ORS, ERS]] {
      override type Context[_] = F[_]
    }
}