Add quantified constraint forall e es. (e <: es) => OneWayCoercible (h e) (h es) as a superclass of Handle h
Improve performance of mapHandle by using unsafeOneWayCoerce.
This can violate type safety if a OneWayCoercibleInstance is
invalid, so do not define or use invalid OneWayCoercible
instances!
0.7.1.0
Add Bluefin.Compound.oneWayCoercibleNewtypeHandle
0.7.0.1
Update Bluefin.Compound documentation
Restrict Reader type tag to Effects. This is technically a breaking
change, but it is extremely unlikely any consumers will be broken by
it.
0.7.0.0
Fix Reader bug that caused incorrect scoping in
awaitYield/connectRequests/streamConsume/connectCoroutines
See module “Bluefin.Capability” for a guide to the new naming. Users
should convert to the new modules, since the old ones will be
deprecated in the future. This is indicated by a comment in the
documentation for each module that will undergo deprecation.
Add new “Capability” modules
Use “capability” terminology throughout documentation
0.5.1.0
Add <: type synonym for :>
It is suggested you switch your uses of :> to <: because it is a
“subset” like constraint and the latter looks more like a subset
symbol. The former may be deprecated and then removed in future
versions.