Refactorisation of MonadTimers & monad transformer instances

input-output-hk / io-sim

Haskell's IO simulator which closely follows core packages (base, async, stm).

https://hackage.haskell.org/package/io-sim

Apache License 2.0

37 stars 15 forks source link

Refactorisation of MonadTimers & monad transformer instances #57

Closed coot closed 1 year ago

coot commented 1 year ago

I removed the rather controversial monad transformer instances for MonadFork & MonadAsync; If we get requests, we can think about it.

coot commented 1 year ago

notes after a conversation with @dcoutts:

[x] MonadTimerSI -> IOSim, remove MonadTimeout
[ ] Make io-sim and si-timers Time independent.
[x] check which instances excpetions package provides
[x] io-classes-mtl (leave ReaderT instances in io-classes)

I think my original notes were not adequate with respect to the second point. As I remember we concluded that Time needs to be defined in si-timers.