sannsyn/json-encoder

A single-pass JSON encoder with a declarative DSL

json-encoder's Issues

Operators for choose/divide?

Hi, I just stumbled upon this library and tried it out. First time using Decidable and Divisible and they seem rather elegant. However, I found the code rather hard to write without infix operators similar to <*> and <|>. Moreover, I had to manually turn my ADT into a "canonical" form, using Either and (,).

For example,

data Foo 
    = One Text 
    | Two Text Text 
    | Three Text Text Text

-- it would be nice to derive this with Generics and TH
gfoo :: Foo -> Either Text (Either (Text, Text) (Text, (Text, Text)))
gfoo = ...

fooValue :: Value Foo
fooValue = contramap gfoo $
    string
    <||> string <//> string
    <||> string <//> string <//> string

infixr 4 <||>
(<||>) = chosen

infixr 5 <//>
(<//>) = divided

Anyways, I guess my question is what is the recommended way of writing Values? It seems wrong to include operators here that aren't defined in contramap - and I assume they aren't defined in contramap for a good reason. But, I couldn't figure out a way to write readable code without them.

Thanks!
Mitchell