© 1999-2048 dssz.net 粤ICP备11031372号
[其它] do-notation:单子和索引单子的广义do表示法-源码
说明:做记号 | 奉献精神 我刚刚锁上了一扇敞开的门。奇怪,但具有象征意义。 曼妮·卡拉维拉(Ganny Fandango) 概述 您是否曾经想过使用索引式monad管理复杂的不变量而又不放弃常规的monad? do-notation可以使您在幕后摆放一堆类型的jiggery-pokery。 它还提供了Ix m索引的monad,它是常规monad m的免费构造。凉爽的。 用法 {-# LANGUAGE RebindableSyntax #-} import Language.Haskell.DoNo<weixin_42128393> 上传 | 大小:11kb