Elliott Hird comments

Results 7 comments of


                                            Elliott Hird

Doesn't support transformer state that depends on the transformed monad

OK, thanks. I agree with that quote that ensuring the specific choice of monad `m` cannot be exploited is a good idea, but I think this is ensured by the...

Doesn't support transformer state that depends on the transformed monad

Here is what I imagined: ``` type Run t m = ∀ β. t m β → m (StT t m β) class MonadTrans t ⇒ MonadTransControl t where data...

Doesn't support transformer state that depends on the transformed monad

Hmm. The problem is that we want a value of type `StT t m a` to contain the _post-execution_ state and result of the action, but adding _m_ as a...

Doesn't support transformer state that depends on the transformed monad

An idea that occurs to me as far as adding laws goes is to add one to make sure that restoring a single `StT` value is _idempotent_: that is, since...

Doesn't support transformer state that depends on the transformed monad

Yes, that works, though it can be simplified and generalised to: ``` restoreT (return st) >> restoreT (return st') = restoreT (return st') ``` However, I think I have a...

Doesn't support transformer state that depends on the transformed monad

Just pinging this issue in case my comment fell through the cracks — no problem if you don't have any comments yet :)

Doesn't support transformer state that depends on the transformed monad

Great, just checking; I've heard of GitHub failing to mail about issue comments before...