Skip to main content

RAlgebra

Type Alias RAlgebra 

Source
pub type RAlgebra<F, A> = Box<dyn Fn(<F as HKT>::Of<(Fix<F>, A)>) -> A>;
Expand description

F<(Fix<F>, A)> -> A — an R-algebra, used in paramorphism.

Aliased Type§

pub struct RAlgebra<F, A>(/* private fields */);