Package fj

Class Effect

java.lang.Object

fj.Effect

public final class Effect
extends java.lang.Object

Represents a side-effect.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Effect()

Method Summary

Modifier and Type	Method	Description
static <A,B> Effect1<B>	contramap(Effect1<A> e1, F<B,A> f)	A contra-variant functor on effect.
static P1<Unit>	f(Effect0 e)
static <A> F<A,Unit>	f(Effect1<A> e1)	Returns a function for the given effect.
static <A,B> F2<A,B,Unit>	f(Effect2<A,B> e)
static <A,B,C> F3<A,B,C,Unit>	f(Effect3<A,B,C> e)
static <A,B,C,D> F4<A,B,C,D,Unit>	f(Effect4<A,B,C,D> e)
static <A,B,C,D,E> F5<A,B,C,D,E,Unit>	f(Effect5<A,B,C,D,E> z)
static <A,B,C,D,E,$F> F6<A,B,C,D,E,$F,Unit>	f(Effect6<A,B,C,D,E,$F> z)
static <A,B,C,D,E,$F,G> F7<A,B,C,D,E,$F,G,Unit>	f(Effect7<A,B,C,D,E,$F,G> z)
static <A,B,C,D,E,$F,G,H> F8<A,B,C,D,E,$F,G,H,Unit>	f(Effect8<A,B,C,D,E,$F,G,H> z)
static <A> Effect1<A>	lazy(F<A,Unit> f)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Effect

private Effect()

Method Detail

f

public static P1<Unit> f(Effect0 e)

f

public static <A> F<A,Unit> f(Effect1<A> e1)

Returns a function for the given effect.

Returns:

The function using the given effect.

f

public static <A,B> F2<A,B,Unit> f(Effect2<A,B> e)

f

public static <A,B,C> F3<A,B,C,Unit> f(Effect3<A,B,C> e)

f

public static <A,B,C,D> F4<A,B,C,D,Unit> f(Effect4<A,B,C,D> e)

f

public static <A,B,C,D,E> F5<A,B,C,D,E,Unit> f(Effect5<A,B,C,D,E> z)

f

public static <A,B,C,D,E,$F> F6<A,B,C,D,E,$F,Unit> f(Effect6<A,B,C,D,E,$F> z)

f

public static <A,B,C,D,E,$F,G> F7<A,B,C,D,E,$F,G,Unit> f(Effect7<A,B,C,D,E,$F,G> z)

f

public static <A,B,C,D,E,$F,G,H> F8<A,B,C,D,E,$F,G,H,Unit> f(Effect8<A,B,C,D,E,$F,G,H> z)

contramap

public static <A,B> Effect1<B> contramap(Effect1<A> e1,
                                               F<B,A> f)

A contra-variant functor on effect.

Parameters:

f - The function to map over the effect.

Returns:

An effect after a contra-variant map.

lazy

public static <A> Effect1<A> lazy(F<A,Unit> f)