我正试图和Arrows一起工作,并且遇到了一些困难.我有一个上下文,我需要一个Arrow [a] [b],我想Arrow a b在箭头内写一个并映射/序列,一个la mapM.具体来说,箭头是一个哈基尔Compiler,但我认为这对答案来说并不重要.
给出一个箭头
myInnerArrow :: Arrow a => a b c
我该如何将其提升为箭头
myOuterArrow :: Arrow a => a [b] [c]
？
我已经搜索了基础库,特别是在Data.List和Control.Arrow,但我找不到任何看起来像它可以完成这项工作的东西.它是否以我不期望的名称存在？它是由其他一些图书馆提供的吗？因某种原因写作是不可能的吗？