Wie passt das Muster zusammen?

Question

ich einen Datentyp haben, die Monoid Implementierung verwendet:

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 

Die letzte Implementierung von mappend sagt, wenn es nicht Muster Spiel zwei vorherigen mappend funktioniert, dann wäre der dritte genommen werden. Die letzte mappend Funktion ist für mich nicht offensichtlich, dass ich First' Datentyp übergeben muss. Es scheint mir, ich könnte jeden Datentyp wegen der Unterstreichung übergeben.

Wie funktioniert die Haskell wissen, wenn ich die Funktion als:

mappend (First' Nada) (First' Nada) 

, dass das letzte Muster (mappend _ _) abgestimmt ist?

Aus Neugier habe ich versucht:

*Main First Lib MonoidLaws> mappend 3 45 

Aber Haskell Compiler beschwert.

<interactive>:14:1: error: 
    * Ambiguous type variable `a0' arising from a use of `print' 
     prevents the constraint `(Show a0)' from being solved. 
     Probable fix: use a type annotation to specify what `a0' should be. 
     These potential instances exist: 
     instance [safe] Show Args -- Defined in `Test.QuickCheck.Test' 
     instance [safe] Show Result -- Defined in `Test.QuickCheck.Test' 
     instance Show All -- Defined in `Data.Monoid' 
     ...plus 35 others 
     ...plus 22 instances involving out-of-scope types 
     (use -fprint-potential-instances to see them all) 
    * In a stmt of an interactive GHCi command: print it 

Answer 1

Sie haben erklärt mappend Teil einer Instanz Monoid (First' a), so dass die Art von mappend ist

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

Beachten Sie, dass alle drei mappend Muster sind eingekerbte rechts von der Instanz Erklärung zu sein. Das bedeutet, dass sie mit diesem Typ auf die Instanz beschränkt sind.

mappend _ _ ist ein Muster, aber seine Art First' a -> First' a -> First' a ist. Die Platzhalter geben nur an, dass die Argumente beliebige First' a Werte sein können.