-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathhaskell-backend.html
250 lines (138 loc) · 8.99 KB
/
haskell-backend.html
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
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
<!DOCTYPE html>
<!--[if IE 8]><html class="no-js lt-ie9" lang="en" > <![endif]-->
<!--[if gt IE 8]><!--> <html class="no-js" lang="en" > <!--<![endif]-->
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Haskell backend — MultiCategory 0.0.1 documentation</title>
<script type="text/javascript" src="_static/js/modernizr.min.js"></script>
<script type="text/javascript" id="documentation_options" data-url_root="./" src="_static/documentation_options.js"></script>
<script src="_static/jquery.js"></script>
<script src="_static/underscore.js"></script>
<script src="_static/doctools.js"></script>
<script src="_static/language_data.js"></script>
<script type="text/javascript" src="_static/js/theme.js"></script>
<link rel="stylesheet" href="_static/css/theme.css" type="text/css" />
<link rel="stylesheet" href="_static/pygments.css" type="text/css" />
<link rel="index" title="Index" href="genindex.html" />
<link rel="search" title="Search" href="search.html" />
<link rel="next" title="Python backend (under development and not released or published or submitted)" href="python-backend.html" />
<link rel="prev" title="Java Middleware" href="java-middleware.html" />
</head>
<body class="wy-body-for-nav">
<div class="wy-grid-for-nav">
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
<div class="wy-side-scroll">
<div class="wy-side-nav-search" >
<a href="index.html" class="icon icon-home"> MultiCategory
</a>
<div role="search">
<form id="rtd-search-form" class="wy-form" action="search.html" method="get">
<input type="text" name="q" placeholder="Search docs" />
<input type="hidden" name="check_keywords" value="yes" />
<input type="hidden" name="area" value="default" />
</form>
</div>
</div>
<div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="main navigation">
<p class="caption"><span class="caption-text">Contents:</span></p>
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="install.html">Install</a></li>
<li class="toctree-l1"><a class="reference internal" href="tutorial.html">Tutorial</a></li>
<li class="toctree-l1"><a class="reference internal" href="data_sets.html">Data sets</a></li>
<li class="toctree-l1 current"><a class="reference internal" href="reference.html">Reference</a><ul class="current">
<li class="toctree-l2"><a class="reference internal" href="javascript-frontend.html">Javascript frontend</a></li>
<li class="toctree-l2"><a class="reference internal" href="java-middleware.html">Java Middleware</a></li>
<li class="toctree-l2 current"><a class="current reference internal" href="#">Haskell backend</a><ul>
<li class="toctree-l3"><a class="reference internal" href="#packages-and-data-structures">Packages and data structures</a></li>
<li class="toctree-l3"><a class="reference internal" href="#schema-and-instance-categories">Schema and instance categories</a><ul class="simple">
</ul>
</li>
</ul>
</li>
<li class="toctree-l2"><a class="reference internal" href="python-backend.html">Python backend (under development and not released or published or submitted)</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="theoretical_background.html">Theoretical background</a></li>
<li class="toctree-l1"><a class="reference internal" href="license.html">Lisence</a></li>
<li class="toctree-l1"><a class="reference internal" href="citing.html">Citing</a></li>
<li class="toctree-l1"><a class="reference internal" href="bibliography.html">Bibliography</a></li>
</ul>
</div>
</div>
</nav>
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap">
<nav class="wy-nav-top" aria-label="top navigation">
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
<a href="index.html">MultiCategory</a>
</nav>
<div class="wy-nav-content">
<div class="rst-content">
<div role="navigation" aria-label="breadcrumbs navigation">
<ul class="wy-breadcrumbs">
<li><a href="index.html">Docs</a> »</li>
<li><a href="reference.html">Reference</a> »</li>
<li>Haskell backend</li>
<li class="wy-breadcrumbs-aside">
<a href="_sources/haskell-backend.rst.txt" rel="nofollow"> View page source</a>
</li>
</ul>
<hr/>
</div>
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
<div itemprop="articleBody">
<div class="section" id="haskell-backend">
<h1>Haskell backend<a class="headerlink" href="#haskell-backend" title="Permalink to this headline">¶</a></h1>
<p>The Haskell backend is an independent part of the system and the user can use it from the console. You can start the program by navigating its folder <code class="docutils literal notranslate"><span class="pre">MultiCategory</span></code> and running the command <code class="docutils literal notranslate"><span class="pre">stack</span> <span class="pre">ghci</span></code> which starts the (read evaluate print loop).</p>
<div class="section" id="packages-and-data-structures">
<h2>Packages and data structures<a class="headerlink" href="#packages-and-data-structures" title="Permalink to this headline">¶</a></h2>
<p>The backend uses the following packages to store different models. Some of the data structures are fairly simple and included in the base.</p>
<blockquote>
<div><ul class="simple">
<li><p><a class="reference external" href="https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-List.html">Data.List</a></p></li>
<li><p><a class="reference external" href="http://hackage.haskell.org/package/containers-0.6.2.1/docs/Data-IntMap-Strict.html">Data.IntMap.Strict</a></p></li>
<li><p><a class="reference external" href="https://hackage.haskell.org/package/unordered-containers-0.2.11.0/docs/Data-HashMap-Strict.html">Data.HashMap.Strict</a></p></li>
<li><p><a class="reference external" href="https://hackage.haskell.org/package/aeson">aeson</a></p></li>
<li><p><a class="reference external" href="https://hackage.haskell.org/package/xeno">xeno</a></p></li>
<li><p><a class="reference external" href="https://hackage.haskell.org/package/algebraic-graphs">algebraic graphs</a></p></li>
<li><p><a class="reference external" href="https://hackage.haskell.org/package/rdf4h">rdf4</a></p></li>
<li><p>NimpleGraph (our own graph data manipulation implementation)</p></li>
</ul>
</div></blockquote>
</div>
<div class="section" id="schema-and-instance-categories">
<h2>Schema and instance categories<a class="headerlink" href="#schema-and-instance-categories" title="Permalink to this headline">¶</a></h2>
<p>The schema categories are implemented as modules that contain Haskell datatypes. These schema categories can be found from the folder
<a class="reference external" href="https://github.com/valterUo/MultiCategory-demo-system/tree/master/MultiCategory/src">src</a> which contains folders named after the data sets.
Each folder contains a file called <cite>SchemaCategory.hs</cite>. Each of these folders contains a file called <cite>InstanceCategory.hs</cite> which contains the objects that are mapped with collection constructor functors from the schema category.
The morphisms are not implemented explicitly since we conceptually consider that all the Haskell functions (except the undefined) to be morphisms.</p>
<div class="toctree-wrapper compound">
</div>
</div>
</div>
</div>
</div>
<footer>
<div class="rst-footer-buttons" role="navigation" aria-label="footer navigation">
<a href="python-backend.html" class="btn btn-neutral float-right" title="Python backend (under development and not released or published or submitted)" accesskey="n" rel="next">Next <span class="fa fa-arrow-circle-right"></span></a>
<a href="java-middleware.html" class="btn btn-neutral float-left" title="Java Middleware" accesskey="p" rel="prev"><span class="fa fa-arrow-circle-left"></span> Previous</a>
</div>
<hr/>
<div role="contentinfo">
<p>
© Copyright 2020, Valter Uotila
</p>
</div>
Built with <a href="http://sphinx-doc.org/">Sphinx</a> using a <a href="https://github.com/rtfd/sphinx_rtd_theme">theme</a> provided by <a href="https://readthedocs.org">Read the Docs</a>.
</footer>
</div>
</div>
</section>
</div>
<script type="text/javascript">
jQuery(function () {
SphinxRtdTheme.Navigation.enable(true);
});
</script>
</body>
</html>