scalaz.Compose.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of specs2-scalaz-core_2.10 Show documentation

specs2-scalaz-core

The newest version!

package org.specs2.internal.scalaz

////
/**
 *
 */
////
trait Compose[=>:[_, _]]  { self =>
  ////
  def compose[A, B, C](f: B =>: C, g: A =>: B): (A =>: C)

  private[scalaz] trait ComposePlus extends Plus[({type λ[α]=(α =>: α)})#λ] {
    def plus[A](f1: (A =>: A), f2: => (A =>: A)) = self.compose(f1, f2)
  }
  private[scalaz] trait ComposeSemigroup[A] extends Semigroup[A =>: A] {
    def append(f1: (A =>: A), f2: => (A =>: A)) = self.compose(f1, f2)
  }

  def plus: Plus[({type λ[α]=(α =>: α)})#λ] = new ComposePlus {}
  def semigroup[A]: Semigroup[A =>: A] = new ComposeSemigroup[A] {}

  trait ComposeLaw {
    def associative[A, B, C, D](ab: (A =>: B), bc: (B =>: C), cd: (C =>: D))
                               (implicit E: Equal[A =>: D]): Boolean = {
      val ad1 = compose(cd, compose(bc, ab))
      val ad2 = compose(compose(cd, bc), ab)
      E.equal(ad1, ad2)
    }
  }

  def composeLaw = new ComposeLaw {}

  ////
  val composeSyntax = new org.specs2.internal.scalaz.syntax.ComposeSyntax[=>:] { def F = Compose.this }
}

object Compose {
  @inline def apply[F[_, _]](implicit F: Compose[F]): Compose[F] = F

  ////
  ////
}