【文件属性】：
文件名称：comonad:Haskell 98系列
文件大小：36KB
文件格式：ZIP
更新时间：2021-04-10 05:21:22
Haskell
共同的
该软件包提供comonads，即monad的绝对对偶。 typeclass提供了三种方法： extract ， duplicate和extend 。
class Functor w => Comonad w where
extract :: w a -> a
duplicate :: w a -> w (w a)
extend :: (w a -> b) -> w a -> w b
有两种方法可以定义comonad：
I.提供extract和extend定义，以满足这些法律的定义：
extend extract = id
extract . extend f = f
extend f . extend g = extend (f . extend g)
在这种情况下，您可以简单地设置fmap = liftW 。
这些法律直接类似于。 可
【文件预览】：
comonad-main
----coq()
--------Store.v(2KB)
----.github()
--------workflows()
----.vim.custom(767B)
----cabal.haskell-ci(172B)
----src()
--------Data()
--------Control()
----Setup.lhs(123B)
----.hlint.yaml(121B)
----examples()
--------comonad-examples.cabal(960B)
--------History.hs(2KB)
--------LICENSE.md(12KB)
----LICENSE.md(12KB)
----README.md(2KB)
----comonad.cabal(3KB)
----cabal.project(33B)
----.gitignore(280B)
----CHANGELOG.md(3KB)