我最近一直在寻找(并试图理解)索引monad.我想我已经掌握了一种索引monad的风格,如下所述:Infinity的邻居:超越Monads.
但是,我在index-core中发现了一种不同风格的索引monad ,它有一些部分似乎与这个带有两个索引的索引monad绑定相对应,例如类似的绑定运算符!> =.虽然它显然对索引有类似的更改,但我不太明白如何使用这些索引,例如,控制继续monad中的返回类型与其他样式一样.我会对这种索引monad的样式感兴趣,主要是因为它似乎对monad变换器工作得更好 - 实际上我还没有看到在另一种风格中定义的索引monad变换器(索引monad),只有一个索引变换器常规的单子.
我想知道是否有人可以提供一个实现为此样式的continuation monad的两个结果类型continuation monad的示例,或者指向使用此模块来定义使用两个索引的其他索引monad的其他示例(对于例如,国家monad的形式,国家的类型可能会改变).我一直在寻找这样一个例子,没有太多运气,我自己也没有成功地实现它.我觉得它应该是显而易见的,但我在不同的构造函数中有点束缚.