rarrow
| Crates.io | rarrow |
| lib.rs | rarrow |
| version | 0.0.1 |
| created_at | 2019-09-29 00:55:00.274915+00 |
| updated_at | 2019-09-29 00:55:00.274915+00 |
| description | Another category theory library in Rust |
| homepage | |
| repository | https://github.com/DarinM223/rarrow |
| max_upload_size | |
| id | 168532 |
| size | 6,815 |
Darin Minamoto (DarinM223)
documentation
README
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