package core_kernel

  1. Overview
  2. Docs
Industrial strength alternative to OCaml's standard library

Install

Dune Dependency

Authors

Maintainers

Sources

v0.17.0.tar.gz
sha256=fd2b8c6715794df7a810a62b226f53720f211cd344b4afc9fab0498796d6b466

doc/src/core_kernel.total_map/enumeration.ml.html

Source file enumeration.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
open! Core
open! Import

type ('a, 'b) t = { all : 'a list }

module type S =
  Enumeration_intf.S with type ('a, 'witness) enumeration := ('a, 'witness) t

module type S_fc =
  Enumeration_intf.S_fc with type ('a, 'witness) enumeration := ('a, 'witness) t

module Make (T : sig
  type t [@@deriving enumerate]
end) =
struct
  type enumeration_witness

  let enumeration = T.{ all }
end

let make (type t) ~all =
  (module struct
    type enumerable_t = t
    type enumeration_witness

    let enumeration = { all }
  end : S_fc
    with type enumerable_t = t)
;;
OCaml

Innovation. Community. Security.