1 unstable release

0.0.1 Sep 29, 2019

#12 in #category-theory

BSD-3-Clause

7KB
171 lines

Rarrow

Rarrow is a category theory library in Rust that simulates higher kinded types with associated types using the Plug/Unplug method shown here.

TODO

  • Implement all instances for standard types like Vector, Either, etc
  • Implement instances for library types like im data structures
  • Implement lenses
  • Implement IO monad

No runtime deps