jon.recoil.org
this repo has no description
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml">
3 <head><title>Functor (Functor)</title><meta charset="utf-8"/>
4 <link rel="stylesheet" href="odoc.css"/>
5 <meta name="generator" content="odoc %%VERSION%%"/>
6 <meta name="viewport" content="width=device-width,initial-scale=1.0"/>
7 <script src="highlight.pack.js"></script>
8 <script>hljs.initHighlightingOnLoad();</script>
9 </head>
10 <body class="odoc">
11 <nav class="odoc-nav"><a href="index.html">Up</a> –
12 <a href="index.html">Index</a> » Functor
13 </nav>
14 <header class="odoc-preamble">
15 <h1>Module <code><span>Functor</span></code></h1>
16 </header>
17 <div class="odoc-content">
18 <div class="odoc-spec">
19 <div class="spec module-type anchored" id="module-type-S">
20 <a href="#module-type-S" class="anchor"></a>
21 <code>
22 <span><span class="keyword">module</span>
23 <span class="keyword">type</span>
24 <a href="Functor-module-type-S.html">S</a>
25 </span>
26 <span> = <span class="keyword">sig</span> ...
27 <span class="keyword">end</span>
28 </span>
29 </code>
30 </div>
31 </div>
32 <div class="odoc-spec">
33 <div class="spec module-type anchored" id="module-type-S1">
34 <a href="#module-type-S1" class="anchor"></a>
35 <code>
36 <span><span class="keyword">module</span>
37 <span class="keyword">type</span>
38 <a href="Functor-module-type-S1.html">S1</a>
39 </span>
40 <span> = <span class="keyword">functor</span>
41 <span> (<a href="Functor-module-type-S1-argument-1-_.html">_</a>
42 : <a href="Functor-module-type-S.html">Functor.S</a>)
43 <span class="arrow">-></span>
44 </span> <a href="Functor-module-type-S.html">Functor.S</a>
45 </span>
46 </code>
47 </div>
48 </div>
49 <div class="odoc-spec">
50 <div class="spec module anchored" id="module-F1">
51 <a href="#module-F1" class="anchor"></a>
52 <code>
53 <span><span class="keyword">module</span>
54 <a href="Functor-F1.html">F1</a>
55 </span>
56 <span> (<a href="Functor-F1-argument-1-Arg.html">Arg</a> :
57 <a href="Functor-module-type-S.html">Functor.S</a>) :
58 <a href="Functor-module-type-S.html">Functor.S</a>
59 </span>
60 </code>
61 </div>
62 </div>
63 <div class="odoc-spec">
64 <div class="spec module anchored" id="module-F2">
65 <a href="#module-F2" class="anchor"></a>
66 <code>
67 <span><span class="keyword">module</span>
68 <a href="Functor-F2.html">F2</a>
69 </span>
70 <span> (<a href="Functor-F2-argument-1-Arg.html">Arg</a> :
71 <a href="Functor-module-type-S.html">Functor.S</a>) :
72 <a href="Functor-module-type-S.html">Functor.S</a>
73 <span class="keyword">with</span>
74 <span><span class="keyword">type</span>
75 <a href="Functor-module-type-S.html#type-t">t</a> =
76 <a href="Functor-F2-argument-1-Arg.html#type-t">Arg.t</a>
77 </span>
78 </span>
79 </code>
80 </div>
81 </div>
82 <div class="odoc-spec">
83 <div class="spec module anchored" id="module-F3">
84 <a href="#module-F3" class="anchor"></a>
85 <code>
86 <span><span class="keyword">module</span>
87 <a href="Functor-F3.html">F3</a>
88 </span>
89 <span> (<a href="Functor-F3-argument-1-Arg.html">Arg</a> :
90 <a href="Functor-module-type-S.html">Functor.S</a>) :
91 <span class="keyword">sig</span> ... <span class="keyword">end</span>
92 </span>
93 </code>
94 </div>
95 </div>
96 <div class="odoc-spec">
97 <div class="spec module anchored" id="module-F4">
98 <a href="#module-F4" class="anchor"></a>
99 <code>
100 <span><span class="keyword">module</span>
101 <a href="Functor-F4.html">F4</a>
102 </span>
103 <span> (<a href="Functor-F4-argument-1-Arg.html">Arg</a> :
104 <a href="Functor-module-type-S.html">Functor.S</a>) :
105 <a href="Functor-module-type-S.html">Functor.S</a>
106 </span>
107 </code>
108 </div>
109 </div>
110 <div class="odoc-spec">
111 <div class="spec module anchored" id="module-F5">
112 <a href="#module-F5" class="anchor"></a>
113 <code>
114 <span><span class="keyword">module</span>
115 <a href="Functor-F5.html">F5</a>
116 </span>
117 <span> () : <a href="Functor-module-type-S.html">Functor.S</a></span>
118 </code>
119 </div>
120 </div>
121 </div>
122 </body>
123</html>