有没有办法以这样的方式使用Data.Map,值的类型取决于键的类型？我需要确保我永远不会在地图中插入错误的类型值.
例如:假设我有类型KeyType a,ValType a
然后Map应该有类似的类型
Map (KeyType a) (ValType a)
但这显然不起作用,因为a没有约束.
仅当用户使用存储访问框架选择文件夹时，我们才会获得树 URI。文档提到，从 Android 11 开始，我们可以使用原始文件路径来访问文件。我需要这个，以便我可以使用现有的本机库。但我找不到任何关于获取给定树 URI 的原始路径的文档。如何在 Android 11 上获取给定树 URI 的文件路径？
请注意，stackoverflow 上的所有现有答案都是 hack，它们现在甚至不起作用。我需要一个官方 API。