在线时间:8:00-16:00
迪恩网络APP
随时随地掌握行业动态
扫描二维码
关注迪恩网络微信公众号
开源软件名称(OpenSource Name):ekmett/comonad开源软件地址(OpenSource Url):https://github.com/ekmett/comonad开源编程语言(OpenSource Language):Haskell 93.4%开源软件介绍(OpenSource Introduction):comonadThis package provides comonads, the categorical dual of monads. The typeclass
provides three methods:
There are two ways to define a comonad: I. Provide definitions for
In this case, you may simply set These laws are directly analogous to the laws for
monads. The comonad laws can
perhaps be made clearer by viewing them as stating that Cokleisli composition
must be a) associative and b) have
II. Alternately, you may choose to provide definitions for
In this case, you may not rely on the ability to define You may, of course, choose to define both
These implementations are the default definitions of Contact InformationContributions and bug reports are welcome! Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net. -Edward Kmett |
2023-10-27
2022-08-15
2022-08-17
2022-09-23
2022-08-13
请发表评论