• Home
• is.cir
• ciris-core_native0.3_2.11
• 0.12.0
• source code
• package.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.

ciris.api.package.scala Maven / Gradle / Ivy

package ciris

package object api {
  type Id[A] = A

  implicit object Id extends Monad[Id] {
    override def map[A, B](fa: Id[A])(f: A => B): Id[B] = f(fa)
    override def product[A, B](fa: Id[A], fb: Id[B]): Id[(A, B)] = (fa, fb)
    override def pure[A](x: A): Id[A] = x
    override def flatMap[A, B](fa: Id[A])(f: A => Id[B]): Id[B] = f(fa)
  }

  type ~>[F[_], G[_]] = FunctionK[F, G]

  implicit def idFunctionK[G[_]: Applicative]: FunctionK[Id, G] =
    new FunctionK[Id, G] {
      override def apply[A](fa: Id[A]): G[A] =
        Applicative[G].pure(fa)
    }
}