claireneveu / arrxml Goto Github PK

trait ArrowPlusOps[F[-_, +_], A, B] extends Ops[F[A, B]] {
   implicit def F : ArrowPlus[F]

   final def <+>(other : F[A, B]) = F.<+>(self, other)
}

trait ToArrowPlusOps {
   implicit def ToArrowPlusOps[F[-_, +_], A, B](v : F[A, B])(implicit ev : ArrowPlus[F]) =
      new ArrowPlusOps[F, A, B] { def self = v; implicit def F : ArrowPlus[F] = ev }
}

trait ToArrowPlusOps {
   implicit class ArrowPlusOps[F[-_, +_] : ArrowPlus, A, B](v : F[A, B]) {
      final def <+>(other : F[A, B]) = implicitly[ArrowPlus[F]].<+>(v, other)
   }
}

trait ToArrowPlusOps {
   implicit class ArrowPlusOps[F[-_, +_], A, B](v : F[A, B]) {
      final def <+>(other : F[A, B])(ev : ArrowPlus[F]) = ev.<+>(v, other)
   }
}