monadify is a Rust library that provides implementations of common functional programming constructs, with a primary focus on monads and related concepts like Functors, Applicatives, and Profunctors. The goal is to offer a practical exploration of these patterns in idiomatic Rust, serving as both a learning resource and a potentially reusable library component.
The library defines and implements the following core functional programming traits:
Functor: Types that can be mapped over. Providesmap(self, f: A -> B) -> F<B>.- Implemented for
Option<A>,Result<A, E>,Vec<A>,CFn<X, A>,CFnOnce<X, A>.
- Implemented for
Apply: ExtendsFunctor. Providesapply(self, f: F<A -> B>) -> F<B>for applying a wrapped function to a wrapped value.- Implemented for
Option<A>,Result<A, E>,Vec<A>.
- Implemented for
Applicative: ExtendsApply. Providespure(x: A) -> F<A>for lifting a value into the applicative context.- Implemented for
Option<A>,Result<A, E>,Vec<A>.
- Implemented for
Bind: ExtendsApply. Providesbind(self, f: A -> F<B>) -> F<B>(also known asflatMapor>>=) for sequencing operations.- Implemented for
Option<A>,Result<A, E>,Vec<A>.
- Implemented for
Monad: A marker trait that groupsApplicativeandBind.- Implemented for
Option<A>,Result<A, E>,Vec<A>.
- Implemented for
Profunctor: Bifunctors contravariant in the first argument and covariant in the second. Providesdimap(self, f: X -> A, g: B -> Y) -> P<X, Y>.- Implemented for
CFn<A, B>andCFnOnce<A, B>.
- Implemented for
Strong: ExtendsProfunctor. Providesfirstandsecondfor operating on product types (tuples).- Implemented for
CFn<A, B>.
- Implemented for
Choice: ExtendsProfunctor. Providesleftandrightfor operating on sum types (Result).- Implemented for
CFn<A, B>.
- Implemented for
The library also includes CFn and CFnOnce wrappers for heap-allocated closures, and various helper functions and macros (e.g., lift2, lift_a1, fn0!, fn1!, _1, _2, view) for working with these abstractions. Optical structures like Lens and Getter (using Profunctor encoding) are also explored.
- To explore and understand monads and other functional patterns from a practical Rust implementation perspective.
- To create a reusable library of these structures in idiomatic Rust.
- To serve as an educational resource for learning about functional programming concepts in Rust.
Here's a quick example of using the Functor trait with Option (Kind-based is now the default):
use monadify::{Functor, OptionKind}; // Import Kind-based Functor and marker
let some_value: Option<i32> = Some(10);
// For Kind-based, Functor<A,B> is on the marker OptionKind
let mapped_value = OptionKind::map(some_value, |x| x * 2);
assert_eq!(mapped_value, Some(20));
let no_value: Option<i32> = None;
let mapped_none = OptionKind::map(no_value, |x: i32| x * 2);
assert_eq!(mapped_none, None);And an example using Bind (often called flat_map):
use monadify::{Bind, OptionKind}; // Import Kind-based Bind and marker
fn try_parse_and_double(s: &str) -> Option<i32> {
s.parse::<i32>().ok().map(|n| n * 2)
}
let opt_str: Option<String> = Some("5".to_string());
// For Kind-based, Bind<A,B> is on the marker OptionKind
// The closure takes String because OptionKind::Of<String> is Option<String>
let result = OptionKind::bind(
opt_str,
|st: String| try_parse_and_double(&st) // Our function A -> F::Of<B>
);
assert_eq!(result, Some(10));
let opt_invalid_str: Option<String> = Some("hello".to_string());
let result_invalid = OptionKind::bind(
opt_invalid_str,
|st: String| try_parse_and_double(&st)
);
assert_eq!(result_invalid, None);For more detailed examples, please refer to the documentation comments within the source code and the test files in the tests/ directory.
To build the library:
cargo buildThe library includes a comprehensive test suite to verify the laws of Functor, Applicative, Monad, etc.
To run the default Kind-based tests:
cargo testThis suite includes over 120 tests covering Kind-based implementations (for Option, Result, Vec, Identity, CFn, CFnOnce, ReaderT) and Profunctor laws.
To run tests for the legacy (non-HKT) implementations, use the legacy feature flag:
cargo test --features legacyThis suite includes over 80 tests for the legacy versions, also all passing.
Performance benchmarks for core operations are available using criterion.rs. To run the benchmarks:
cargo benchThe benchmark results can be found in target/criterion/report/index.html.
Key findings from initial benchmarks:
Functor::mapandBind::bindforOptionandResultshow negligible overhead compared to native methods.Apply::apply(which involvesBox::newforCFn) has a small, consistent overhead (around 2-4 ns).Vecoperations show more overhead due to by-value semantics and heap allocations forCFnin some cases.
This project is licensed under the terms of the MIT License.