elm - Elm 中的通用模式匹配

Question

我正在尝试构建一个通用映射函数，该函数将从联合类型中提取可能的内部类型，对内部值应用转换并将其映射回外部类型。

问题是，我需要一种方法来区分外部类型的特定值是否具有内部类型。

如果下面的代码实际编译了，它对我有用，但 Elm 不允许在模式匹配中使用常量。 (第4行的constructor编译失败)

还有其他方法可以实现吗？

map : (inner -> outer) -> (inner -> inner) -> outer -> outer
map constructor func current =
    case current of
        constructor child ->
            constructor (func child)

        _ ->
            current

Answer 1

不，不幸的是 Elm 没有办法通用地表达这种事情，你需要为每个自定义类型编写一个特定的版本。