Wie eine generische Funktion zu schreiben, die Felder eines Datensatzes aktualisiert

Question

Betrachten

type alias Rec = { a: Int, b: Int, c:Int } 
updateRec r aVal   = { r|a = aVal } 
updateRec2 r aVal bVal  = { r|a = aVal, b= bVal } 
updateRec3 r aVal bVal cVal = ... 

Wie updateRec und updateRec2 ... in eine Funktion verallgemeinern?

Answer 1

Hier ist ein besserer Weg, das gleiche zu tun:

updateA : Int -> Rec -> Rec 
updateA x rec = { rec | a = x } 

-- Similarly for b, c 

Jetzt können Sie die folgende tun, vorausgesetzt, Sie bereits einen Wert haben rec : Rec Sie aktualisieren möchten:

myUpdatedRec : Rec 
myUpdatedRec = 
    rec 
    |> updateA 7 
    |> updateB 19 

Sie können jetzt Aktualisieren Sie eine beliebige Anzahl von Feldern durch Zusammenführen |> updateX ....

Answer 2

Sie möchten eine Funktion schreiben, die eine variable Anzahl von unterschiedlich typisierten Parametern hat. Das ist in dynamisch typisierten Sprachen (Javascript, Python, Ruby) üblich, aber in typisierten Sprachen normalerweise nicht erlaubt. Ulme erlaubt es nicht. Sie

updateRec : Rec -> Maybe Int -> Maybe Int -> Maybe Int -> Rec 
updateRec r a b c = 
    { r 
    | a = a |> Maybe.withDefault r.a 
    , b = b |> Maybe.withDefault r.b 
    , c = c |> Maybe.withDefault r.c 
    } 

Wenn die Datensatzfelder sind alle vom gleichen Typ (hier Int):

Sie können parameterswith der Maybe Typ, das Verständnis Nothing als „fehlendes Argument“, eine variable Anzahl von unterschiedlich typisierte emulieren akzeptieren könnte ein List Int statt:

updateRec : Rec -> List Int -> Rec 
updateRec r fields = 
    case fields of 
    [a] -> { r | a = a } 
    [a,b] -> { r | a = a, b = b } 
    [a,b,c] -> { r | a = a, b = b, c = c } 
    _ -> r 

ich mag diese Lösung nicht, weil Sie es wird unbemerkt fehlschlagen, wenn Sie versehentlich eine Liste mit 0 oder 4+ Elemente liefern. Wenn diese Funktion für Sie trotzdem hilfreich ist, wäre es vielleicht besser, List Int anstelle von Rec zu verwenden.

Answer 3

Elms Record Update-Syntax scheint genau das zu sein, wonach Sie suchen. Sie „pass in“ der Datensatz, den Sie aktualisiert werden sollen, r unten, und Sie können einen Datensatz mit dem, was Felder zurückkehren Sie jedes Feld angeben geändert werden sollen, ohne dass:

ex1 = { r|a = 1 } 
ex2 = { r|b = 2, c = 3 } 

Sie brauchen nicht zu schaffen eine Reihe von zusätzlichen Funktionen für die Aktualisierung nur bestimmter Felder zu bestimmten Zeiten, weil Elms Satz Update-Syntax diese verallgemeinerte Funktion ist.