Structs§
- Fix
- The fixed point of a functor
F. - FixF
- HKT marker for
Fix<F>. Primarily used for type-level programming.
Type Aliases§
- Mu
Mu<F>is the least fixed point — structurally identical toFix<F>in Rust, since Rust cannot enforce finiteness at the type level.