模式如何匹配？

Question

我有一个使用monoid实现的数据类型：

*.dll

newtype First' a = First' {getFirst' :: Optional a} deriving (Eq, Show) instance Arbitrary a => Arbitrary (First' a) where arbitrary = do x <- arbitrary frequency [ (1, return (First'(Only x))) , (1, return (First' Nada))] instance Monoid (First' a) where mempty = First' Nada mappend (First' (Only x)) _ = First' (Only x) mappend (First' Nada) (First' (Only x)) = First' (Only x) mappend _ _ = First' Nada 的最后一个实现说，如果它没有模式匹配前两个mappend函数，那么第三个将被采用。

最后mappend函数对我来说并不明显，我必须传递mappend数据类型。对我来说，由于下划线，我可以传递任何数据类型。

当我使用函数时，haskell如何知道：

First'

最后一个是模式匹配的mappend (First' Nada) (First' Nada) ？

出于好奇，我试过了：

(mappend _ _)

但是haskell编译器抱怨。

*Main First Lib MonoidLaws> mappend 3 45

Answer 1

您已宣布mappend成为Monoid (First' a)实例的一部分，因此mappend的类型为

First' a -> First' a -> First' a

请注意，所有三个mappend模式都缩进到实例声明的右侧。这意味着他们使用该类型确定到该实例的范围。

mappend _ _是模式，但其类型是First' a -> First' a -> First' a。通配符仅表示参数可以是任何First' a值。