#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

new 0.1.0 Jan 28, 2025
0.0.0 Jan 10, 2025

#1722 in Rust patterns

Download history 142/week @ 2025-01-07 71/week @ 2025-01-14 27/week @ 2025-01-21

240 downloads per month
Used in 2 crates (via qualified_do)

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