karpal-core 0.6.1

HKT encoding, Functor, Semigroup, Monoid 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
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
104
105
106

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

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

#[cfg(all(not(feature = "std"), feature = "alloc"))]
extern crate alloc;

pub mod adjunction;
pub mod alt;
pub mod alternative;
pub mod applicative;
pub mod apply;
pub mod bifunctor;
pub mod chain;
pub mod coend;
pub mod comonad;
pub mod comonad_env;
#[cfg(any(feature = "std", feature = "alloc"))]
pub mod comonad_store;
#[cfg(any(feature = "std", feature = "alloc"))]
pub mod comonad_traced;
pub mod compose;
#[cfg(any(feature = "std", feature = "alloc"))]
pub mod conclude;
#[cfg(any(feature = "std", feature = "alloc"))]
pub mod contravariant;
#[cfg(any(feature = "std", feature = "alloc"))]
pub mod decide;
pub mod dinatural;
#[cfg(any(feature = "std", feature = "alloc"))]
pub mod divide;
#[cfg(any(feature = "std", feature = "alloc"))]
pub mod divisible;
pub mod end;
pub mod extend;
pub mod foldable;
pub mod functor;
pub mod functor_filter;
pub mod hkt;
pub mod invariant;
#[macro_use]
pub mod macros;
pub mod monad;
pub mod monoid;
pub mod natural;
pub mod newtype;
pub mod plus;
pub mod selective;
pub mod semigroup;
pub mod traversable;

pub use adjunction::Adjunction;
#[cfg(any(feature = "std", feature = "alloc"))]
pub use adjunction::ContAdj;
#[cfg(any(feature = "std", feature = "alloc"))]
pub use adjunction::ContF;
#[cfg(any(feature = "std", feature = "alloc"))]
pub use adjunction::ContravariantAdjunction;
#[cfg(any(feature = "std", feature = "alloc"))]
pub use adjunction::CurryAdj;
pub use adjunction::IdentityAdj;
pub use adjunction::ProfunctorAdjunction;
pub use adjunction::ProfunctorFunctor;
pub use adjunction::ProfunctorIdentityAdj;
pub use adjunction::ProfunctorIdentityF;
pub use alt::Alt;
pub use alternative::Alternative;
pub use applicative::Applicative;
pub use apply::Apply;
pub use bifunctor::Bifunctor;
pub use chain::Chain;
pub use coend::Coend;
pub use comonad::Comonad;
pub use comonad_env::ComonadEnv;
#[cfg(any(feature = "std", feature = "alloc"))]
pub use comonad_store::ComonadStore;
#[cfg(any(feature = "std", feature = "alloc"))]
pub use comonad_traced::ComonadTraced;
pub use compose::ComposeF;
#[cfg(any(feature = "std", feature = "alloc"))]
pub use conclude::Conclude;
#[cfg(any(feature = "std", feature = "alloc"))]
pub use contravariant::{Contravariant, PredicateF};
#[cfg(any(feature = "std", feature = "alloc"))]
pub use decide::Decide;
pub use dinatural::DinaturalTransformation;
#[cfg(any(feature = "std", feature = "alloc"))]
pub use divide::Divide;
#[cfg(any(feature = "std", feature = "alloc"))]
pub use divisible::Divisible;
pub use end::End;
pub use extend::Extend;
pub use foldable::Foldable;
pub use functor::Functor;
pub use functor_filter::FunctorFilter;
pub use hkt::{HKT, HKT2};
pub use invariant::Invariant;
pub use monad::Monad;
pub use monoid::Monoid;
pub use natural::NaturalTransformation;
pub use newtype::{First, Last, Max, Min, Product, Sum};
pub use plus::Plus;
pub use selective::Selective;
pub use semigroup::Semigroup;
pub use traversable::Traversable;