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