package dune-private-libs

  1. Overview
  2. Docs
Private libraries of Dune

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dune-2.5.1.tbz
sha256=8f77d3a87f208e0d7cccaa1c48c4bb1bb87d62d07c3f25e9b8ba298e028ce52b
sha512=f209f12ced10c1abf8782bdb0143f4cec77795f7174d2cc75130afb1e01550b01f2f77b9e3ec4888efdad83d2f9878d179b39126f824f4e522f3ef4da34bf27e

doc/src/dune-private-libs.stdune/applicative.ml.html

Source file applicative.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
module Make (A : Applicative_intf.S1_base) = struct
  include A

  module O = struct
    let ( let+ ) x f = A.map x ~f

    let ( and+ ) = A.both
  end

  let rec all xs =
    match xs with
    | [] -> return []
    | x :: xs ->
      let open O in
      let+ x = x
      and+ xs = all xs in
      x :: xs
end

module Id = struct
  include Make (struct
    type 'a t = 'a

    let return a = a

    let map x ~f = f x

    let both x y = (x, y)
  end)

  let all x = x
end