In #31 @benjaminweb correctly pointed out that the new type-safe handler API is annoying. We can't use the monadic interface any more, and the current main branch has an interface like:
page :: Hyperbole :> es => Page es '[Central, Presets, Handler3]
page =
handle central $ handle presets $ handle handler3 $ load $ do
...
With this PR, it changes to this:
page :: Hyperbole :> es => Page es (Central, Presets, Handler3)
page =
handle (central, presets, handler3) $ do
...
It doesn't require calling load, it's intuitive, and much more terse. I like it a lot.
In #31 @benjaminweb correctly pointed out that the new type-safe handler API is annoying. We can't use the monadic interface any more, and the current main branch has an interface like:
With this PR, it changes to this:
It doesn't require calling
load
, it's intuitive, and much more terse. I like it a lot.Any feedback?