readme_preview.svg
1<svg viewBox="0 0 882 335" xmlns="http://www.w3.org/2000/svg">
2 <style>
3 /* https://github.com/aaron-williamson/base16-alacritty/blob/master/colors/base16-tomorrow-night-256.yml */
4 pre {
5 background: #1d1f21;
6 margin: 0;
7 padding: 10px;
8 border-radius: 6px;
9 color: #ffffff;
10 font: 12px SFMono-Regular, Consolas, Liberation Mono, Menlo, monospace;
11 }
12
13 pre .bold { font-weight: bold; }
14
15 pre .fg.black { color: #1d1f21; }
16 pre .fg.red { color: #cc6666; }
17 pre .fg.green { color: #b5bd68; }
18 pre .fg.yellow { color: #f0c674; }
19 pre .fg.blue { color: #81a2be; }
20 pre .fg.magenta { color: #b294bb; }
21 pre .fg.cyan { color: #8abeb7; }
22 pre .fg.white { color: #c5c8c6; }
23
24 pre .fg.black.bright { color: #969896; }
25 pre .fg.red.bright { color: #cc6666; }
26 pre .fg.green.bright { color: #b5bd68; }
27 pre .fg.yellow.bright { color: #f0c674; }
28 pre .fg.blue.bright { color: #81a2be; }
29 pre .fg.magenta.bright { color: #b294bb; }
30 pre .fg.cyan.bright { color: #8abeb7; }
31 pre .fg.white.bright { color: #ffffff; }
32
33 pre .bg.black { background-color: #1d1f21; }
34 pre .bg.red { background-color: #cc6666; }
35 pre .bg.green { background-color: #b5bd68; }
36 pre .bg.yellow { background-color: #f0c674; }
37 pre .bg.blue { background-color: #81a2be; }
38 pre .bg.magenta { background-color: #b294bb; }
39 pre .bg.cyan { background-color: #8abeb7; }
40 pre .bg.white { background-color: #c5c8c6; }
41
42 pre .bg.black.bright { background-color: #969896; }
43 pre .bg.red.bright { background-color: #cc6666; }
44 pre .bg.green.bright { background-color: #b5bd68; }
45 pre .bg.yellow.bright { background-color: #f0c674; }
46 pre .bg.blue.bright { background-color: #81a2be; }
47 pre .bg.magenta.bright { background-color: #b294bb; }
48 pre .bg.cyan.bright { background-color: #8abeb7; }
49 pre .bg.white.bright { background-color: #ffffff; }
50 </style>
51
52 <foreignObject x="0" y="0" width="882" height="335">
53 <div xmlns="http://www.w3.org/1999/xhtml">
54 <pre><span class="fg red bold bright">error[E0308]</span><span class="bold bright">: `case` clauses have incompatible types</span>
55 <span class="fg blue">┌─</span> FizzBuzz.fun:16:16
56 <span class="fg blue">│</span>
57<span class="fg blue">10</span> <span class="fg blue">│</span> fizz₂ : Nat → String
58 <span class="fg blue">│</span> <span class="fg blue">------</span> <span class="fg blue">expected type `String` found here</span>
59<span class="fg blue">11</span> <span class="fg blue">│</span> fizz₂ num =
60<span class="fg blue">12</span> <span class="fg blue">│</span> <span class="fg blue">╭</span> case (mod num 5) (mod num 3) of
61<span class="fg blue">13</span> <span class="fg blue">│</span> <span class="fg blue">│</span> 0 0 => "FizzBuzz"
62 <span class="fg blue">│</span> <span class="fg blue">│</span> <span class="fg blue">----------</span> <span class="fg blue">this is found to be of type `String`</span>
63<span class="fg blue">14</span> <span class="fg blue">│</span> <span class="fg blue">│</span> 0 _ => "Fizz"
64 <span class="fg blue">│</span> <span class="fg blue">│</span> <span class="fg blue">------</span> <span class="fg blue">this is found to be of type `String`</span>
65<span class="fg blue">15</span> <span class="fg blue">│</span> <span class="fg blue">│</span> _ 0 => "Buzz"
66 <span class="fg blue">│</span> <span class="fg blue">│</span> <span class="fg blue">------</span> <span class="fg blue">this is found to be of type `String`</span>
67<span class="fg blue">16</span> <span class="fg blue">│</span> <span class="fg blue">│</span> _ _ => <span class="fg red">num</span>
68 <span class="fg blue">│</span> <span class="fg blue">│</span> <span class="fg red">^^^</span> <span class="fg red">expected `String`, found `Nat`</span>
69 <span class="fg blue">│</span> <span class="fg blue">╰</span><span class="fg blue">──────────────────' `case` clauses have incompatible types</span>
70 <span class="fg blue">│</span>
71 <span class="fg blue">=</span> expected type `String`
72 found type `Nat`
73
74</pre>
75 </div>
76 </foreignObject>
77</svg>
78
