Union Type serialization with JSON.net

Recently, I have been working with JSON.NET along with F#, and was surprised when it couldn’t (de)serialize union data types. After some googling I realized that I wasn’t the first to come across this and indeed Robert Pickering had a solution which the following code is based on.

open System
open System.Linq
open System.Linq.Expressions
open Newtonsoft.Json
open Microsoft.FSharp.Reflection
open Microsoft.FSharp.Quotations

type UnionTypeConverter() =
    inherit JsonConverter()

    let doRead (reader: JsonReader) = 
        reader.Read() |> ignore

    override x.CanConvert(typ:Type) =
        let result = 
            ((typ.GetInterface(typeof<System.Collections.IEnumerable>.FullName) = null) 
            && FSharpType.IsUnion typ)

    override x.WriteJson(writer: JsonWriter, value: obj, serializer: JsonSerializer) =
        let t = value.GetType()
        let write (name : string) (fields : obj []) = 
            serializer.Serialize(writer, fields)

        let (info, fields) = FSharpValue.GetUnionFields(value, t)
        write info.Name fields

    override x.ReadJson(reader: JsonReader, objectType: Type, existingValue: obj, serializer: JsonSerializer) =      
         let cases = FSharpType.GetUnionCases(objectType)
         if reader.TokenType <> JsonToken.Null  
            doRead reader
            doRead reader
            let case = cases |> Array.find(fun x -> x.Name = if reader.Value = null then "None" else reader.Value.ToString())
            doRead reader
            doRead reader
            doRead reader
            let fields =  [| 
                   for field in case.GetFields() do
                       let result = serializer.Deserialize(reader, field.PropertyType)
                       reader.Read() |> ignore
                       yield result
            let result = FSharpValue.MakeUnion(case, fields)
            while reader.TokenType <> JsonToken.EndObject do
                doRead reader         
            FSharpValue.MakeUnion(cases.[0], [||]) 
This entry was posted in Development and tagged , . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s