Skip to main content

effect_handler_ty

oxilean_std::functional_programming::functions

Function effect_handler_ty 

Source 
pub fn effect_handler_ty() -> Expr
Expand description

EffectHandler : Type → Type → Type → Type

Handles effect E in a computation, delegating remaining effects R.