fp-library 0.16.0

A functional programming library for Rust featuring your favourite higher-kinded types and type classes.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103

//! Concrete data types, their corresponding implementations and type aliases.
//!
//! This module provides implementations of various functional programming
//! data structures and wrappers, including `Identity`, `Lazy`, and extensions
//! for standard library types like `Option` and `Result`.
//!
//! ### Examples
//!
//! ```
//! use fp_library::types::Identity;
//!
//! let x = Identity(5);
//! assert_eq!(x.0, 5);
//! ```

pub mod additive;
pub mod arc_coyoneda;
pub mod arc_ptr;
pub mod cat_list;
pub mod conjunctive;
pub mod const_val;
pub mod control_flow;
pub mod coyoneda;
pub mod coyoneda_explicit;
pub mod disjunctive;
pub mod dual;
pub mod endofunction;
pub mod endomorphism;
pub mod first;
pub mod fn_brand;
pub mod free;
pub mod identity;
pub mod last;
pub mod lazy;
pub mod multiplicative;
pub mod optics;
pub mod option;
pub mod pair;
pub mod rc_coyoneda;
pub mod rc_ptr;
pub mod result;
pub mod send_endofunction;
pub mod send_thunk;
pub mod string;
pub mod thunk;
pub mod trampoline;
pub mod try_lazy;
pub mod try_send_thunk;
pub mod try_thunk;
pub mod try_trampoline;
pub mod tuple_1;
pub mod tuple_2;
pub mod vec;

pub use {
	additive::Additive,
	arc_coyoneda::ArcCoyoneda,
	cat_list::CatList,
	conjunctive::Conjunctive,
	coyoneda::Coyoneda,
	coyoneda_explicit::{
		BoxedCoyonedaExplicit,
		CoyonedaExplicit,
	},
	disjunctive::Disjunctive,
	dual::Dual,
	endofunction::Endofunction,
	endomorphism::Endomorphism,
	first::First,
	free::{
		Free,
		FreeStep,
	},
	identity::Identity,
	last::Last,
	lazy::{
		ArcLazy,
		ArcLazyConfig,
		Lazy,
		RcLazy,
		RcLazyConfig,
	},
	multiplicative::Multiplicative,
	optics::{
		Composed,
		Lens,
		LensPrime,
	},
	pair::Pair,
	rc_coyoneda::RcCoyoneda,
	send_endofunction::SendEndofunction,
	send_thunk::SendThunk,
	thunk::Thunk,
	trampoline::Trampoline,
	try_lazy::{
		ArcTryLazy,
		RcTryLazy,
		TryLazy,
	},
	try_send_thunk::TrySendThunk,
	try_thunk::TryThunk,
	try_trampoline::TryTrampoline,
};