在 Coq 证明助手中 - 它也有隐式转换 - 可以使用命令搜索隐式转换,该SearchAbout T
命令返回T
其类型中的所有内容(包括到 或 from 的转换T
)。
有没有办法为 Scala 程序员找到所有类型的转换?请注意,转换可能在定义源类型或目标类型的项目之外定义。
在 Coq 证明助手中 - 它也有隐式转换 - 可以使用命令搜索隐式转换,该SearchAbout T
命令返回T
其类型中的所有内容(包括到 或 from 的转换T
)。
有没有办法为 Scala 程序员找到所有类型的转换?请注意,转换可能在定义源类型或目标类型的项目之外定义。