1. StackOverflow 文档
  2. Haskell Language 教程
  3. 常见的仿函数作为 cofree comonads 的基础
  4. Cofree(Const c)作家 c

Cofree(Const c)作家 c

Created: November-22, 2018

特定

data Const c a = Const c

我们有

data Cofree (Const c) a
     = a :< Const c

这是同构的

data Writer c a = Writer c a