package higher_kinded

  1. Overview
  2. Docs

Module Let_syntax.Let_syntaxSource

Sourceval return : 'a -> ('a -> X.higher_kinded) t
Sourceval bind : ('a -> X.higher_kinded) t -> f:('a -> ('b -> X.higher_kinded) t) -> ('b -> X.higher_kinded) t
Sourceval map : ('a -> X.higher_kinded) t -> f:('a -> 'b) -> ('b -> X.higher_kinded) t
Sourceval both : ('a -> X.higher_kinded) t -> ('b -> X.higher_kinded) t -> (('a * 'b) -> X.higher_kinded) t
Sourcemodule Open_on_rhs : sig ... end