Source file preface_stdlib.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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
(** *)
(* Empty comment because, currently, synospsis are not properly
   handled when a module is included in another one.
*)

(** {2 Common datatypes} *)

module Void = Void
module Identity = Identity
module Option = Option
module Either = Either
module Pair = Pair

(** {2 Collection} *)

module List = List
module Nonempty_list = Nonempty_list
module Seq = Seq
module Stream = Stream

(** {2 Error handling} *)

module Exn = Exn
module Result = Result
module Validation = Validation
module Try = Try
module Validate = Validate

(** {2 Functions} *)

module Fun = Fun
module Predicate = Predicate
module Continuation = Continuation

(** {2 Transformers over identity}

    There are some (monad or comonad) transformers defined in [Spec/Make]. In
    [Stdlib] these are some concretised version using [Identity] as inner monad
    or comonad. *)

module Reader = Reader
module Writer = Writer
module State = State
module Store = Store
module Env = Env
module Traced = Traced

(** {2 Static Analysis}

    [Applicatives], [Selectives], [Profunctors] and [Arrows] allow, contrary to
    monads, to perform static analyses on calculation workflows. [Over] and
    [Under] allow optimistic or pessimistic approximations. *)

module Approximation = Approximation