dfir_rs/util/
monotonic.rs

1/// A wrapper christening a closure as a [monotonic function](https://hydro.run/docs/dfir/lattices_crate/lattice_math#the-calm-theorem-and-monotonicity)
2#[repr(transparent)]
3#[derive(Clone, Copy)]
4pub struct MonotonicFn<F>(pub F);
5
6/// A wrapper christening a closure as a [lattice morphism](https://hydro.run/docs/dfir/lattices_crate/lattice_math#lattice-morphism)
7#[repr(transparent)]
8#[derive(Clone, Copy)]
9pub struct Morphism<F>(pub F);