`newtype` 上的模式匹配

Question

给定以下新类型：

newtype Bar a = Bar { biz :: Int -> Int -> Int }

是否可以对 Int -> Int 参数进行模式匹配？

例如，假设我想对Bar 进行模式匹配，然后对前两个参数进行模式匹配。

pm :: Bar a -> Bool
pm (Bar (x y)) = x == y

但我得到一个编译时错误：

Prelude> :l NewtypeWork.hs
[1 of 1] Compiling Main             ( NewtypeWork.hs, interpreted )

NewtypeWork.hs:13:10: Parse error in pattern: x
Failed, modules loaded: none.

总体而言，我试图了解如何在函数 Int -> a 的第二个参数上使用 fmap。我希望这个例子能帮助我理解如何完成这个任务。

Answer 1

我不确定你问的是否有意义。

这将编译：

pm :: Bar a -> Bool
pm (Bar f) = undefined

f 的类型是Int -> Int -> Int。你建议如何将f 变成Bool？

例如，f 可能是 Ints 的添加 - (+)。

pm 的有效定义示例如下：

pm (Bar f) = f 1 3 > 0

更新：

要回答您评论中的问题，请首先考虑：

data Foo a = Int -> a

那么Foo 可以被做成一个仿函数：

(fmap f g) i = f (g i) -- g :: Int -> a, f :: a -> b

即您只是将f 应用于g i 中a 类型的值。

现在您可以推断此数据类型：

data Bar a = Int -> Maybe (a, Int)

根据定义：

(fmap f g) i = case g i of
                 Nothing -> Nothing
                 Just (a,j) -> Just (f a, j)

同样，我们只是将f 应用于g i 中a 类型的值。