Boilerplate with interceptH "ignored cases" - Polysemy

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Georgi Lyubenov // googleson78

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?

Georgi Lyubenov // googleson78

related issue https://github.com/polysemy-research/polysemy/issues/314

I have a project in which I want to intercept one particular case, letting the others bubble up the stack. I currently do that with intercept \case Case1 a -> … Case2 a -> case2 a Case3 a -&g...
Torsten Schmits

what song and dance? \case Action1 -> lifT action1 should be enough

Georgi Lyubenov // googleson78
interceptH @(Error _) \case
  Throw -> ...
  Catch act handle -> ???
Torsten Schmits

yeah probably :thinking: