fp_library/
types.rs

1//! Concrete data types, their corresponding implementations and type aliases.
2//!
3//! This module provides implementations of various functional programming
4//! data structures and wrappers, including `Identity`, `Lazy`, and extensions
5//! for standard library types like `Option` and `Result`.
6//!
7//! ### Examples
8//!
9//! ```
10//! use fp_library::types::Identity;
11//!
12//! let x = Identity(5);
13//! assert_eq!(x.0, 5);
14//! ```
15
16pub mod arc_ptr;
17pub mod cat_list;
18pub mod endofunction;
19pub mod endomorphism;
20pub mod fn_brand;
21pub mod free;
22pub mod identity;
23pub mod lazy;
24pub mod option;
25pub mod pair;
26pub mod rc_ptr;
27pub mod result;
28pub mod send_endofunction;
29pub mod step;
30pub mod string;
31pub mod thunk;
32pub mod trampoline;
33pub mod try_lazy;
34pub mod try_thunk;
35pub mod try_trampoline;
36pub mod tuple_1;
37pub mod tuple_2;
38pub mod vec;
39
40pub use cat_list::CatList;
41pub use endofunction::Endofunction;
42pub use endomorphism::Endomorphism;
43pub use free::Free;
44pub use identity::Identity;
45pub use lazy::{ArcLazy, ArcLazyConfig, Lazy, LazyConfig, RcLazy, RcLazyConfig};
46pub use pair::Pair;
47pub use send_endofunction::SendEndofunction;
48pub use step::Step;
49pub use thunk::Thunk;
50pub use trampoline::Trampoline;
51pub use try_lazy::{ArcTryLazy, RcTryLazy, TryLazy};
52pub use try_thunk::TryThunk;
53pub use try_trampoline::TryTrampoline;
fp_library/types.rs

fp_library/
types.rs
