Poor type interaction with :<|>

[akhra]

Poor type interaction with :<|>

[akhra]

ServerT

Well now I just feel silly. :) Yep, that fixes everything.

(also wow, this little library is used in a team environment! nice)

Not a big team, but yeah! It implements a bunch of ideas we already planned to use, while not forcing anything we really want to avoid. Seems like a win all around, and by coincidence it showed up on our radar just as we were starting this project.

[valpackett]

Uh, I'm not sure how you went from Server EntitiesAPI to Object -> IdDynamic -> MyApp APIResult :<|> (Text -> MyApp APIResult). (Haskell inferred that for you? It's not that smart I guess :D)

Just like you have Server without transformers, you have ServerT with them:

https://github.com/myfreeweb/sweetroll/blob/be0cef7537c2fd76ec8214dd7108e4f25ada7afd/sweetroll-be/library/Sweetroll/App.hs#L16-L19

I guess this should be documented somewhere here, yeah.

(also wow, this little library is used in a team environment! nice)

[akhra]

(By the way yes, those are the types GHC inferred when I gave it holes to fill.)