Source file preface_make__.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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
(** @canonical Preface_make.Alt *)
module Alt = Preface_make__Alt
(** @canonical Preface_make.Alternative *)
module Alternative = Preface_make__Alternative
(** @canonical Preface_make.Applicative *)
module Applicative = Preface_make__Applicative
(** @canonical Preface_make.Arrow *)
module Arrow = Preface_make__Arrow
(** @canonical Preface_make.Arrow_alt *)
module Arrow_alt = Preface_make__Arrow_alt
(** @canonical Preface_make.Arrow_apply *)
module Arrow_apply = Preface_make__Arrow_apply
(** @canonical Preface_make.Arrow_choice *)
module Arrow_choice = Preface_make__Arrow_choice
(** @canonical Preface_make.Arrow_plus *)
module Arrow_plus = Preface_make__Arrow_plus
(** @canonical Preface_make.Arrow_zero *)
module Arrow_zero = Preface_make__Arrow_zero
(** @canonical Preface_make.Bifunctor *)
module Bifunctor = Preface_make__Bifunctor
(** @canonical Preface_make.Category *)
module Category = Preface_make__Category
(** @canonical Preface_make.Choice *)
module Choice = Preface_make__Choice
(** @canonical Preface_make.Closed *)
module Closed = Preface_make__Closed
(** @canonical Preface_make.Comonad *)
module Comonad = Preface_make__Comonad
(** @canonical Preface_make.Contravariant *)
module Contravariant = Preface_make__Contravariant
(** @canonical Preface_make.Divisible *)
module Divisible = Preface_make__Divisible
(** @canonical Preface_make.Env *)
module Env = Preface_make__Env
(** @canonical Preface_make.Foldable *)
module Foldable = Preface_make__Foldable
(** @canonical Preface_make.Free_applicative *)
module Free_applicative = Preface_make__Free_applicative
(** @canonical Preface_make.Free_monad *)
module Free_monad = Preface_make__Free_monad
(** @canonical Preface_make.Free_selective *)
module Free_selective = Preface_make__Free_selective
(** @canonical Preface_make.Freer_monad *)
module Freer_monad = Preface_make__Freer_monad
(** @canonical Preface_make.Functor *)
module Functor = Preface_make__Functor
(** @canonical Preface_make.Monad *)
module Monad = Preface_make__Monad
(** @canonical Preface_make.Monad_plus *)
module Monad_plus = Preface_make__Monad_plus
(** @canonical Preface_make.Monoid *)
module Monoid = Preface_make__Monoid
(** @canonical Preface_make.Profunctor *)
module Profunctor = Preface_make__Profunctor
(** @canonical Preface_make.Reader *)
module Reader = Preface_make__Reader
(** @canonical Preface_make.Selective *)
module Selective = Preface_make__Selective
(** @canonical Preface_make.Semigroup *)
module Semigroup = Preface_make__Semigroup
(** @canonical Preface_make.State *)
module State = Preface_make__State
(** @canonical Preface_make.Store *)
module Store = Preface_make__Store
(** @canonical Preface_make.Strong *)
module Strong = Preface_make__Strong
(** @canonical Preface_make.Traced *)
module Traced = Preface_make__Traced
(** @canonical Preface_make.Traversable *)
module Traversable = Preface_make__Traversable
(** @canonical Preface_make.Writer *)
module Writer = Preface_make__Writer