package higher_kinded

  1. Overview
  2. Docs

Module Make_monad_using_witness2.Monad_infixSource

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
OCaml

Innovation. Community. Security.