• Home
• org.scalaz
• scalaz-core_native0.5_3
• 7.4.0-M15
• source code
• SemiLattice.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

scalaz.SemiLattice.scala Maven / Gradle / Ivy

package scalaz

////
/**
 * [[scalaz.Band]] which is also commutative, i.e.
 * A + B == B + A
 * @see [[scalaz.SemiLattice.SemiLatticeLaw]]
 */
////
trait SemiLattice[F] extends Band[F] { self =>
  ////


  trait SemiLatticeLaw extends BandLaw {
    def commutative(a: F, b: F)(implicit F: Equal[F]): Boolean =
      F.equal(append(a, b), append(b, a))
  }

  def semiLatticeLaw: SemiLatticeLaw = new SemiLatticeLaw {}

  ////
  val semiLatticeSyntax: scalaz.syntax.SemiLatticeSyntax[F] =
    new scalaz.syntax.SemiLatticeSyntax[F] { def F = SemiLattice.this }
}

object SemiLattice {
  @inline def apply[F](implicit F: SemiLattice[F]): SemiLattice[F] = F

  import Isomorphism._

  def fromIso[F, G](D: F <=> G)(implicit M: SemiLattice[G]): SemiLattice[F] =
    new IsomorphismSemiLattice[F, G] {
      override def G: SemiLattice[G] = M
      override def iso: F <=> G = D
    }

  ////

  ////
}

trait IsomorphismSemiLattice[F, G] extends SemiLattice[F] with IsomorphismBand[F, G]{
  implicit def G: SemiLattice[G]
  ////

  ////
}