Skip to main content

Module fix

Module fix 

Source

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 to Fix<F> in Rust, since Rust cannot enforce finiteness at the type level.