haskell-effectful/effectful

Is there "raiseUnder"?

Closed this issue · 2 comments

tomjaguarpaw commented

effectful has raise :: Eff es r -> Eff (e : es) r, for putting an unused effect on the top of the stack. Is there something that will put an unused effect in the second place? That is

raiseUnder :: Eff (e : es) r -> Eff (e : e' : es) r
ocharles commented

I think inject can do this - does that work?

tomjaguarpaw commented

Perfect, thanks!