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

package org.specs2.internal.scalaz

////
/**
 *
 */
////
trait Copointed[F[_]] extends Functor[F] { self =>
  ////
  /** Also known as `extract` / `copure` */
  def copoint[A](p: F[A]): A

  // derived functions

  /** alias for `copoint` */
  def copure[A](p: F[A]): A = copoint(p)

  ////
  val copointedSyntax = new org.specs2.internal.scalaz.syntax.CopointedSyntax[F] { def F = Copointed.this }
}

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

  ////

  ////
}