org.specs2.fp.NaturalTransformation.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of specs2-fp_sjs1_3 Show documentation

specs2-fp

There is a newer version: 5.5.8

package org.specs2.fp

trait NaturalTransformation[-F[_], +G[_]]:
  def apply[A](fa: F[A]): G[A]

object NaturalTransformation:

  given naturalId[M[_]: Monad]: NaturalTransformation[Id, M] with
    def apply[A](fa: Id[A]): M[A] =
      summon[Monad[M]].point(fa)