package higher_kinded

  1. Overview
  2. Docs

Module Make_monad_using_witness2.Let_syntaxSource

Sourceval return : 'a -> ('a -> 'b -> X.higher_kinded) t
Sourceval (>>=) : ('a -> 'e -> X.higher_kinded) t -> ('a -> ('b -> 'e -> X.higher_kinded) t) -> ('b -> 'e -> X.higher_kinded) t
Sourceval (>>|) : ('a -> 'e -> X.higher_kinded) t -> ('a -> 'b) -> ('b -> 'e -> X.higher_kinded) t
Sourcemodule Let_syntax : sig ... end
OCaml

Innovation. Community. Security.