Source file arrow_plus.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
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
module Core_over_category_and_via_arrow_and_fst
(Category : Preface_specs.CATEGORY)
(Req : Preface_specs.Arrow_plus.WITH_ARROW_AND_FST
with type ('a, 'b) t = ('a, 'b) Category.t) :
Preface_specs.Arrow_plus.CORE with type ('a, 'b) t = ('a, 'b) Req.t = struct
include Arrow.Core_over_category_and_via_arrow_and_fst (Category) (Req)
let combine = Req.combine
let neutral = Req.neutral
end
module Core_over_category_and_via_arrow_and_split
(Category : Preface_specs.CATEGORY)
(Req : Preface_specs.Arrow_plus.WITH_ARROW_AND_SPLIT
with type ('a, 'b) t = ('a, 'b) Category.t) :
Preface_specs.Arrow_plus.CORE with type ('a, 'b) t = ('a, 'b) Req.t = struct
include Arrow.Core_over_category_and_via_arrow_and_split (Category) (Req)
let combine = Req.combine
let neutral = Req.neutral
end
module Operation_over_category
(Category : Preface_specs.CATEGORY)
(Core : Preface_specs.Arrow_plus.CORE
with type ('a, 'b) t = ('a, 'b) Category.t) :
Preface_specs.Arrow_plus.OPERATION with type ('a, 'b) t = ('a, 'b) Core.t =
struct
include Arrow.Operation_over_category (Category) (Core)
let times n x = Preface_core.Monoid.times Core.combine n x
let reduce_nel list = Preface_core.Monoid.reduce_nel Core.combine list
let reduce list = Preface_core.Monoid.reduce Core.combine Core.neutral list
end
module Alias = Arrow.Alias
module Infix_over_category
(Category : Preface_specs.CATEGORY)
(Core : Preface_specs.Arrow_plus.CORE
with type ('a, 'b) t = ('a, 'b) Category.t)
(Operation : Preface_specs.Arrow_plus.OPERATION
with type ('a, 'b) t = ('a, 'b) Core.t) :
Preface_specs.Arrow_plus.INFIX with type ('a, 'b) t = ('a, 'b) Operation.t =
struct
include Arrow.Infix_over_category (Category) (Core) (Operation)
let ( <|> ) = Core.combine
end
module Via
(Core : Preface_specs.Arrow_plus.CORE)
(Operation : Preface_specs.Arrow_plus.OPERATION
with type ('a, 'b) t = ('a, 'b) Core.t)
(Alias : Preface_specs.Arrow_plus.ALIAS
with type ('a, 'b) t = ('a, 'b) Operation.t)
(Infix : Preface_specs.Arrow_plus.INFIX
with type ('a, 'b) t = ('a, 'b) Alias.t) :
Preface_specs.ARROW_PLUS with type ('a, 'b) t = ('a, 'b) Infix.t = struct
include Core
include Operation
include Alias
include Infix
module Infix = Infix
end
module Over_category_and_via_arrow_and_fst
(Category : Preface_specs.CATEGORY)
(Req : Preface_specs.Arrow_plus.WITH_ARROW_AND_FST
with type ('a, 'b) t = ('a, 'b) Category.t) :
Preface_specs.ARROW_PLUS with type ('a, 'b) t = ('a, 'b) Req.t = struct
module Core = Core_over_category_and_via_arrow_and_fst (Category) (Req)
module Operation = Operation_over_category (Category) (Core)
module Alias = Alias (Operation)
module Infix = Infix_over_category (Category) (Core) (Operation)
include Core
include Operation
include Alias
include Infix
end
module Over_category_and_via_arrow_and_split
(Category : Preface_specs.CATEGORY)
(Req : Preface_specs.Arrow_plus.WITH_ARROW_AND_SPLIT
with type ('a, 'b) t = ('a, 'b) Category.t) :
Preface_specs.ARROW_PLUS with type ('a, 'b) t = ('a, 'b) Req.t = struct
module Core = Core_over_category_and_via_arrow_and_split (Category) (Req)
module Operation = Operation_over_category (Category) (Core)
module Alias = Alias (Operation)
module Infix = Infix_over_category (Category) (Core) (Operation)
include Core
include Operation
include Alias
include Infix
end
module Over_arrow
(Arrow : Preface_specs.ARROW)
(Req : Preface_specs.Arrow_plus.WITH_COMBINE_AND_NEUTRAL
with type ('a, 'b) t = ('a, 'b) Arrow.t) :
Preface_specs.ARROW_PLUS with type ('a, 'b) t = ('a, 'b) Req.t = struct
module Core_aux =
Core_over_category_and_via_arrow_and_fst
(Arrow)
(struct
include Arrow
include Req
end)
module Operation_aux = Operation_over_category (Arrow) (Core_aux)
module Infix_aux = Infix_over_category (Arrow) (Core_aux) (Operation_aux)
include Core_aux
include Operation_aux
include Arrow
module Infix = struct
include Arrow.Infix
include Infix_aux
end
include Infix
end
module From_monad_plus (Monad : Preface_specs.Monad_plus.CORE) :
Preface_specs.ARROW_PLUS with type ('a, 'b) t = 'a -> 'b Monad.t =
Over_arrow
(Arrow.From_monad
(Monad))
(struct
type ('a, 'b) t = 'a -> 'b Monad.t
let combine f g x = Monad.combine (f x) (g x)
let neutral _ = Monad.neutral
end)
module Product (F : Preface_specs.ARROW_PLUS) (G : Preface_specs.ARROW_PLUS) :
Preface_specs.ARROW_PLUS with type ('a, 'b) t = ('a, 'b) F.t * ('a, 'b) G.t =
Over_arrow
(Arrow.Product (F) (G))
(struct
type ('a, 'b) t = ('a, 'b) F.t * ('a, 'b) G.t
let neutral = (F.neutral, G.neutral)
let combine (x1, y1) (x2, y2) = (F.combine x1 x2, G.combine y1 y2)
end)