文件名称：comonad:Haskell 98系列
文件大小：36KB
文件格式：ZIP
更新时间：2024-04-29 23:08:02
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)