Galois Connections for Composable Numeric Casts in Rust
Discover Galois connections in Rust for lawful numeric type casting and safe composability.
Galois connections enable lawful casting between numeric types in Rust, ensuring that conversion chains behave predictably based on simple inequalities. This crate is a Rust-native version of the Haskell library connections, providing clear semantics and safe composability for numeric transformations.