Muster einen polymorphen Typen entsprechen in konkreter in Elm

Question

Ich verwende Ulme-Form: https://github.com/etaque/elm-form/, und ich brauche, um Muster einen polymorphen Typen in einen konkreten Typen zu entsprechen, aber ich die nächsten Fehler bekam:

The pattern matches things of type: 

    TranslationId 

But the values it will actually be trying to match are: 

    e 

Hint: Your type annotation uses type variable `e` which means any type of value 
can flow through. Your code is saying it CANNOT be anything though! Maybe change 
your type annotation to be more specific? Maybe the code has a problem? More at: 
<https://github.com/elm-lang/elm-compiler/blob/0.18.0/hints/type-annotations.md> 

dies ist

Der Code in Frage:

translateError : ErrorValue e -> String 
translateError error = 
    case error of 
     InvalidEmail -> 
      translate English ErrInvalidEmail 

     Empty -> 
      translate English ErrEmpty 

     CustomError PasswordNotMatch -> 
      translate English PasswordNotMatch 

     x -> 
      toString x 

ErrorValue Typ https://github.com/etaque/elm-form/blob/f9480cb8646ebc9f78f13d3a7482c463c5275776/src/Form/Error.elm#L19:

type ErrorValue e 
    = Empty 
    | InvalidString 
    | InvalidEmail 
    | InvalidUrl 
    | InvalidFormat 
    | InvalidInt 
    | InvalidFloat 
    | InvalidBool 
    | InvalidDate 
    | SmallerIntThan Int 
    | GreaterIntThan Int 
    | SmallerFloatThan Float 
    | GreaterFloatThan Float 
    | ShorterStringThan Int 
    | LongerStringThan Int 
    | NotIncludedIn 
    | CustomError e 

TranslationId Typ https://github.com/werner/madison-elm/blob/master/src/elm/Translations/Utils.elm#L9:

type TranslationId 
    = ErrInvalidEmail 
    | PasswordNotMatch 
    | ErrEmpty 

kam ich mit einer Lösung, aber es sieht seltsam und ich bin nicht sicher, ob es die richtige https://github.com/werner/madison-elm/blob/master/src/elm/Translations/FormErrors.elm#L7:

translateError : ErrorValue e -> String 
translateError error = 
    case error of 
     InvalidEmail -> 
      translate English ErrInvalidEmail 

     Empty -> 
      translate English ErrEmpty 

     CustomError e -> 
      case (toString e) of 
       "PasswordNotMatch" -> 
        translate English PasswordNotMatch 
       x -> 
        toString x 

     x -> 
      toString x 

Answer 1

Wie @reactormonk sagt, Sie sind Adressierung der Typvariablen in Ihrer Typdefinition nicht. elm-form bietet Flexibilität im benutzerdefinierten Fehler durch diese Typvariable, die Sie selbst liefern müssen, wenn Sie benutzerdefinierte Fehler verwenden möchten (wenn Sie dies nicht tun, können Sie die Variable im gesamten Code ohne Probleme verwenden).

Insbesondere ErrorValue hat eine Variable vom Typ e, die Sie angeben müssen: im Code keine Rolle spielt, die nicht den Konstruktor Custom nicht verwendet, aber nicht egal, in translateError, weil Sie zu Mustererkennung auf Custom versuchen. Es sieht aus, als ob der Typ Sie wollen, TranslationId so wollen Sie

translateError : ErrorValue TranslationId -> String 
translateError error = 
    case error of 
     InvalidEmail -> 
      translate English ErrInvalidEmail 

     Empty -> 
      translate English ErrEmpty 

     CustomError PasswordNotMatch -> 
      translate English PasswordNotMatch 

     x -> 
      toString x