• Home
• org.specs2
• specs2-scalaz-core_2.10
• 7.0.0
• source code
• GroupSyntax.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.syntax.GroupSyntax.scala Maven / Gradle / Ivy

package org.specs2.internal.scalaz
package syntax

/** Wraps a value `self` and provides methods related to `Group` */
trait GroupOps[F] extends Ops[F] {
  implicit def F: Group[F]
  ////
  final def |-|(other: => F): F = F.minus(self, other)
  final def inverse: F = F.inverse(self)
  final def unary_-  = inverse
  ////
}

trait ToGroupOps extends ToMonoidOps {
  implicit def ToGroupOps[F](v: F)(implicit F0: Group[F]) =
    new GroupOps[F] { def self = v; implicit def F: Group[F] = F0 }

  ////

  ////
}

trait GroupSyntax[F] extends MonoidSyntax[F] {
  implicit def ToGroupOps(v: F): GroupOps[F] = new GroupOps[F] { def self = v; implicit def F: Group[F] = GroupSyntax.this.F }
  
  def F: Group[F]
  ////

  ////
}