• Home
• com.thoughtbot
• monocats_2.12
• 0.1.1
• source code
• MonoComonad.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.

monocats.MonoComonad.scala Maven / Gradle / Ivy

package monocats

/**
  * Monomorphic version of [[cats.Comonad]]. Extends [[MonoFunctor]] to allow
  * extracting an element from a monomorphic container.
  */
trait MonoComonad[F] extends MonoFunctor[F] {

  /**
    * Extract an element from a monomorphic container.
    */
  def extract(fa: F): Element

  /**
    * Extend a monomorphic container using a coflatmapping function.
    */
  def coflatMap(fa: F)(f: F => Element): F
}

object MonoComonad {
  type Aux[F, E] = MonoComonad[F] { type Element = E }

  def apply[F](
      implicit mono: MonoComonad[F]): MonoComonad.Aux[F, mono.Element] = mono
}