Elm Maybe.withDefault

Question

Ich brauche einen Vielleicht -Wertes in einem meiner Update-Funktionen auszupacken:

update msg model = 

    case msg of 

    UpdateMainContent val -> 
     Maybe.withDefault 100 (Just 42) 
     model 

Dies natürlich Dummy-Code ist und die

Maybe.withDefault 100 (Just 42) 

ist gerade aus dem genommen documentation for Maybe und sollte eigentlich nichts tun. Der Compiler beschwert sich und sagte:

Detected errors in 1 module. 


-- TYPE MISMATCH ----------------------------------- ./src/Review/Form/State.elm 

The 1st argument to function `withDefault` is causing a mismatch. 

15|>    Maybe.withDefault 100 (Just 42)) 
16|    -- Maybe.withDefault 100 (model.activeItem) 
17|    model 

Function `withDefault` is expecting the 1st argument to be: 

    a -> b 

But it is: 

    number 

Warum es sagt, dass "withDefault" ist das erste Argument erwartet

a -> b 

zu sein, wenn es als

a -> Maybe a -> a 

in der definiert ist, Dokumentation?

Answer 1

Sie in model versehentlich links:

UpdateMainContent val -> 
    Maybe.withDefault 100 (Just 42) 
    model -- <-- here 

Dies macht den Typ Inferenzalgorithmus denken, dass Maybe.withDefault 100 (Just 42) auf eine Funktion auswerten sollte, die dieses model Argument nehmen. Damit das Sinn macht, erwartet es 100 und 42 Funktionen zu sein, aber sie sind nicht, und so sagt es Ihnen.

Es könnte helfen, ein Beispiel zu sehen, wo das funktioniert:

f : Int -> Int 
f x = x + 1 

Maybe.withDefault identity (Just f) 0 

Dies bewerten zu 1.