do-notation:单子和索引单子的广义do表示法

时间:2024-04-08 22:01:19
【文件属性】:

文件名称:do-notation:单子和索引单子的广义do表示法

文件大小:11KB

文件格式:ZIP

更新时间:2024-04-08 22:01:19

Haskell

做记号 | 奉献精神 我刚刚锁上了一扇敞开的门。奇怪,但具有象征意义。 曼妮·卡拉维拉(Ganny Fandango) 概述 您是否曾经想过使用索引式monad管理复杂的不变量而又不放弃常规的monad? do-notation可以使您在幕后摆放一堆类型的jiggery-pokery。 它还提供了Ix m索引的monad,它是常规monad m的免费构造。凉爽的。 用法 {-# LANGUAGE RebindableSyntax #-} import Language.Haskell.DoNotation import Prelude hiding ( Monad ( .. ), pure ) 局限性 该实现与通过let绑定的do blocks不能很好地配合使用。 谢谢 向我大声喊叫,非常耐心地我完成了使所有这些工作都必需的不连贯的实例机制。


【文件预览】:
do-notation-master
----Setup.hs(46B)
----.travis()
--------attach-binary.sh(845B)
--------install-ghr.sh(486B)
--------install-stack.sh(709B)
----package.yaml(813B)
----src()
--------Language()
--------Control()
----.travis.yml(1KB)
----LICENSE(1KB)
----test()
--------Spec.hs(4KB)
----do-notation.cabal(1KB)
----README.md(1KB)
----ChangeLog.md(173B)
----stack.yaml(64B)
----.gitignore(31B)

网友评论