假设我有一个类型的值Monad m => (m a, m a)
,我想对这对进行“排序”以创建类型的值Monad m => m (a, a)
它以与“序列”函数相同的方式组合两个值的单子上下文。是否有一些标准功能或标准方法可以做到这一点?这个操作还有意义吗?
ghci> import Control.Lens
ghci> sequenceOf both (getLine, getLine)
Apples
Bananas
("Apples","Bananas")
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)