0
|
1 package fj;
|
|
2
|
|
3 import fj.function.Effect0;
|
|
4 import fj.function.Effect1;
|
|
5 import fj.function.Effect2;
|
|
6 import fj.function.Effect3;
|
|
7 import fj.function.Effect4;
|
|
8 import fj.function.Effect5;
|
|
9 import fj.function.Effect6;
|
|
10 import fj.function.Effect7;
|
|
11 import fj.function.Effect8;
|
|
12
|
|
13 import static fj.Unit.unit;
|
|
14
|
|
15 /**
|
|
16 * Represents a side-effect.
|
|
17 *
|
|
18 * @version %build.number%
|
|
19 */
|
|
20 public class Effect {
|
|
21
|
|
22 private Effect() {}
|
|
23
|
|
24 public static P1<Unit> f(Effect0 e) {
|
|
25 return P.lazy(u -> unit());
|
|
26 }
|
|
27
|
|
28 /**
|
|
29 * Returns a function for the given effect.
|
|
30 *
|
|
31 * @return The function using the given effect.
|
|
32 */
|
|
33 public static final <A> F<A, Unit> f(Effect1<A> e1) {
|
|
34 return a -> {
|
|
35 e1.f(a);
|
|
36 return unit();
|
|
37 };
|
|
38 }
|
|
39
|
|
40 public static <A, B> F2<A, B, Unit> f(Effect2<A, B> e) {
|
|
41 return (a, b) -> {
|
|
42 e.f(a, b);
|
|
43 return unit();
|
|
44 };
|
|
45 }
|
|
46
|
|
47 public static <A, B, C> F3<A, B, C, Unit> f(Effect3<A, B, C> e) {
|
|
48 return (a, b, c) -> {
|
|
49 e.f(a, b, c);
|
|
50 return unit();
|
|
51 };
|
|
52 }
|
|
53
|
|
54 public static <A, B, C, D> F4<A, B, C, D, Unit> f(Effect4<A, B, C, D> e) {
|
|
55 return (a, b, c, d) -> {
|
|
56 e.f(a, b, c, d);
|
|
57 return unit();
|
|
58 };
|
|
59 }
|
|
60
|
|
61 public static <A, B, C, D, E> F5<A, B, C, D, E, Unit> f(Effect5<A, B, C, D, E> z) {
|
|
62 return (a, b, c, d, e) -> {
|
|
63 z.f(a, b, c, d, e);
|
|
64 return unit();
|
|
65 };
|
|
66 }
|
|
67
|
|
68 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) {
|
|
69 return (a, b, c, d, e, f) -> {
|
|
70 z.f(a, b, c, d, e, f);
|
|
71 return unit();
|
|
72 };
|
|
73 }
|
|
74
|
|
75 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) {
|
|
76 return (a, b, c, d, e, f, g) -> {
|
|
77 z.f(a, b, c, d, e, f, g);
|
|
78 return unit();
|
|
79 };
|
|
80 }
|
|
81
|
|
82 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) {
|
|
83 return (a, b, c, d, e, f, g, h) -> {
|
|
84 z.f(a, b, c, d, e, f, g, h);
|
|
85 return unit();
|
|
86 };
|
|
87 }
|
|
88
|
|
89 /**
|
|
90 * A contra-variant functor on effect.
|
|
91 *
|
|
92 * @param f The function to map over the effect.
|
|
93 * @return An effect after a contra-variant map.
|
|
94 */
|
|
95 public final <A, B> Effect1<B> comap(Effect1<A> e1, final F<B, A> f) {
|
|
96 return new Effect1<B>() {
|
|
97 public void f(final B b) {
|
|
98 e1.f(f.f(b));
|
|
99 }
|
|
100 };
|
|
101 }
|
|
102
|
|
103 public static <A> Effect1<A> lazy(final F<A, Unit> f) {
|
|
104 return new Effect1<A>() {
|
|
105 public void f(final A a) {
|
|
106 f.f(a);
|
|
107 }
|
|
108 };
|
|
109 }
|
|
110
|
|
111 // public static <A> void f(Effect1<A> )
|
|
112
|
|
113 }
|