Skip to main content

cata_ty

oxilean_std::functional_programming::functions

Function cata_ty 

Source 
pub fn cata_ty() -> Expr
Expand description

Cata : (F A → A) → Fix F → A (catamorphism type template)

Represented as: (Type → Type) → Type → Type → Type.