I am wondering if it might make sense to mark the simple effect primitives of the form foo ... = send $ Effect ... like put from State with INLINE pragmas?
|
put :: forall s effs. Member (State s) effs => s -> Eff effs () |
|
put s = send (Put s) |
Is there a reason this has not already been done? Functions like these seem like prime targets for human-directed inling.
I am wondering if it might make sense to mark the simple effect primitives of the form
foo ... = send $ Effect ...likeputfromStatewithINLINEpragmas?freer-simple/src/Control/Monad/Freer/State.hs
Lines 57 to 58 in e5ef0fe
Is there a reason this has not already been done? Functions like these seem like prime targets for human-directed inling.