Open Boddlnagg opened 6 years ago
The IDs can be opaque (in the type system) but still be serializable in app's config data, that should work.. Then if the repr changes, it will fail to deserialize, and then the user has to choose the port again. But that won't happen often.
This is a follow-up to #32. See the WebMIDI spec for a neat description of a "persistent port ID" (https://www.w3.org/TR/webmidi/#attributes-1):
This implies that we support
Eq
andHash
, and maybe even serde's serialization traits (with an optional feature).It is still unclear whether the persistent ID should replace or be added on top of the non-persistent ID implemented in #32. Because the IDs from #32 are opaque, they can be changed internally as needed.