Open treeowl opened 7 years ago
I don't believe that either mapsExposed or mapsMExposed actually exposes anything it shouldn't. Whereas hoist must be passed a monad morphism to get sensible results, I'm pretty sure these functions will work with arbitrary natural transformations.
mapsExposed
mapsMExposed
hoist
This is no longer the official repo for streaming. Please continue discussion of this issue here.
streaming
I don't believe that either
mapsExposed
ormapsMExposed
actually exposes anything it shouldn't. Whereashoist
must be passed a monad morphism to get sensible results, I'm pretty sure these functions will work with arbitrary natural transformations.