ModelV1 형식에서 ModelV2 형식으로 변환하는 Json 디코더를 작성하는 방법

Question

이전 모델 상태를 새 모델 상태로 마이그레이션하는 것이 매우 어렵다는 것을 알고 있습니다.

처음에는 코드에 Model이 있고이를 localstorage에 유지한다고 가정 해 보겠습니다.

이제 모델에 하나의 추가 필드 "createdAt"를 추가하려고합니다. 따라서 새 필드 별칭을 만들었습니다.

import Json.Decode as D 
import Html as H 


type alias Todo = {id:Int, title: String} 

jsonV1 = """ 

    {"id":1, "title":"Elm-Rocks"} 

""" 

jsonV2 = """ 

    {"id":1, "title":"Elm-Rocks", "createdAt":1479633701604} 


""" 


type alias TodoV2 = {id:Int, title: String, createdAt:Int} 

decode = D.map2 Todo 
    (D.field "id" D.int) 
    (D.field "title" D.string) 

decodeV2 = D.map3 TodoV2 
    (D.field "id" D.int) 
    (D.field "title" D.string) 
    (D.field "createdAt" D.int) 


result1 = D.decodeString decode jsonV1 

result2 = D.decodeString decodeV2 jsonV2 


type alias Model = {todos: List Todo} 
type alias ModelV2 = {todos: List TodoV2} 


main = H.div[] [ 
    H.div[][H.text (toString result1)] 
    , H.div[][H.text (toString result2)] 
    ] 

어떻게 V1/V2 형식 JSON 문자열 중 하나를 받아들이는 디코더/함수를 작성하고 나에게 ModelV2 기록을 제공합니다.

나는 Decoder.andThen의 알고하지만 난 당신이 새 필드는 선택 할 경우, 당신은 하나의 모델을 사용할 수 있습니다 todoDecoderV1: ??? -> TodoV2

Answer 1

당신은 파서를 시도하고 Json.Decode.succeed를 사용하여 기본 대체를 제공하기 위해 Json.Decode.oneOf를 사용할 수 있습니다. 당신이 0로 createdAt의 부재를 표현하고 싶었다면, 당신은이처럼 디코더를 작성할 수

decode = D.map3 TodoV2 
    (D.field "id" D.int) 
    (D.field "title" D.string) 
    (D.oneOf [(D.field "createdAt" D.int), D.succeed 0]) 

그러나, 더 정확하게 현실을 표현하기 위해, 당신의 모델이 createdAt이 그래서 변경하는 것이 추천 유형을 Maybe Int으로 변경하여 선택적. 이것은 make impossible states impossible에 좋은 방법입니다.

type alias TodoV3 = {id:Int, title: String, createdAt:Maybe Int} 

decodeV3 = D.map3 TodoV3 
    (D.field "id" D.int) 
    (D.field "title" D.string) 
    (D.maybe (D.field "createdAt" D.int)) 

Answer 2

의 구현을 작성하는 방법을 모르겠어요.

type alias Todo = {id:Int, title: String, createdAt: Maybe Int} 

decode = D.map3 Todo 
    (D.field "id" D.int) 
    (D.field "title" D.string) 
    D.maybe(D.field "createdAt" D.int)