Skip to main content

stream_comonad_ty

oxilean_std::functional_programming::functions

Function stream_comonad_ty 

Source 
pub fn stream_comonad_ty() -> Expr
Expand description

StreamComonad : Type → Type

The stream comonad: infinite sequences with extract (head) and extend.