cleff icon indicating copy to clipboard operation
cleff copied to clipboard

Published 20 hours ago • verified publisher icon re-xyr

Handling higher order effects that need to be interpreted

Open jhgarner opened this issue 11 months ago • 0 comments

Is it possible to implement a function: toEffWithExtraTop :: Handling esSend anything es => Eff (e : esSend) ~> Eff (e : es)? Since there's toEff for converting from Eff esSend ~> Eff es, it seems like this should work somehow, but I can't figure out how to get things to line up the right way.

jhgarner avatar Mar 16 '24 01:03 jhgarner