Q: how to handle null in Json about chiron HOT 5 OPEN

Hmmm, interesting. I'll take a look at that this evening and work out what's happening there. :)

from chiron.

👍

from chiron.

Trying things out, I'm looking at something like this, which seems to work - but I'm not sure what code you're actually running! Feel free to post up more repro if this isn't helpful :)

    let txt = """{"query":{"results":{"low":null}}}"""
    let json = Json.parse txt

    let low =
            idLens
       <-?> Json.ObjectPIso
       >??> mapPLens "query"
       <??> Json.ObjectPIso
       >??> mapPLens "results"
       <??> Json.ObjectPIso
       >??> mapPLens "low"
       <??> Json.StringPIso

    let read =
            function | Some v -> v
                     | _ -> "default"
        <!> Json.tryGetLensPartial low

    let low =
        match read json with
        | Value low, _ -> low
        | _ -> failwith "unreachable"

from chiron.

(On a side note, I think it's worth doing something which combines Json.ObjectPIso and mapPLens x, as that's a common combination. I'll look at that in the next release too, which will be shortly, to bring Chiron in to line with common naming convention for lenses)

from chiron.

Thanks for comments and sample, @kolektiv. But the issue I've reported was before I've traversed json using lens.
The exception occur when Json.deserialize invoke StockQuote.FromJson. Some time some field from Yahoo service are null, what I'd like to do is being able to supply a default in such case.

This was the original parseResponse before partial lenses:

let private parseResponse json =
    match Json.parse json with
    | Object values ->
      match values |> Map.find "query" with
      | Object values ->
        match values |> Map.find "results" with
        | Object values -> 
          let node = values |> Map.find "quote"
          match node with
          | Array quotes ->
            quotes |> List.map (Json.deserialize : _ -> StockQuote)
          | Object _ ->
            [Json.deserialize node]
          | _ -> []
        | _ -> []
      | _ -> []
    | _ -> []

I don't know if I completely understood your reply... Do I have to define a Json traversal for each field that could be null? There's nothing more terse I can't do with Json.read in StockQuote.FromJson?

from chiron.