File tree Expand file tree Collapse file tree
main/java/com/garciat/typeclasses/processor
test/java/com/garciat/typeclasses Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11package com .garciat .typeclasses .processor ;
22
3- import java .util .List ;
4-
53import static com .garciat .typeclasses .api .TypeClass .Witness .Overlap .OVERLAPPABLE ;
64import static com .garciat .typeclasses .api .TypeClass .Witness .Overlap .OVERLAPPING ;
75
6+ import java .util .List ;
7+
88public final class OverlappingInstances {
99 private OverlappingInstances () {}
1010
Original file line number Diff line number Diff line change 77import com .garciat .typeclasses .impl .utils .Lists ;
88import com .garciat .typeclasses .types .Maybe ;
99import com .garciat .typeclasses .types .Pair ;
10-
10+ import java .util .List ;
11+ import java .util .function .Function ;
12+ import java .util .stream .Stream ;
1113import javax .lang .model .element .ExecutableElement ;
1214import javax .lang .model .element .Modifier ;
1315import javax .lang .model .element .TypeElement ;
1416import javax .lang .model .element .VariableElement ;
1517import javax .lang .model .type .*;
1618import javax .lang .model .util .Types ;
17- import java .util .List ;
18- import java .util .function .Function ;
19- import java .util .stream .Stream ;
2019
2120public class StaticWitnessSystem {
2221 private static final Class <?> TAG_BASE_CLASS = TagBase .class ;
Original file line number Diff line number Diff line change 11package com .garciat .typeclasses .processor ;
22
33import com .garciat .typeclasses .api .TypeClass ;
4-
5- import javax .lang .model .element .ExecutableElement ;
64import java .util .List ;
5+ import javax .lang .model .element .ExecutableElement ;
76
87public record WitnessConstructor (
98 ExecutableElement method ,
Original file line number Diff line number Diff line change 33import com .garciat .typeclasses .impl .utils .ZeroOneMore ;
44import com .garciat .typeclasses .types .Either ;
55import com .garciat .typeclasses .types .Maybe ;
6-
76import java .util .List ;
87import java .util .stream .Collectors ;
98
Original file line number Diff line number Diff line change 66import com .garciat .typeclasses .types .Either ;
77import com .sun .source .tree .*;
88import com .sun .source .util .*;
9-
9+ import java . lang . reflect . Method ;
1010import javax .lang .model .element .Element ;
1111import javax .lang .model .element .ExecutableElement ;
1212import javax .lang .model .element .TypeElement ;
1313import javax .lang .model .type .DeclaredType ;
1414import javax .lang .model .type .TypeMirror ;
1515import javax .lang .model .util .Types ;
1616import javax .tools .Diagnostic ;
17- import java .lang .reflect .Method ;
1817
1918public final class WitnessResolutionChecker implements Plugin {
2019 private static final Method WITNESS_METHOD ;
Original file line number Diff line number Diff line change 11package com .garciat .typeclasses ;
22
3+ import static com .garciat .typeclasses .TypeClasses .witness ;
4+
35import com .garciat .typeclasses .api .Ty ;
46import com .garciat .typeclasses .classes .*;
57import com .garciat .typeclasses .types .*;
6- import org .junit .jupiter .api .Test ;
7-
88import java .util .List ;
99import java .util .Map ;
1010import java .util .Optional ;
1111import java .util .function .Function ;
12-
13- import static com .garciat .typeclasses .TypeClasses .witness ;
12+ import org .junit .jupiter .api .Test ;
1413
1514final class ExamplesTest {
1615 @ Test
Original file line number Diff line number Diff line change 11package com .garciat .typeclasses .processor ;
22
3- import org .jspecify .annotations .Nullable ;
4- import org .junit .jupiter .api .Test ;
5- import org .junit .jupiter .api .io .TempDir ;
3+ import static java .util .Objects .requireNonNull ;
4+ import static org .assertj .core .api .Assertions .assertThat ;
65
7- import javax .tools .DiagnosticCollector ;
8- import javax .tools .JavaFileObject ;
9- import javax .tools .StandardLocation ;
10- import javax .tools .ToolProvider ;
116import java .io .File ;
127import java .io .IOException ;
138import java .nio .file .FileVisitResult ;
1611import java .nio .file .SimpleFileVisitor ;
1712import java .nio .file .attribute .BasicFileAttributes ;
1813import java .util .List ;
19-
20- import static java .util .Objects .requireNonNull ;
21- import static org .assertj .core .api .Assertions .assertThat ;
14+ import javax .tools .DiagnosticCollector ;
15+ import javax .tools .JavaFileObject ;
16+ import javax .tools .StandardLocation ;
17+ import javax .tools .ToolProvider ;
18+ import org .jspecify .annotations .Nullable ;
19+ import org .junit .jupiter .api .Test ;
20+ import org .junit .jupiter .api .io .TempDir ;
2221
2322public class WitnessResolutionProcessorTest {
2423 @ Nullable @ TempDir Path tempDir ;
You can’t perform that action at this time.
0 commit comments