deep_causality_haft 0.3.2

HKT traits for for the deep_causality crate.
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

/*
 * SPDX-License-Identifier: MIT
 * Copyright (c) 2023 - 2026. The DeepCausality Authors and Contributors. All Rights Reserved.
 */

//! Tier 3 — natural isomorphism between two arity-5 HKT witnesses
//! ([`HKT5Unbound`]).
//!
//! This is the 5-arity counterpart to [`crate::iso::NaturalIso`], intended
//! for the propagating-effect carrier (per design decision D8 in the
//! `2026-05-20-add-iso-traits` change): the carrier is parametric in
//! `<V, S, C, E, L>` (value, state, context, effect, log) and a Tier 3
//! iso between two such carriers must transport all five parameters.
//!
//! # Laws
//!
//! Mirroring [`crate::iso::NaturalIso`] but lifted to 5 free type
//! parameters: round-trip per parameter tuple, plus naturality in any
//! parameter that the surrounding code maps over.

use crate::{HKT5Unbound, Satisfies};

/// Natural isomorphism between two arity-5 unbound HKT witnesses.
///
/// See the module-level documentation for the laws this trait promises.
pub trait NaturalIso5<F, G>
where
    F: HKT5Unbound,
    G: HKT5Unbound,
{
    /// Maps `F::Type<V, S, C, E, L>` to `G::Type<V, S, C, E, L>`.
    fn to_target<V, S, C, E, L>(fa: F::Type<V, S, C, E, L>) -> G::Type<V, S, C, E, L>
    where
        V: Satisfies<F::Constraint> + Satisfies<G::Constraint>,
        S: Satisfies<F::Constraint> + Satisfies<G::Constraint>,
        C: Satisfies<F::Constraint> + Satisfies<G::Constraint>,
        E: Satisfies<F::Constraint> + Satisfies<G::Constraint>,
        L: Satisfies<F::Constraint> + Satisfies<G::Constraint>;

    /// Reverse of [`to_target`](Self::to_target).
    fn to_source<V, S, C, E, L>(ga: G::Type<V, S, C, E, L>) -> F::Type<V, S, C, E, L>
    where
        V: Satisfies<F::Constraint> + Satisfies<G::Constraint>,
        S: Satisfies<F::Constraint> + Satisfies<G::Constraint>,
        C: Satisfies<F::Constraint> + Satisfies<G::Constraint>,
        E: Satisfies<F::Constraint> + Satisfies<G::Constraint>,
        L: Satisfies<F::Constraint> + Satisfies<G::Constraint>;
}