`Trace[IO]`
kubukoz opened this issue · comments
Jakub Kozłowski commented
Starting with typelevel/cats-effect#1393, cats-effect (just like other effect systems) has a way to propagate fiber-local state without ReaderT
using FiberLocal[F, A]
.
Additionally, to encapsulate the common pattern of having essentially ReaderT[F, Ref ...]
, @RaasAhsan has opened typelevel/cats-effect#1822.
We should investigate how/if these could be used to get, say, IO[Trace[IO]]
.
Rob Norris commented
Yeah we should be able to go from EntryPoint to Trace[IO]. I'll hack that up.
Jakub Kozłowski commented
I think it's already done. Thanks!