scalaz/scalaz/NaturalTransformations

NaturalTransformations

trait NaturalTransformations
class Object
trait Matchable
class Any

Type members

Types

type ->[A, B] = NaturalTransformation[[α] =>> A, [α] =>> B]

A function type encoded as a natural transformation by adding a phantom parameter.

A function type encoded as a natural transformation by adding a phantom parameter.

Value members

Concrete methods

def id: NaturalTransformation[Id, Id]

refl specialized to scalaz.Id.Id.

refl specialized to scalaz.Id.Id.

def refl[F[_]]: NaturalTransformation[F, F]

A universally quantified identity function

A universally quantified identity function

Implicits

Implicits

implicit
def natToFunction[F[_], G[_], A](f: NaturalTransformation[F, G]): F[A] => G[A]

Reify a NaturalTransformation.

Reify a NaturalTransformation.