• Home
• com.thoughtbot
• monocats_2.12
• 0.1.1
• source code
• MonoPointed.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.MonoPointed.scala Maven / Gradle / Ivy

package monocats

/**
  * Monomorphic container that an element can be lifted into. Similar to
  * [[cats.Applicative]], but without [[cats.Apply]].
  */
trait MonoPointed[F] extends MonoFunctor[F] {

  /**
    * Lift `Element` into an `F`. Similar to [[cats.Applicative.pure]].
    */
  def point(a: Element): F
}

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

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