Scala example source code file (DivideSyntax.scala)

This example Scala source code file (DivideSyntax.scala) is included in the alvinalexander.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Scala by Example" ^TM.

Learn more about this Scala project at its project page.

Java - Scala tags/keywords

contravariantsyntax, divide, divideops, dividesyntax, tocontravariantops, todivideops, todivideops0, todivideopsunapply

The DivideSyntax.scala Scala example source code

package scalaz
package syntax

/** Wraps a value `self` and provides methods related to `Divide` */
final class DivideOps[F[_],A] private[syntax](val self: F[A])(implicit val F: Divide[F]) extends Ops[F[A]] {
  ////

  ////
}

sealed trait ToDivideOps0 {
  implicit def ToDivideOpsUnapply[FA](v: FA)(implicit F0: Unapply[Divide, FA]) =
    new DivideOps[F0.M,F0.A](F0(v))(F0.TC)

}

trait ToDivideOps extends ToDivideOps0 with ToContravariantOps {
  implicit def ToDivideOps[F[_],A](v: F[A])(implicit F0: Divide[F]) =
    new DivideOps[F,A](v)

  ////

  ////
}

trait DivideSyntax[F[_]] extends ContravariantSyntax[F] {
  implicit def ToDivideOps[A](v: F[A]): DivideOps[F, A] = new DivideOps[F,A](v)(DivideSyntax.this.F)

  def F: Divide[F]
  ////

  ////
}