Skip to main content

effect_ty

oxilean_std::functional_programming::functions

Function effect_ty 

Source 
pub fn effect_ty() -> Expr
Expand description

Effect : Type → Type → Type

Computation with effect row E producing A.