#control #monads #data #functor #options #hierarchies #qualified-do

functo_rs

Control/Data/Unrestricted monad hierarchies for Rust to be used with qualified_do

2 unstable releases

0.1.0 Jan 28, 2025
0.0.0 Jan 10, 2025

#1813 in Rust patterns

Download history 142/week @ 2025-01-07 71/week @ 2025-01-14 28/week @ 2025-01-21 161/week @ 2025-01-28 107/week @ 2025-02-04 40/week @ 2025-02-11

371 downloads per month
Used in 3 crates (2 directly)

MIT license

25KB
911 lines

This crate provides abstractions over data and control functors, as described in A Tale of Two Functors or: How I Learned to Stop Worrying and Love Data and Ccontrol. The original article takes linear types into account, but in Rust we have to do with affine types. This difference means Option and Result CAN be control functors, which are not in linear case.

Dependencies

~475KB