#monads #functor #category-theory #applicative

higher-cat

函子、应用函子、单子和其他糟糕的想法

2个版本

0.1.1 2019年8月7日
0.1.0 2019年2月26日

#1802 in 数据结构

每月21次下载

MPL-2.0+

69KB
2K SLoC

higher

Rust的高阶类型和其他糟糕的想法。

Crates

  • higher: 模拟高阶类型的特质
  • higher-derive: 上述内容的自定义派生
  • higher-cat: 使用上述内容实现的应用函子层次结构

许可证

版权所有 2019 Bodil Stokke

本软件受Mozilla公共许可证(v. 2.0)的约束。如果随本文件未分发MPL副本,您可以从http://mozilla.org/MPL/2.0/获得一份。

行为准则

请注意,该项目附带贡献者行为准则发布。通过参与此项目,您同意遵守其条款。

依赖关系