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

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

use crate::profunctor::Profunctor;

/// A `Choice` profunctor can lift a `P<A, B>` into `P<Result<A, C>, Result<B, C>>`.
///
/// This is the key ingredient for profunctor-encoded prisms.
/// Uses `Result<L, R>` as the sum type (idiomatic Rust, no custom `Either`).
pub trait Choice: Profunctor {
    fn left<A, B, C>(pab: Self::P<A, B>) -> Self::P<Result<A, C>, Result<B, C>>
    where
        A: 'static,
        B: 'static,
        C: 'static;

    fn right<A, B, C>(pab: Self::P<A, B>) -> Self::P<Result<C, A>, Result<C, B>>
    where
        A: 'static,
        B: 'static,
        C: 'static;
}