- Companion
- class
Type members
Inherited types
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.
- Inherited from
- NaturalTransformations
Value members
Concrete methods
def liftMap[F[_], G[_], H[_] : Functor](in: NaturalTransformation[F, G]): NaturalTransformation[[α] =>> H[F[α]], [α] =>> H[G[α]]]
Like Hoist, for Functors, when we already know how to transform F ~> G.
Like Hoist, for Functors, when we already know how to transform F ~> G.
def or[F[_], G[_], H[_]](fg: NaturalTransformation[F, G], hg: NaturalTransformation[H, G]): NaturalTransformation[[_] =>> Coproduct[F, H, _$14], G]
Construct a natural transformation over a coproduct from its parts. Useful for combining Free interpreters.
Construct a natural transformation over a coproduct from its parts. Useful for combining Free interpreters.
Inherited methods
refl specialized to scalaz.Id.Id.
refl specialized to scalaz.Id.Id.
- Inherited from
- NaturalTransformations
A universally quantified identity function
A universally quantified identity function
- Inherited from
- NaturalTransformations