scalaz-core/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