I have been having difficulty using ujson because I need to differentiate between floats and integers in order to support the Plotly.js Json schema correctly. For testing purposes I use Json4s and noticed that it correctly handles this requirement. The json4s AST makes this possible.
Any way Num can be extended (split) into an Integer and Real?
I have been having difficulty using ujson because I need to differentiate between floats and integers in order to support the Plotly.js Json schema correctly. For testing purposes I use Json4s and noticed that it correctly handles this requirement. The json4s AST makes this possible.
Any way Num can be extended (split) into an Integer and Real?
TIA ID: 308 Original Author: hmf