Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Commit7fe05d4

Browse files
committed
spike
1 parentd2e0c1d commit7fe05d4

File tree

5 files changed

+263
-0
lines changed

5 files changed

+263
-0
lines changed

‎src/main/java/com/jnape/palatable/lambda/functions/specialized/Predicate.java

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,14 @@ default <Z> Predicate<Z> compose(Function<? super Z, ? extends A> before) {
3232
returnFn1.super.compose(before)::apply;
3333
}
3434

35+
/**
36+
* {@inheritDoc}
37+
*/
38+
@Override
39+
default <Z>Predicate<Z>contraMap(Function<?superZ, ?extendsA>fn) {
40+
returnFn1.super.contraMap(fn)::apply;
41+
}
42+
3543
/**
3644
* {@inheritDoc}
3745
*/
Lines changed: 80 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,80 @@
1+
packagecom.jnape.palatable.lambda.structural;
2+
3+
importcom.jnape.palatable.lambda.adt.Maybe;
4+
importcom.jnape.palatable.lambda.adt.hlist.HList.HCons;
5+
importcom.jnape.palatable.lambda.adt.hlist.SingletonHList;
6+
importcom.jnape.palatable.lambda.adt.hlist.Tuple2;
7+
importcom.jnape.palatable.lambda.functions.Fn1;
8+
importcom.jnape.palatable.lambda.functions.Fn2;
9+
importcom.jnape.palatable.lambda.functions.specialized.Predicate;
10+
11+
importjava.util.function.Function;
12+
13+
importstaticcom.jnape.palatable.lambda.adt.Maybe.just;
14+
importstaticcom.jnape.palatable.lambda.functions.builtin.fn2.Into.into;
15+
importstaticcom.jnape.palatable.lambda.functions.builtin.fn2.Into1.into1;
16+
17+
publicabstractclassCase {
18+
19+
privateCase() {
20+
}
21+
22+
publicstaticfinalclassPartial<FieldsextendsHCons,R>extendsCaseimplementsFn1<Fields,Maybe<R>> {
23+
24+
privatefinalPredicate<Fields>pred;
25+
privatefinalFunction<Fields,R>fn;
26+
27+
privatePartial(Predicate<Fields>pred,Function<Fields,R>fn) {
28+
this.pred =pred;
29+
this.fn =fn;
30+
}
31+
32+
@Override
33+
publicMaybe<R>apply(Fieldsfields) {
34+
returnjust(fields).filter(pred).fmap(fn);
35+
}
36+
}
37+
38+
publicstaticfinalclassTotal<FieldsextendsHCons,R>extendsCaseimplementsFn1<Fields,R> {
39+
privatefinalFunction<Fields,R>fn;
40+
41+
privateTotal(Function<Fields,R>fn) {
42+
this.fn =fn;
43+
}
44+
45+
@Override
46+
publicRapply(Fieldsfields) {
47+
returnfn.apply(fields);
48+
}
49+
}
50+
51+
publicstatic <A,B,R>Total<Tuple2<A,B>,R>of(Fn2<?superA, ?superB, ?extendsR>fn) {
52+
returnnewTotal<>(into(fn.toBiFunction()));
53+
}
54+
55+
publicstatic <A,R>Total<SingletonHList<A>,R>of(CatchAllaPredicate,
56+
Fn1<A,R>fn) {
57+
returnnewTotal<>(into1(fn));
58+
}
59+
60+
//todo: overload that explicitly takes Fn<Fields, R> ?
61+
62+
publicstatic <A,R>Partial<SingletonHList<A>,R>of(Predicate<A>pred,
63+
Fn1<A,R>fn) {
64+
65+
returnnewPartial<>(pred.contraMap(HCons::head),into1(fn));
66+
}
67+
68+
publicstatic <A,B,R>Total<Tuple2<A,B>,R>of(CatchAll__,
69+
CatchAll___,
70+
Fn2<?superA, ?superB, ?extendsR>fn) {
71+
returnnewTotal<>(into(fn.toBiFunction()));
72+
}
73+
74+
publicstatic <A,B,R>Partial<Tuple2<A,B>,R>of(Predicate<?superA>aPredicate,
75+
Predicate<?superB>bPredicate,
76+
Fn2<?superA, ?superB, ?extendsR>fn) {
77+
returnnewPartial<>(t ->aPredicate.test(t._1()) &&bPredicate.test(t._2()),
78+
into(fn.toBiFunction()));
79+
}
80+
}
Lines changed: 96 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,96 @@
1+
packagecom.jnape.palatable.lambda.structural;
2+
3+
importcom.jnape.palatable.lambda.adt.hlist.HList.HCons;
4+
5+
importstaticcom.jnape.palatable.lambda.functions.builtin.fn2.Cons.cons;
6+
importstaticcom.jnape.palatable.lambda.structural.Match.partial;
7+
importstaticcom.jnape.palatable.lambda.structural.Match.total;
8+
importstaticjava.util.Arrays.asList;
9+
importstaticjava.util.Collections.emptyList;
10+
11+
publicclassCases {
12+
13+
privateCases() {
14+
}
15+
16+
publicstatic <FieldsextendsHCons,R>Match.Total<Fields,R>cases(Case.Partial<Fields,R>partialCase,
17+
Case.Total<Fields,R>totalCase) {
18+
returncases(partialCase).or(cases(totalCase));
19+
}
20+
21+
publicstatic <FieldsextendsHCons,R>Match.Total<Fields,R>cases(Case.Partial<Fields,R>partialCase1,
22+
Case.Partial<Fields,R>partialCase2,
23+
Case.Total<Fields,R>totalCase) {
24+
returncases(partialCase1,partialCase2).or(cases(totalCase));
25+
}
26+
27+
publicstatic <FieldsextendsHCons,R>Match.Total<Fields,R>cases(Case.Partial<Fields,R>partialCase1,
28+
Case.Partial<Fields,R>partialCase2,
29+
Case.Partial<Fields,R>partialCase3,
30+
Case.Total<Fields,R>totalCase) {
31+
returncases(partialCase1,partialCase2,partialCase3).or(cases(totalCase));
32+
}
33+
34+
publicstatic <FieldsextendsHCons,R>Match.Total<Fields,R>cases(Case.Partial<Fields,R>partialCase1,
35+
Case.Partial<Fields,R>partialCase2,
36+
Case.Partial<Fields,R>partialCase3,
37+
Case.Partial<Fields,R>partialCase4,
38+
Case.Total<Fields,R>totalCase) {
39+
returncases(partialCase1,partialCase2,partialCase3,partialCase4).or(cases(totalCase));
40+
}
41+
42+
publicstatic <FieldsextendsHCons,R>Match.Total<Fields,R>cases(Case.Partial<Fields,R>partialCase1,
43+
Case.Partial<Fields,R>partialCase2,
44+
Case.Partial<Fields,R>partialCase3,
45+
Case.Partial<Fields,R>partialCase4,
46+
Case.Partial<Fields,R>partialCase5,
47+
Case.Total<Fields,R>totalCase) {
48+
returncases(partialCase1,partialCase2,partialCase3,partialCase4,partialCase5).or(cases(totalCase));
49+
}
50+
51+
publicstatic <FieldsextendsHCons,R>Match.Total<Fields,R>cases(Case.Partial<Fields,R>partialCase1,
52+
Case.Partial<Fields,R>partialCase2,
53+
Case.Partial<Fields,R>partialCase3,
54+
Case.Partial<Fields,R>partialCase4,
55+
Case.Partial<Fields,R>partialCase5,
56+
Case.Partial<Fields,R>partialCase6,
57+
Case.Total<Fields,R>totalCase) {
58+
returncases(partialCase1,partialCase2,partialCase3,partialCase4,partialCase5,partialCase6).or(cases(totalCase));
59+
}
60+
61+
publicstatic <FieldsextendsHCons,R>Match.Total<Fields,R>cases(Case.Partial<Fields,R>partialCase1,
62+
Case.Partial<Fields,R>partialCase2,
63+
Case.Partial<Fields,R>partialCase3,
64+
Case.Partial<Fields,R>partialCase4,
65+
Case.Partial<Fields,R>partialCase5,
66+
Case.Partial<Fields,R>partialCase6,
67+
Case.Partial<Fields,R>partialCase7,
68+
Case.Total<Fields,R>totalCase) {
69+
returntotal(asList(partialCase1,partialCase2,partialCase3,partialCase4,partialCase5,partialCase6,partialCase7),
70+
totalCase);
71+
}
72+
73+
publicstatic <FieldsextendsHCons,R>Match.Total<Fields,R>cases(Case.Partial<Fields,R>partialCase1,
74+
Case.Partial<Fields,R>partialCase2,
75+
Case.Partial<Fields,R>partialCase3,
76+
Case.Partial<Fields,R>partialCase4,
77+
Case.Partial<Fields,R>partialCase5,
78+
Case.Partial<Fields,R>partialCase6,
79+
Case.Partial<Fields,R>partialCase7,
80+
Case.Partial<Fields,R>partialCase8,
81+
Case.Total<Fields,R>totalCase) {
82+
returncases(partialCase1,partialCase2,partialCase3,partialCase4,partialCase5,partialCase6,partialCase7,partialCase8)
83+
.or(cases(totalCase));
84+
}
85+
86+
publicstatic <FieldsextendsHCons,R>Match.Total<Fields,R>cases(Case.Total<Fields,R>totalCase) {
87+
returntotal(emptyList(),totalCase);
88+
}
89+
90+
@SafeVarargs
91+
publicstatic <FieldsextendsHCons,R>Match.Partial<Fields,R>cases(Case.Partial<Fields,R>partialCase,
92+
Case.Partial<Fields,R>...more) {
93+
returnpartial(cons(partialCase,asList(more)));
94+
}
95+
96+
}
Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
packagecom.jnape.palatable.lambda.structural;
2+
3+
importcom.jnape.palatable.lambda.functions.specialized.Predicate;
4+
5+
//todo: this sort of sucks having to have a separate type to distinguish this, but maybe can't be helped
6+
publicfinalclassCatchAllimplementsPredicate<Object> {
7+
8+
publicstaticfinalCatchAll__ =newCatchAll();
9+
10+
privateCatchAll() {
11+
}
12+
13+
@Override
14+
publicBooleanapply(Objecto) {
15+
returntrue;
16+
}
17+
}
Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,62 @@
1+
packagecom.jnape.palatable.lambda.structural;
2+
3+
importcom.jnape.palatable.lambda.adt.Maybe;
4+
importcom.jnape.palatable.lambda.adt.hlist.HList;
5+
importcom.jnape.palatable.lambda.functions.Fn1;
6+
7+
importstaticcom.jnape.palatable.lambda.functions.builtin.fn1.CatMaybes.catMaybes;
8+
importstaticcom.jnape.palatable.lambda.functions.builtin.fn1.Head.head;
9+
importstaticcom.jnape.palatable.lambda.functions.builtin.fn2.Map.map;
10+
importstaticcom.jnape.palatable.lambda.monoid.builtin.Concat.concat;
11+
12+
publicabstractclassMatch {
13+
privateMatch() {
14+
}
15+
16+
publicstatic <FieldsextendsHList.HCons,R>Partial<Fields,R>partial(
17+
Iterable<Case.Partial<Fields,R>>partialCases) {
18+
returnnewPartial<>(partialCases);
19+
}
20+
21+
publicstatic <FieldsextendsHList.HCons,R>Total<Fields,R>total(Iterable<Case.Partial<Fields,R>>partialCases,
22+
Case.Total<Fields,R>totalCase) {
23+
returnnewTotal<>(partialCases,totalCase);
24+
}
25+
26+
publicstaticfinalclassPartial<FieldsextendsHList.HCons,R>implementsFn1<Fields,Maybe<R>> {
27+
privatefinalIterable<Case.Partial<Fields,R>>cases;
28+
29+
privatePartial(Iterable<Case.Partial<Fields,R>>cases) {
30+
this.cases =cases;
31+
}
32+
33+
@Override
34+
publicMaybe<R>apply(Fieldsfields) {
35+
returnhead(catMaybes(map(c ->c.apply(fields),cases)));
36+
}
37+
38+
publicPartial<Fields,R>or(Partial<Fields,R>other) {
39+
returnnewPartial<>(concat(cases,other.cases));
40+
}
41+
42+
publicTotal<Fields,R>or(Total<Fields,R>other) {
43+
returnnewTotal<>(concat(cases,other.partialCases),other.totalCase);
44+
}
45+
}
46+
47+
publicstaticfinalclassTotal<FieldsextendsHList.HCons,R>implementsFn1<Fields,R> {
48+
privatefinalIterable<Case.Partial<Fields,R>>partialCases;
49+
privatefinalCase.Total<Fields,R>totalCase;
50+
51+
privateTotal(Iterable<Case.Partial<Fields,R>>partialCases,
52+
Case.Total<Fields,R>totalCase) {
53+
this.partialCases =partialCases;
54+
this.totalCase =totalCase;
55+
}
56+
57+
@Override
58+
publicRapply(Fieldsfields) {
59+
returnpartial(partialCases).apply(fields).orElseGet(() ->totalCase.apply(fields));
60+
}
61+
}
62+
}

0 commit comments

Comments
 (0)
[8]ページ先頭
©2009-2025 Movatter.jp