Patrick Thomson
Patrick Thomson
For those interested, there are `MonadUnliftIO` instances for the carriers that support them now, so you can bring in `unliftio` for fairly fluent access to async stuff.
I don’t object in principle to a `text` dependency, since `text` has been absorbed into the GHC distribution anyway, but I think we’re anticipating that most people won’t use `Trace`...
If I understand this particular combinator enough, which it is very possible I do not, this effect would not be algebraic. _Latent Effects for Reusable Language Components_ defines the algebraicity...
Wow, that’s so kind of you! Thank you so much. I’m very glad it helped!
Aha, interesting! I’ll try Rational and see if that helps.
1. Yeah, there’s not much we can do about that. At least we can have predictable resource consumption when ingesting streams of bytes. 2. I have done something like this....
Nope, copying a streaming bytestring is O(1). It doesn’t involve the actual copying of concrete chunks, just the constructors associated with them.
This parser appears to handle Unicode characters correctly; might be it?
If there are differences in your Demo.hs, can you contribute those back?
None yet, though patches are welcome!