package hack_parallel

You can search for identifiers within the package.

in-package search v0.2.0

Parallel and shared memory library

Install

Dune Dependency

github.com Readme Edit opam file Versions (3)

Authors

F

Facebook. Modifications by Rijnard van Tonder

Maintainers

R

Rijnard van Tonder <rvantonder@gmail.com>

Sources

1.0.0.tar.gz

sha256=4ebcdd0c0b23735228d13bbf401799174771a747a5aeb4f35b64dcfc68079e29

md5=26aff6c969020c1d2f588c574dc7d08a

doc/hack_parallel.hack_core/Hack_monad/index.html

Module `Hack_monad`

module type Basic = sig ... end

module type Infix = sig ... end

module type S = sig ... end

module Make (M : Basic) : S with type 'a t := 'a M.t

module 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)).

module type Infix2 = sig ... end

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

module type S2 = sig ... end

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

module Check_S2_refines_S (X : S) : S2 with type ('a, 'd) t = 'a X.t

module Make2 (M : Basic2) : S2 with type ('a, 'd) t := ('a, 'd) M.t