Skip to main content

arrow_first_ty

oxilean_std::functional_programming::functions

Function arrow_first_ty 

Source 
pub fn arrow_first_ty() -> Expr
Expand description

ArrowFirst : Type → Type → Type → Type

The first combinator for arrows: first f = f *** id.