Mercurial > hg > Members > tatsuki > functionaljava-master > core

comparison src/main/java/fj/Effect.java @ 0:fe80c1edf1be

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add getLoop
author tatsuki
date Fri, 20 Mar 2015 21:04:03 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:fe80c1edf1be
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 }