什么Haskell包有单元functor/monad？

Question

我正在寻找单位functor/monad

data Unit a = Unit

我可以轻松地重新创建它,但我宁愿不复制这个基本的东西.它曾经存在于Control.Functorcategory-extras包中(http://hackage.haskell.org/packages/archive/category-extras/0.1/doc/html/Control-Functor.html).我无法在Hoogle中找到它,或者在类别附加组件所在的地图中找到它(http://hackage.haskell.org/package/category-extras-1.0.2)

它似乎应该存在于变形金刚包中,因为Control.Monad.Identity它就在那里(它现在Data.Functor.Identity).

我能想出的最接近的现有库代码是

type Unit a = Constant () a

使用Data.Functor.Constant变压器包.

Answer 1

该代理类型可以是你追求的.