Motif Elm correspondant sur la structure de données génériques

Question

Compte tenu de ce code:

type Msg 
    = NoOp 
    | UpdateField ReqRes 


type ReqRes a 
    = Request a 
    | Response (Result Http.Error Bool) 


update : Msg -> Model -> (Model, Cmd Msg) 
update msg model = 
    case msg of 
     UpdateField reqres -> 
      case reqres of 
       Request a -> 
        -- Do stuff 
       Response result -> 
        -- Do stuff 
     _ -> 
      -- Do stuff 

Comme vous pouvez le voir, j'ai Msg nommé UpdateField, qui prend la UnionType ReqRes. Jusqu'ici tout va bien. Mais le type d'union a une structure de données générique (ou contient une variable de type ... est-ce que les deux signifient la même chose ???).

Mon problème est maintenant, que je ne sais pas comment faire correspondre sur ce point.

Le compilateur me dit cette erreur:

... Problem in this pattern match

The pattern matches things of type:

ReqRes a 

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

ReqRes 

Answer 1

Si vous avez une variable de type (a) après la type ... = ou type alias ... =, il doit apparaître dans le côté gauche aussi.

De même, s'il existe un type ReqRes a, il doit toujours être vu avec a.

Donc, voici les changements nécessaires à votre code pour:

type Msg 
    = NoOp 
    | UpdateField ReqRes 

... becomes... 

type Msg a 
    = NoOp 
    | UpdateField (ReqRes a) 

et

update : Msg -> Model -> (Model, Cmd Msg) 

... becomes... 

update : Msg a -> Model -> (Model, Cmd (Msg a))