karpal_free/
lib.rs

1// Copyright (C) 2026 Industrial Algebra
2// SPDX-License-Identifier: Apache-2.0
3
4#![cfg_attr(not(feature = "std"), no_std)]
5
6#[cfg(all(not(feature = "std"), feature = "alloc"))]
7extern crate alloc;
8
9#[cfg(any(feature = "std", feature = "alloc"))]
10pub mod codensity;
11#[cfg(any(feature = "std", feature = "alloc"))]
12pub mod cofree;
13#[cfg(any(feature = "std", feature = "alloc"))]
14pub mod coyoneda;
15#[cfg(any(feature = "std", feature = "alloc"))]
16pub mod day;
17#[cfg(any(feature = "std", feature = "alloc"))]
18pub mod density;
19#[cfg(any(feature = "std", feature = "alloc"))]
20pub mod free;
21#[cfg(any(feature = "std", feature = "alloc"))]
22pub mod free_alt;
23#[cfg(any(feature = "std", feature = "alloc"))]
24pub mod free_ap;
25#[cfg(any(feature = "std", feature = "alloc"))]
26pub mod freer;
27#[cfg(any(feature = "std", feature = "alloc"))]
28pub mod lan;
29#[cfg(any(feature = "std", feature = "alloc"))]
30pub mod ran;
31#[cfg(any(feature = "std", feature = "alloc"))]
32pub mod yoneda;
33
34#[cfg(any(feature = "std", feature = "alloc"))]
35pub use codensity::{Codensity, CodensityF};
36#[cfg(any(feature = "std", feature = "alloc"))]
37pub use cofree::{Cofree, CofreeF};
38#[cfg(any(feature = "std", feature = "alloc"))]
39pub use coyoneda::{Coyoneda, CoyonedaF};
40#[cfg(any(feature = "std", feature = "alloc"))]
41pub use day::{Day, DayF};
42#[cfg(any(feature = "std", feature = "alloc"))]
43pub use density::{Density, DensityF};
44#[cfg(any(feature = "std", feature = "alloc"))]
45pub use free::{Free, FreeF};
46#[cfg(any(feature = "std", feature = "alloc"))]
47pub use free_alt::{FreeAlt, FreeAltF};
48#[cfg(any(feature = "std", feature = "alloc"))]
49pub use free_ap::{FreeAp, FreeApF};
50#[cfg(any(feature = "std", feature = "alloc"))]
51pub use freer::{Freer, FreerF};
52#[cfg(any(feature = "std", feature = "alloc"))]
53pub use lan::{Lan, LanF};
54#[cfg(any(feature = "std", feature = "alloc"))]
55pub use ran::{Ran, RanMapped};
56#[cfg(any(feature = "std", feature = "alloc"))]
57pub use yoneda::{Yoneda, YonedaF};
karpal_free/lib.rs

karpal_free/
lib.rs
