cyclops.typeclasses

Interface NaturalTransformation<W1,W2>

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface NaturalTransformation<W1,W2>

Method Summary

Modifier and Type	Method and Description
default <W3> NaturalTransformation<W1,W3>	andThen(NaturalTransformation<W2,W3> after)
<T> Higher<W2,T>	apply(Higher<W1,T> a)
default <T> FunctionK<W1,W2,T>	asFunctionK(InstanceDefinitions<W2> def2)
default <W3> NaturalTransformation<W3,W2>	compose(NaturalTransformation<W3,W1> before)
static <T> NaturalTransformation<T,T>	identity()

Method Detail

apply

<T> Higher<W2,T> apply(Higher<W1,T> a)

asFunctionK

default <T> FunctionK<W1,W2,T> asFunctionK(InstanceDefinitions<W2> def2)

andThen

default <W3> NaturalTransformation<W1,W3> andThen(NaturalTransformation<W2,W3> after)

compose

default <W3> NaturalTransformation<W3,W2> compose(NaturalTransformation<W3,W1> before)

identity

static <T> NaturalTransformation<T,T> identity()