git.iko.soy/typeable/cabal2nix
on v2.7.2 help sign in
typeable/cabal2nix/doc/pipeline-overview.dia
625 lines 22 kB history raw
1<?xml version="1.0" encoding="UTF-8"?>
2<dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
3 <dia:diagramdata>
4 <dia:attribute name="background">
5 <dia:color val="#ffffff"/>
6 </dia:attribute>
7 <dia:attribute name="pagebreak">
8 <dia:color val="#000099"/>
9 </dia:attribute>
10 <dia:attribute name="paper">
11 <dia:composite type="paper">
12 <dia:attribute name="name">
13 <dia:string>#A4#</dia:string>
14 </dia:attribute>
15 <dia:attribute name="tmargin">
16 <dia:real val="2.8199999332427979"/>
17 </dia:attribute>
18 <dia:attribute name="bmargin">
19 <dia:real val="2.8222000598907471"/>
20 </dia:attribute>
21 <dia:attribute name="lmargin">
22 <dia:real val="2.8222000598907471"/>
23 </dia:attribute>
24 <dia:attribute name="rmargin">
25 <dia:real val="2.8222000598907471"/>
26 </dia:attribute>
27 <dia:attribute name="is_portrait">
28 <dia:boolean val="true"/>
29 </dia:attribute>
30 <dia:attribute name="scaling">
31 <dia:real val="0.90529471635818481"/>
32 </dia:attribute>
33 <dia:attribute name="fitto">
34 <dia:boolean val="true"/>
35 </dia:attribute>
36 <dia:attribute name="fitwidth">
37 <dia:int val="1"/>
38 </dia:attribute>
39 <dia:attribute name="fitheight">
40 <dia:int val="1"/>
41 </dia:attribute>
42 </dia:composite>
43 </dia:attribute>
44 <dia:attribute name="grid">
45 <dia:composite type="grid">
46 <dia:attribute name="width_x">
47 <dia:real val="1"/>
48 </dia:attribute>
49 <dia:attribute name="width_y">
50 <dia:real val="1"/>
51 </dia:attribute>
52 <dia:attribute name="visible_x">
53 <dia:int val="1"/>
54 </dia:attribute>
55 <dia:attribute name="visible_y">
56 <dia:int val="1"/>
57 </dia:attribute>
58 <dia:composite type="color"/>
59 </dia:composite>
60 </dia:attribute>
61 <dia:attribute name="color">
62 <dia:color val="#d8e5e5"/>
63 </dia:attribute>
64 <dia:attribute name="guides">
65 <dia:composite type="guides">
66 <dia:attribute name="hguides"/>
67 <dia:attribute name="vguides"/>
68 </dia:composite>
69 </dia:attribute>
70 </dia:diagramdata>
71 <dia:layer name="Background" visible="true" active="true">
72 <dia:object type="Network - Storage" version="1" id="O0">
73 <dia:attribute name="obj_pos">
74 <dia:point val="1.88131,8.06715"/>
75 </dia:attribute>
76 <dia:attribute name="obj_bb">
77 <dia:rectangle val="1.16131,8.01715;4.30131,10.9621"/>
78 </dia:attribute>
79 <dia:attribute name="meta">
80 <dia:composite type="dict"/>
81 </dia:attribute>
82 <dia:attribute name="elem_corner">
83 <dia:point val="1.88131,8.06715"/>
84 </dia:attribute>
85 <dia:attribute name="elem_width">
86 <dia:real val="1.7"/>
87 </dia:attribute>
88 <dia:attribute name="elem_height">
89 <dia:real val="2"/>
90 </dia:attribute>
91 <dia:attribute name="line_width">
92 <dia:real val="0.10000000149011612"/>
93 </dia:attribute>
94 <dia:attribute name="line_colour">
95 <dia:color val="#000000"/>
96 </dia:attribute>
97 <dia:attribute name="fill_colour">
98 <dia:color val="#ffffff"/>
99 </dia:attribute>
100 <dia:attribute name="show_background">
101 <dia:boolean val="true"/>
102 </dia:attribute>
103 <dia:attribute name="line_style">
104 <dia:enum val="0"/>
105 <dia:real val="1"/>
106 </dia:attribute>
107 <dia:attribute name="padding">
108 <dia:real val="0.10000000000000001"/>
109 </dia:attribute>
110 <dia:attribute name="text">
111 <dia:composite type="text">
112 <dia:attribute name="string">
113 <dia:string>#Hackage#</dia:string>
114 </dia:attribute>
115 <dia:attribute name="font">
116 <dia:font family="sans" style="0" name="Helvetica"/>
117 </dia:attribute>
118 <dia:attribute name="height">
119 <dia:real val="0.84666663408279419"/>
120 </dia:attribute>
121 <dia:attribute name="pos">
122 <dia:point val="2.73131,10.7021"/>
123 </dia:attribute>
124 <dia:attribute name="color">
125 <dia:color val="#000000"/>
126 </dia:attribute>
127 <dia:attribute name="alignment">
128 <dia:enum val="1"/>
129 </dia:attribute>
130 </dia:composite>
131 </dia:attribute>
132 <dia:attribute name="flip_horizontal">
133 <dia:boolean val="false"/>
134 </dia:attribute>
135 <dia:attribute name="flip_vertical">
136 <dia:boolean val="false"/>
137 </dia:attribute>
138 <dia:attribute name="subscale">
139 <dia:real val="1"/>
140 </dia:attribute>
141 </dia:object>
142 <dia:object type="Network - Storage" version="1" id="O1">
143 <dia:attribute name="obj_pos">
144 <dia:point val="6.68779,8.06715"/>
145 </dia:attribute>
146 <dia:attribute name="obj_bb">
147 <dia:rectangle val="5.87529,8.01715;9.20029,10.9621"/>
148 </dia:attribute>
149 <dia:attribute name="meta">
150 <dia:composite type="dict"/>
151 </dia:attribute>
152 <dia:attribute name="elem_corner">
153 <dia:point val="6.68779,8.06715"/>
154 </dia:attribute>
155 <dia:attribute name="elem_width">
156 <dia:real val="1.7"/>
157 </dia:attribute>
158 <dia:attribute name="elem_height">
159 <dia:real val="2"/>
160 </dia:attribute>
161 <dia:attribute name="line_width">
162 <dia:real val="0.10000000149011612"/>
163 </dia:attribute>
164 <dia:attribute name="line_colour">
165 <dia:color val="#000000"/>
166 </dia:attribute>
167 <dia:attribute name="fill_colour">
168 <dia:color val="#ffffff"/>
169 </dia:attribute>
170 <dia:attribute name="show_background">
171 <dia:boolean val="true"/>
172 </dia:attribute>
173 <dia:attribute name="line_style">
174 <dia:enum val="0"/>
175 <dia:real val="1"/>
176 </dia:attribute>
177 <dia:attribute name="padding">
178 <dia:real val="0.10000000000000001"/>
179 </dia:attribute>
180 <dia:attribute name="text">
181 <dia:composite type="text">
182 <dia:attribute name="string">
183 <dia:string>#Stackage#</dia:string>
184 </dia:attribute>
185 <dia:attribute name="font">
186 <dia:font family="sans" style="0" name="Helvetica"/>
187 </dia:attribute>
188 <dia:attribute name="height">
189 <dia:real val="0.84666663408279419"/>
190 </dia:attribute>
191 <dia:attribute name="pos">
192 <dia:point val="7.53779,10.7021"/>
193 </dia:attribute>
194 <dia:attribute name="color">
195 <dia:color val="#000000"/>
196 </dia:attribute>
197 <dia:attribute name="alignment">
198 <dia:enum val="1"/>
199 </dia:attribute>
200 </dia:composite>
201 </dia:attribute>
202 <dia:attribute name="flip_horizontal">
203 <dia:boolean val="false"/>
204 </dia:attribute>
205 <dia:attribute name="flip_vertical">
206 <dia:boolean val="false"/>
207 </dia:attribute>
208 <dia:attribute name="subscale">
209 <dia:real val="1"/>
210 </dia:attribute>
211 </dia:object>
212 <dia:object type="Network - Storage" version="1" id="O2">
213 <dia:attribute name="obj_pos">
214 <dia:point val="11.3743,8.06715"/>
215 </dia:attribute>
216 <dia:attribute name="obj_bb">
217 <dia:rectangle val="10.7743,8.01715;13.6743,10.9621"/>
218 </dia:attribute>
219 <dia:attribute name="meta">
220 <dia:composite type="dict"/>
221 </dia:attribute>
222 <dia:attribute name="elem_corner">
223 <dia:point val="11.3743,8.06715"/>
224 </dia:attribute>
225 <dia:attribute name="elem_width">
226 <dia:real val="1.7"/>
227 </dia:attribute>
228 <dia:attribute name="elem_height">
229 <dia:real val="2"/>
230 </dia:attribute>
231 <dia:attribute name="line_width">
232 <dia:real val="0.10000000149011612"/>
233 </dia:attribute>
234 <dia:attribute name="line_colour">
235 <dia:color val="#000000"/>
236 </dia:attribute>
237 <dia:attribute name="fill_colour">
238 <dia:color val="#ffffff"/>
239 </dia:attribute>
240 <dia:attribute name="show_background">
241 <dia:boolean val="true"/>
242 </dia:attribute>
243 <dia:attribute name="line_style">
244 <dia:enum val="0"/>
245 <dia:real val="1"/>
246 </dia:attribute>
247 <dia:attribute name="padding">
248 <dia:real val="0.10000000000000001"/>
249 </dia:attribute>
250 <dia:attribute name="text">
251 <dia:composite type="text">
252 <dia:attribute name="string">
253 <dia:string>#Nixpkgs#</dia:string>
254 </dia:attribute>
255 <dia:attribute name="font">
256 <dia:font family="sans" style="0" name="Helvetica"/>
257 </dia:attribute>
258 <dia:attribute name="height">
259 <dia:real val="0.84666663408279419"/>
260 </dia:attribute>
261 <dia:attribute name="pos">
262 <dia:point val="12.2243,10.7021"/>
263 </dia:attribute>
264 <dia:attribute name="color">
265 <dia:color val="#000000"/>
266 </dia:attribute>
267 <dia:attribute name="alignment">
268 <dia:enum val="1"/>
269 </dia:attribute>
270 </dia:composite>
271 </dia:attribute>
272 <dia:attribute name="flip_horizontal">
273 <dia:boolean val="false"/>
274 </dia:attribute>
275 <dia:attribute name="flip_vertical">
276 <dia:boolean val="false"/>
277 </dia:attribute>
278 <dia:attribute name="subscale">
279 <dia:real val="1"/>
280 </dia:attribute>
281 </dia:object>
282 <dia:object type="Network - Cloud" version="1" id="O3">
283 <dia:attribute name="obj_pos">
284 <dia:point val="11.7702,3.33165"/>
285 </dia:attribute>
286 <dia:attribute name="obj_bb">
287 <dia:rectangle val="11.7702,3.33165;17.2182,5.64688"/>
288 </dia:attribute>
289 <dia:attribute name="meta">
290 <dia:composite type="dict"/>
291 </dia:attribute>
292 <dia:attribute name="elem_corner">
293 <dia:point val="11.7702,3.33165"/>
294 </dia:attribute>
295 <dia:attribute name="elem_width">
296 <dia:real val="5.4479782276937048"/>
297 </dia:attribute>
298 <dia:attribute name="elem_height">
299 <dia:real val="2.3152317880599642"/>
300 </dia:attribute>
301 <dia:attribute name="line_width">
302 <dia:real val="0.10000000149011612"/>
303 </dia:attribute>
304 <dia:attribute name="line_colour">
305 <dia:color val="#000000"/>
306 </dia:attribute>
307 <dia:attribute name="fill_colour">
308 <dia:color val="#ffffff"/>
309 </dia:attribute>
310 <dia:attribute name="show_background">
311 <dia:boolean val="true"/>
312 </dia:attribute>
313 <dia:attribute name="line_style">
314 <dia:enum val="0"/>
315 <dia:real val="1"/>
316 </dia:attribute>
317 <dia:attribute name="padding">
318 <dia:real val="0.10000000000000001"/>
319 </dia:attribute>
320 <dia:attribute name="text">
321 <dia:composite type="text">
322 <dia:attribute name="string">
323 <dia:string>#Internet#</dia:string>
324 </dia:attribute>
325 <dia:attribute name="font">
326 <dia:font family="sans" style="0" name="Helvetica"/>
327 </dia:attribute>
328 <dia:attribute name="height">
329 <dia:real val="0.84666663408279419"/>
330 </dia:attribute>
331 <dia:attribute name="pos">
332 <dia:point val="14.6402,4.74175"/>
333 </dia:attribute>
334 <dia:attribute name="color">
335 <dia:color val="#000000"/>
336 </dia:attribute>
337 <dia:attribute name="alignment">
338 <dia:enum val="1"/>
339 </dia:attribute>
340 </dia:composite>
341 </dia:attribute>
342 <dia:attribute name="flip_horizontal">
343 <dia:boolean val="false"/>
344 </dia:attribute>
345 <dia:attribute name="flip_vertical">
346 <dia:boolean val="false"/>
347 </dia:attribute>
348 <dia:attribute name="subscale">
349 <dia:real val="1"/>
350 </dia:attribute>
351 </dia:object>
352 <dia:object type="Standard - Line" version="0" id="O4">
353 <dia:attribute name="obj_pos">
354 <dia:point val="3.63144,9.06715"/>
355 </dia:attribute>
356 <dia:attribute name="obj_bb">
357 <dia:rectangle val="3.58144,8.70535;6.74994,9.42895"/>
358 </dia:attribute>
359 <dia:attribute name="conn_endpoints">
360 <dia:point val="3.63144,9.06715"/>
361 <dia:point val="6.63813,9.06715"/>
362 </dia:attribute>
363 <dia:attribute name="numcp">
364 <dia:int val="1"/>
365 </dia:attribute>
366 <dia:attribute name="end_arrow">
367 <dia:enum val="22"/>
368 </dia:attribute>
369 <dia:attribute name="end_arrow_length">
370 <dia:real val="0.5"/>
371 </dia:attribute>
372 <dia:attribute name="end_arrow_width">
373 <dia:real val="0.5"/>
374 </dia:attribute>
375 <dia:connections>
376 <dia:connection handle="0" to="O0" connection="2"/>
377 <dia:connection handle="1" to="O1" connection="2"/>
378 </dia:connections>
379 </dia:object>
380 <dia:object type="Standard - Line" version="0" id="O5">
381 <dia:attribute name="obj_pos">
382 <dia:point val="8.42921,9.06715"/>
383 </dia:attribute>
384 <dia:attribute name="obj_bb">
385 <dia:rectangle val="8.37921,8.70535;11.4369,9.42895"/>
386 </dia:attribute>
387 <dia:attribute name="conn_endpoints">
388 <dia:point val="8.42921,9.06715"/>
389 <dia:point val="11.3251,9.06715"/>
390 </dia:attribute>
391 <dia:attribute name="numcp">
392 <dia:int val="1"/>
393 </dia:attribute>
394 <dia:attribute name="end_arrow">
395 <dia:enum val="22"/>
396 </dia:attribute>
397 <dia:attribute name="end_arrow_length">
398 <dia:real val="0.5"/>
399 </dia:attribute>
400 <dia:attribute name="end_arrow_width">
401 <dia:real val="0.5"/>
402 </dia:attribute>
403 <dia:connections>
404 <dia:connection handle="0" to="O1" connection="2"/>
405 <dia:connection handle="1" to="O2" connection="2"/>
406 </dia:connections>
407 </dia:object>
408 <dia:object type="Standard - Line" version="0" id="O6">
409 <dia:attribute name="obj_pos">
410 <dia:point val="13.1243,9.06419"/>
411 </dia:attribute>
412 <dia:attribute name="obj_bb">
413 <dia:rectangle val="13.0741,8.69217;16.4349,9.41577"/>
414 </dia:attribute>
415 <dia:attribute name="conn_endpoints">
416 <dia:point val="13.1243,9.06419"/>
417 <dia:point val="16.3231,9.05155"/>
418 </dia:attribute>
419 <dia:attribute name="numcp">
420 <dia:int val="1"/>
421 </dia:attribute>
422 <dia:attribute name="end_arrow">
423 <dia:enum val="22"/>
424 </dia:attribute>
425 <dia:attribute name="end_arrow_length">
426 <dia:real val="0.5"/>
427 </dia:attribute>
428 <dia:attribute name="end_arrow_width">
429 <dia:real val="0.5"/>
430 </dia:attribute>
431 <dia:connections>
432 <dia:connection handle="0" to="O2" connection="2"/>
433 <dia:connection handle="1" to="O7" connection="2"/>
434 </dia:connections>
435 </dia:object>
436 <dia:object type="Network - Storage" version="1" id="O7">
437 <dia:attribute name="obj_pos">
438 <dia:point val="16.3733,8.0474"/>
439 </dia:attribute>
440 <dia:attribute name="obj_bb">
441 <dia:rectangle val="16.3233,7.9974;18.1233,10.9424"/>
442 </dia:attribute>
443 <dia:attribute name="meta">
444 <dia:composite type="dict"/>
445 </dia:attribute>
446 <dia:attribute name="elem_corner">
447 <dia:point val="16.3733,8.0474"/>
448 </dia:attribute>
449 <dia:attribute name="elem_width">
450 <dia:real val="1.7"/>
451 </dia:attribute>
452 <dia:attribute name="elem_height">
453 <dia:real val="2"/>
454 </dia:attribute>
455 <dia:attribute name="line_width">
456 <dia:real val="0.10000000149011612"/>
457 </dia:attribute>
458 <dia:attribute name="line_colour">
459 <dia:color val="#000000"/>
460 </dia:attribute>
461 <dia:attribute name="fill_colour">
462 <dia:color val="#ffffff"/>
463 </dia:attribute>
464 <dia:attribute name="show_background">
465 <dia:boolean val="true"/>
466 </dia:attribute>
467 <dia:attribute name="line_style">
468 <dia:enum val="0"/>
469 <dia:real val="1"/>
470 </dia:attribute>
471 <dia:attribute name="padding">
472 <dia:real val="0.10000000000000001"/>
473 </dia:attribute>
474 <dia:attribute name="text">
475 <dia:composite type="text">
476 <dia:attribute name="string">
477 <dia:string>#User#</dia:string>
478 </dia:attribute>
479 <dia:attribute name="font">
480 <dia:font family="sans" style="0" name="Helvetica"/>
481 </dia:attribute>
482 <dia:attribute name="height">
483 <dia:real val="0.84666663408279419"/>
484 </dia:attribute>
485 <dia:attribute name="pos">
486 <dia:point val="17.2233,10.6824"/>
487 </dia:attribute>
488 <dia:attribute name="color">
489 <dia:color val="#000000"/>
490 </dia:attribute>
491 <dia:attribute name="alignment">
492 <dia:enum val="1"/>
493 </dia:attribute>
494 </dia:composite>
495 </dia:attribute>
496 <dia:attribute name="flip_horizontal">
497 <dia:boolean val="false"/>
498 </dia:attribute>
499 <dia:attribute name="flip_vertical">
500 <dia:boolean val="false"/>
501 </dia:attribute>
502 <dia:attribute name="subscale">
503 <dia:real val="1"/>
504 </dia:attribute>
505 </dia:object>
506 <dia:object type="Standard - Arc" version="0" id="O8">
507 <dia:attribute name="obj_pos">
508 <dia:point val="2.88131,9.06715"/>
509 </dia:attribute>
510 <dia:attribute name="obj_bb">
511 <dia:rectangle val="2.83131,6.80516;12.4243,9.11715"/>
512 </dia:attribute>
513 <dia:attribute name="conn_endpoints">
514 <dia:point val="2.88131,9.06715"/>
515 <dia:point val="12.3743,9.06715"/>
516 </dia:attribute>
517 <dia:attribute name="curve_distance">
518 <dia:real val="-2.2119853006179615"/>
519 </dia:attribute>
520 <dia:attribute name="line_width">
521 <dia:real val="0.10000000149011612"/>
522 </dia:attribute>
523 <dia:attribute name="end_arrow">
524 <dia:enum val="22"/>
525 </dia:attribute>
526 <dia:attribute name="end_arrow_length">
527 <dia:real val="0.5"/>
528 </dia:attribute>
529 <dia:attribute name="end_arrow_width">
530 <dia:real val="0.5"/>
531 </dia:attribute>
532 <dia:connections>
533 <dia:connection handle="0" to="O0" connection="2"/>
534 <dia:connection handle="1" to="O2" connection="2"/>
535 </dia:connections>
536 </dia:object>
537 <dia:object type="Standard - Line" version="0" id="O9">
538 <dia:attribute name="obj_pos">
539 <dia:point val="13.9888,5.58092"/>
540 </dia:attribute>
541 <dia:attribute name="obj_bb">
542 <dia:rectangle val="12.7291,5.51454;14.0552,8.21461"/>
543 </dia:attribute>
544 <dia:attribute name="conn_endpoints">
545 <dia:point val="13.9888,5.58092"/>
546 <dia:point val="12.8161,8.11315"/>
547 </dia:attribute>
548 <dia:attribute name="numcp">
549 <dia:int val="1"/>
550 </dia:attribute>
551 <dia:attribute name="end_arrow">
552 <dia:enum val="22"/>
553 </dia:attribute>
554 <dia:attribute name="end_arrow_length">
555 <dia:real val="0.5"/>
556 </dia:attribute>
557 <dia:attribute name="end_arrow_width">
558 <dia:real val="0.5"/>
559 </dia:attribute>
560 <dia:connections>
561 <dia:connection handle="0" to="O3" connection="4"/>
562 <dia:connection handle="1" to="O2" connection="2"/>
563 </dia:connections>
564 </dia:object>
565 <dia:object type="Standard - Line" version="0" id="O10">
566 <dia:attribute name="obj_pos">
567 <dia:point val="15.0831,5.40979"/>
568 </dia:attribute>
569 <dia:attribute name="obj_bb">
570 <dia:rectangle val="15.0142,5.34083;16.82,8.15366"/>
571 </dia:attribute>
572 <dia:attribute name="conn_endpoints">
573 <dia:point val="15.0831,5.40979"/>
574 <dia:point val="16.7511,8.05905"/>
575 </dia:attribute>
576 <dia:attribute name="numcp">
577 <dia:int val="1"/>
578 </dia:attribute>
579 <dia:attribute name="end_arrow">
580 <dia:enum val="22"/>
581 </dia:attribute>
582 <dia:attribute name="end_arrow_length">
583 <dia:real val="0.5"/>
584 </dia:attribute>
585 <dia:attribute name="end_arrow_width">
586 <dia:real val="0.5"/>
587 </dia:attribute>
588 <dia:connections>
589 <dia:connection handle="0" to="O3" connection="4"/>
590 <dia:connection handle="1" to="O7" connection="2"/>
591 </dia:connections>
592 </dia:object>
593 <dia:object type="Standard - Arc" version="0" id="O11">
594 <dia:attribute name="obj_pos">
595 <dia:point val="2.73131,8.06715"/>
596 </dia:attribute>
597 <dia:attribute name="obj_bb">
598 <dia:rectangle val="2.67808,5.82924;17.4265,9.10063"/>
599 </dia:attribute>
600 <dia:attribute name="conn_endpoints">
601 <dia:point val="2.73131,8.06715"/>
602 <dia:point val="17.3733,9.0474"/>
603 </dia:attribute>
604 <dia:attribute name="curve_distance">
605 <dia:real val="-2.6583884076175863"/>
606 </dia:attribute>
607 <dia:attribute name="line_width">
608 <dia:real val="0.10000000149011612"/>
609 </dia:attribute>
610 <dia:attribute name="end_arrow">
611 <dia:enum val="22"/>
612 </dia:attribute>
613 <dia:attribute name="end_arrow_length">
614 <dia:real val="0.5"/>
615 </dia:attribute>
616 <dia:attribute name="end_arrow_width">
617 <dia:real val="0.5"/>
618 </dia:attribute>
619 <dia:connections>
620 <dia:connection handle="0" to="O0" connection="0"/>
621 <dia:connection handle="1" to="O7" connection="2"/>
622 </dia:connections>
623 </dia:object>
624 </dia:layer>
625</dia:diagram>