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

functo_rs

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

1 unstable release

new 0.0.0 Jan 10, 2025

#17 in #functor

Download history 167/week @ 2025-01-08

167 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

~470KB