Functional

>>==

functors

flatmap

map

forall void a n m. MonadEffect n => MonadAff m => MonadEffect m => Plus m => m a -> n (Tuple (m a) (m void))

profunctors

filter

Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int -> Int

Category Theory

filter

forall void a n m. MonadEffect n => MonadAff m => MonadEffect m => Plus m => m a -> n (Tuple (m a) (m void))

flatmap

Natural Transformations

(+ 1 1)

list.map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…).map(…)

λ

flatmap

filter

map

filter

flatmap

filter

filter

filter

map

collection.filter(…).map(…).flatMap(…).filter(…).map(…).filter(…).forEach(…)

Natural Transformations

The λ-cube sees all

public <A, B, C, D> FunctionType<App2<Grate.Mu<A2, B2>, A, B>, App2<Grate.Mu<A2, B2>, C, D>> dimap(final Function<C, A> g, final Function<B, D> h)

public interface Applicative<F extends K1, Mu extends Applicative.Mu> extends Functor<F, Mu>

(+ 1 1)

flatmap

functors

μ

profunctors

filter

filter

filter

filter

λ

reduce

functors

map

filter

profunctors

profunctors

map

profunctors

flatmap

map