1 个不稳定版本

0.0.1 2019 年 9 月 29 日

#12 in #category-theory

BSD-3-Clause

7KB
171 行代码(不含注释)

Rarrow

Rarrow 是一个 Rust 范畴论库,它使用 此处 展示的 Plug/Unplug 方法来模拟使用关联类型的高阶类型。

待办事项

  • 实现所有标准类型(如 Vector、Either 等)的实例
  • 实现库类型(如 im 数据结构)的实例
  • 实现透镜(lenses)
  • 实现 IO 模态(monad)

无运行时依赖