ToJSON and FromJSON instances for nested Enum types

Question

I am currently wrapping a Rest(ish) API. The JSON looks something like this, but more extensive:

{ 'a' : 'Bar1 Bar1B' }
{ 'a' : 'Bar2 Bar2A' }

This seems like it would be well represented by Enum types. For example:

data Foo = Foo { a :: Bar }

data Bar = Bar1 Bar1 | Bar2 Bar2

data Bar1 = Bar1A | Bar1B

data Bar2 = Bar2A | Bar2B

I'm having two problems.

While I can write ToJSON instances quite easily:

instance ToJSON Bar1 where
         ToJSON Bar1A = String "Bar1A"
         ToJSON Bar1B = String "Bar1B"

when I write the corresponding FromJSON instances, they fail to decode:

instance FromJSON Bar1 where
         parseJSON (String "Bar1A") = return Bar1A
         parseJSON (String "Bar1B") = return Bar1B
         parseJSON _ = mzero

Why is this?

Secondly, this seems like it will involve me writing a huge amount of boilerplate. Is there any way around this? Using Show/Read, or template haskell, for example?

Mark Whitfield · Accepted Answer · 2014-08-05 21:23:47Z

4

You can't decode a bare Bar1A value because a bare string is not valid JSON. Only arrays or objects are allowed at top-level.

Derived instances for simple examples like you're talking about here are quite straightforward using -XDeriveDataTypeable. See the Aeson docs for details.

answered Aug 5, 2014 at 21:23

Mark Whitfield

2,5381 gold badge14 silver badges12 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

bheklilr Over a year ago

As a side note, OP's implementation does work with decode "[\"Bar1A\"]" :: Maybe [Bar1], so the decoding is working, it's just that the JSON was malformed.

Collectives™ on Stack Overflow

ToJSON and FromJSON instances for nested Enum types

1 Answer 1

1 Comment

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

1 Comment

Your Answer

Sign up or log in

Post as a guest

Related