package higher_kinded

  1. Overview
  2. Docs
package higher_kinded
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make_monad_using_witness.Monad_infixSource

Sourceval (>>=) : ('a -> X.higher_kinded) t -> ('a -> ('b -> X.higher_kinded) t) -> ('b -> X.higher_kinded) t
Sourceval (>>|) : ('a -> X.higher_kinded) t -> ('a -> 'b) -> ('b -> X.higher_kinded) t