hasura / eff

🚧 a work in progress effect system for Haskell 🚧
ISC License
551 stars 18 forks source link

`censor` semantics doesn’t agree with mtl #16

Open re-xyr opened 2 years ago

re-xyr commented 2 years ago

The mtl censor will apply the function on the whole output of the monadic action, while eff applies it on each telled output. This can generate different accumulated values unless f is an endomorphism.

Is this intentional?