karpal-profunctor 0.6.0

Profunctor hierarchy (Profunctor, Strong, Choice) for the Industrial Algebra ecosystem
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

// Copyright (C) 2026 Industrial Algebra
// SPDX-License-Identifier: Apache-2.0

#![cfg_attr(not(feature = "std"), no_std)]

#[cfg(feature = "alloc")]
extern crate alloc;

pub mod choice;
#[cfg(feature = "alloc")]
pub mod fn_profunctor;
#[cfg(feature = "alloc")]
pub mod forget;
pub mod profunctor;
pub mod strong;
pub mod tagged;
#[cfg(feature = "alloc")]
pub mod traversing;

pub use choice::Choice;
#[cfg(feature = "alloc")]
pub use fn_profunctor::FnP;
#[cfg(feature = "alloc")]
pub use forget::ForgetF;
pub use profunctor::{HKT2, Profunctor};
pub use strong::Strong;
pub use tagged::TaggedF;
#[cfg(feature = "alloc")]
pub use traversing::Traversing;