We currently do not have a bimap for IO. As a bifunctor this is necessary for calling it a bifunctor. If someone wants to implement the new tag and case of the IO runtime supporting it (for instance, as was done with the Map and FlatMap tags), that would be greatly appreciated.
We currently do not have a
bimap
forIO
. As a bifunctor this is necessary for calling it a bifunctor. If someone wants to implement the new tag and case of theIO
runtime supporting it (for instance, as was done with theMap
andFlatMap
tags), that would be greatly appreciated.