package hack_parallel

  1. Overview
  2. Docs

Module Hack_monadSource

Sourcemodule type Basic = sig ... end
Sourcemodule type Infix = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (M : Basic) : S with type 'a t := 'a M.t
Sourcemodule type Basic2 = sig ... end

Multi parameter monad. The second parameter get unified across all the computation. This is used to encode monads working on a multi parameter data structure like (('a,'b result)).

Sourcemodule type Infix2 = sig ... end

Same as Infix, except the monad type has two arguments. The second is always just passed through.

Sourcemodule type S2 = sig ... end

The same as S except the monad type has two arguments. The second is always just passed through.

Sourcemodule Check_S2_refines_S (X : S) : S2 with type ('a, 'd) t = 'a X.t
Sourcemodule Make2 (M : Basic2) : S2 with type ('a, 'd) t := ('a, 'd) M.t