The settings fields encodeJson/decodeJson are currently ignored and default implementations are being used. Reason: https://github.com/purescript/purescript/issues/1957 For us the default encoding is fine, so if users want this fixed - a PR would be greatly appreciated!
The settings fields encodeJson/decodeJson are currently ignored and default implementations are being used.
Reason: purescript/purescript#1957
For us the default encoding is fine, so if users want this fixed - a PR would be greatly appreciated!