Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Do I have to do the whole Tactics song and dance when using interceptH if I want to "just do nothing" in some of the cases?
Tactics
interceptH
related issue https://github.com/polysemy-research/polysemy/issues/314
what song and dance? \case Action1 -> lifT action1 should be enough
\case Action1 -> lifT action1
interceptH @(Error _) \case Throw -> ... Catch act handle -> ???
the ???
???
yeah probably :thinking:
Do I have to do the whole
Tactics
song and dance when usinginterceptH
if I want to "just do nothing" in some of the cases?related issue https://github.com/polysemy-research/polysemy/issues/314
what song and dance?
\case Action1 -> lifT action1
should be enoughthe
???
yeah probably :thinking: