API Proposal: Types

Problems

1. mod method currently re-exports and renames mod field types

This is just plain awkward.

2. Type length is out of control

This isn't great:

jreflection::method::Type::Single(jreflection::method::BasicType::Class(jreflection::class::Id("java/lang/Thread")))

3. All types have been type erased

A field or method may have the type:

java.lang.List<java.lang.String>

But the current type API would expose that as:

java.lang.List

Cleaner API Brainstorming

Tuples, flatten single+array into one variant?

rust	java
(0, jreflection::Type::Int)	int
(1, jreflection::Type::Class("java/lang/Thread"))	java.lang.Thread[]

Another type for generic params?

mod type {
    enum Basic { Int, Class(String), ... }
    type Erased = (usize, Basic);
    type Generic = (usize, Basic, ???);
}

mod field {
    type Descriptor = type::Erased; // ?
}

mod method {
    struct Descriptor(String); // ...
    impl Iterator<Item = type::Erased> for DescriptorArgsIter { ... }
}