@explorable-viz/fluid 0.7.9 → 0.7.10

package/dist/fluid/fluid/dataset/renewables-restricted.fld

@@ -0,0 +1,139 @@
+-- typedef Year = Num
+-- typedef Country = Str
+-- typedef EnergyType = Str
+-- typedef Output = Num
+-- typedef CountryData = List (EnergyType, Output)
+-- typedef AnnualData = List (Country, CountryData)
+-- typedef Data = List (Year, AnnualData)
+-- The original dataset sometimes has '~0' instead of '0'.
+
+-- Including only 3 countries here. Also, have reduced the Hydro value for China 2015 from 296 to 96 (ouch)
+-- to make the charts fit nicely into my grant proposal. Fix this once proposal submitted!
+-- https://www.ren21.net/wp-content/uploads/2019/05/GSR2014_Full-Report_English.pdf
+[
+(2013, [
+   ("China", [
+      ("Bio", 6.2),
+      ("Hydro", 260),
+      ("Solar", 19.9),
+      ("Wind", 91)
+   ]),
+   ("USA", [
+      ("Bio", 15.8),
+      ("Hydro", 78),
+      ("Solar", 12.1),
+      ("Wind", 61)
+   ]),
+   ("Germany", [
+      ("Bio", 8.1),
+      ("Hydro", 5.6),
+      ("Solar", 36),
+      ("Wind", 34)
+   ])
+]),
+-- https://www.ren21.net/wp-content/uploads/2019/05/GSR2015_Full-Report_English.pdf
+(2014, [
+   ("China", [
+      ("Bio", 10),
+      ("Hydro", 280),
+      ("Solar", 28),
+      ("Wind", 115)
+   ]),
+   ("USA", [
+      ("Bio", 16.1),
+      ("Hydro", 79),
+      ("Solar", 18),
+      ("Wind", 66)
+   ]),
+   ("Germany", [
+      ("Bio", 8.8),
+      ("Hydro", 5.6),
+      ("Solar", 38),
+      ("Wind", 39)
+   ])
+]),
+-- https://www.ren21.net/gsr-2016/00-Reference-Tables.php
+(2015, [
+   ("China", [
+      ("Bio", 10.3),
+      ("Hydro", 96),
+      ("Solar", 44),
+      ("Wind", 145)
+   ]),
+   ("USA", [
+      ("Bio", 16.7),
+      ("Hydro", 80),
+      ("Solar", 26),
+      ("Wind", 74)
+   ]),
+   ("Germany", [
+      ("Bio", 7.1),
+      ("Hydro", 5.6),
+      ("Solar", 40),
+      ("Wind", 45)
+   ])
+]),
+-- https://www.ren21.net/gsr-2017/pages/tables/tables/#table-R2
+(2016, [
+   ("China", [
+      ("Bio", 12),
+      ("Hydro", 305),
+      ("Solar", 77),
+      ("Wind", 169)
+   ]),
+   ("USA", [
+      ("Bio", 16.8),
+      ("Hydro", 80),
+      ("Solar", 41),
+      ("Wind", 82)
+   ]),
+   ("Germany", [
+      ("Bio", 7.6),
+      ("Hydro", 5.6),
+      ("Solar", 41),
+      ("Wind", 50)
+   ])
+]),
+-- https://www.ren21.net/gsr-2018/pages/tables/tables/#Table_R2
+(2017, [
+   ("China", [
+      ("Bio", 14.9),
+      ("Hydro", 313),
+      ("Solar", 131),
+      ("Wind", 188)
+   ]),
+   ("USA", [
+      ("Bio", 16.7),
+      ("Hydro", 80),
+      ("Solar", 51),
+      ("Wind", 89)
+   ]),
+   ("Germany", [
+      ("Bio", 8),
+      ("Hydro", 5.6),
+      ("Solar", 42),
+      ("Wind", 56)
+   ])
+]),
+-- https://www.ren21.net/gsr-2019/tables/table_02/table_02/
+(2018, [
+   ("China", [
+      ("Bio", 17.8),
+      ("Hydro", 322),
+      ("Solar", 176),
+      ("Wind", 210)
+   ]),
+   ("USA", [
+      ("Bio", 16.2),
+      ("Hydro", 80),
+      ("Solar", 62),
+      ("Wind", 96)
+   ]),
+   ("Germany", [
+      ("Bio", 8.4),
+      ("Hydro", 5.6),
+      ("Solar", 45),
+      ("Wind", 59)
+   ])
+])
+]

package/dist/fluid/fluid/dataset/renewables.fld

@@ -0,0 +1,100 @@
+-- The original dataset sometimes has '~0' instead of '0'.
+-- Including only 3 countries here. Also, have reduced the Hydro value for China 2015 from 296 to 96 (ouch)
+-- to make the charts fit nicely into grant proposal. Fix this once proposal submitted!
+[
+   -- https://www.ren21.net/wp-content/uploads/2019/05/GSR2014_Full-Report_English.pdf
+   { year: 2013, country: "China", energyType: "Bio", output: 6.2 },
+   { year: 2013, country: "China", energyType: "Hydro", output: 260 },
+   { year: 2013, country: "China", energyType: "Solar", output: 19.9 },
+   { year: 2013, country: "China", energyType: "Wind", output: 91 },
+
+   { year: 2013, country: "USA", energyType: "Bio", output: 15.8 },
+   { year: 2013, country: "USA", energyType: "Hydro", output: 78 },
+   { year: 2013, country: "USA", energyType: "Solar", output: 12.1 },
+   { year: 2013, country: "USA", energyType: "Wind", output: 61 },
+
+   { year: 2013, country: "Germany", energyType: "Bio", output: 8.1 },
+   { year: 2013, country: "Germany", energyType: "Hydro", output: 5.6 },
+   { year: 2013, country: "Germany", energyType: "Solar", output: 36 },
+   { year: 2013, country: "Germany", energyType: "Wind", output: 34 },
+
+   -- https://www.ren21.net/wp-content/uploads/2019/05/GSR2015_Full-Report_English.pdf
+   { year: 2014, country: "China", energyType: "Bio", output: 10 },
+   { year: 2014, country: "China", energyType: "Hydro", output: 280 },
+   { year: 2014, country: "China", energyType: "Solar", output: 28 },
+   { year: 2014, country: "China", energyType: "Wind", output: 115 },
+
+   { year: 2014, country: "USA", energyType: "Bio", output: 16.1 },
+   { year: 2014, country: "USA", energyType: "Hydro", output: 79 },
+   { year: 2014, country: "USA", energyType: "Solar", output: 18 },
+   { year: 2014, country: "USA", energyType: "Wind", output: 66 },
+
+   { year: 2014, country: "Germany", energyType: "Bio", output: 8.8 },
+   { year: 2014, country: "Germany", energyType: "Hydro", output: 5.6 },
+   { year: 2014, country: "Germany", energyType: "Solar", output: 38 },
+   { year: 2014, country: "Germany", energyType: "Wind", output: 39 },
+
+   -- https://www.ren21.net/gsr-2016/00-Reference-Tables.php
+   { year: 2015, country: "China", energyType: "Bio", output: 10.3 },
+   { year: 2015, country: "China", energyType: "Hydro", output: 96 },
+   { year: 2015, country: "China", energyType: "Solar", output: 44 },
+   { year: 2015, country: "China", energyType: "Wind", output: 145 },
+
+   { year: 2015, country: "USA", energyType: "Bio", output: 16.7 },
+   { year: 2015, country: "USA", energyType: "Hydro", output: 80 },
+   { year: 2015, country: "USA", energyType: "Solar", output: 26 },
+   { year: 2015, country: "USA", energyType: "Wind", output: 74 },
+
+   { year: 2015, country: "Germany", energyType: "Bio", output: 7.1 },
+   { year: 2015, country: "Germany", energyType: "Hydro", output: 5.6 },
+   { year: 2015, country: "Germany", energyType: "Solar", output: 40 },
+   { year: 2015, country: "Germany", energyType: "Wind", output: 45 },
+
+   -- https://www.ren21.net/gsr-2017/pages/tables/tables/#table-R2
+   { year: 2016, country: "China", energyType: "Bio", output: 12 },
+   { year: 2016, country: "China", energyType: "Hydro", output: 305 },
+   { year: 2016, country: "China", energyType: "Solar", output: 77 },
+   { year: 2016, country: "China", energyType: "Wind", output: 169 },
+
+   { year: 2016, country: "USA", energyType: "Bio", output: 16.8 },
+   { year: 2016, country: "USA", energyType: "Hydro", output: 80 },
+   { year: 2016, country: "USA", energyType: "Solar", output: 41 },
+   { year: 2016, country: "USA", energyType: "Wind", output: 82 },
+
+   { year: 2016, country: "Germany", energyType: "Bio", output: 7.6 },
+   { year: 2016, country: "Germany", energyType: "Hydro", output: 5.6 },
+   { year: 2016, country: "Germany", energyType: "Solar", output: 41 },
+   { year: 2016, country: "Germany", energyType: "Wind", output: 50 },
+
+   -- https://www.ren21.net/gsr-2018/pages/tables/tables/#Table_R2
+   { year: 2017, country: "China", energyType: "Bio", output: 14.9 },
+   { year: 2017, country: "China", energyType: "Hydro", output: 313 },
+   { year: 2017, country: "China", energyType: "Solar", output: 131 },
+   { year: 2017, country: "China", energyType: "Wind", output: 188},
+
+   { year: 2017, country: "USA", energyType: "Bio", output: 16.7 },
+   { year: 2017, country: "USA", energyType: "Hydro", output: 80 },
+   { year: 2017, country: "USA", energyType: "Solar", output: 51 },
+   { year: 2017, country: "USA", energyType: "Wind", output: 89 },
+
+   { year: 2017, country: "Germany", energyType: "Bio", output: 8 },
+   { year: 2017, country: "Germany", energyType: "Hydro", output: 5.6 },
+   { year: 2017, country: "Germany", energyType: "Solar", output: 42 },
+   { year: 2017, country: "Germany", energyType: "Wind", output: 56 },
+
+   -- https://www.ren21.net/gsr-2019/tables/table_02/table_02/
+   { year: 2018, country: "China", energyType: "Bio", output: 17.8 },
+   { year: 2018, country: "China", energyType: "Hydro", output: 322 },
+   { year: 2018, country: "China", energyType: "Solar", output: 176 },
+   { year: 2018, country: "China", energyType: "Wind", output: 210 },
+
+   { year: 2018, country: "USA", energyType: "Bio", output: 16.2 },
+   { year: 2018, country: "USA", energyType: "Hydro", output: 80 },
+   { year: 2018, country: "USA", energyType: "Solar", output: 62 },
+   { year: 2018, country: "USA", energyType: "Wind", output: 96 },
+
+   { year: 2018, country: "Germany", energyType: "Bio", output: 8.4 },
+   { year: 2018, country: "Germany", energyType: "Hydro", output: 5.6 },
+   { year: 2018, country: "Germany", energyType: "Solar", output: 45 },
+   { year: 2018, country: "Germany", energyType: "Wind", output: 59 }
+]

package/dist/fluid/fluid/example/arithmetic.fld

@@ -0,0 +1 @@
+(1 + 5) * ((let x = 2; y = 8 in x * y) - (let y = 3 in y * y))

package/dist/fluid/fluid/example/array.fld

@@ -0,0 +1,2 @@
+let xs = [| i * j | (i, j) in (3, 3) |]
+in (xs ! (1, 1), dims xs)

package/dist/fluid/fluid/example/compose.fld

@@ -0,0 +1,2 @@
+let incr = (+) 1 in
+(compose incr incr) 3

package/dist/fluid/fluid/example/desugar/list-comp-1.fld

@@ -0,0 +1 @@
+[ x + y | x <- [5, 4, 3], y <- [9, 7, 5] ]

package/dist/fluid/fluid/example/desugar/list-comp-10.fld

@@ -0,0 +1 @@
+[ x | [x] <- [[], [4, 6]] ]

package/dist/fluid/fluid/example/desugar/list-comp-2.fld

@@ -0,0 +1 @@
+[ z | x <- [5, 4, 3], y <- [9, 7, 5], let z = x + y, c <- [9, 7, 5] ]

package/dist/fluid/fluid/example/desugar/list-comp-3.fld

@@ -0,0 +1 @@
+[ z | x <- [5, 4, 3], y <- [9, 7, 5], let z = x + y, z < 10 ]

package/dist/fluid/fluid/example/desugar/list-comp-4.fld

@@ -0,0 +1 @@
+[ x | x : xs <- [[5], [4], [3], []] ]

package/dist/fluid/fluid/example/desugar/list-comp-5.fld

@@ -0,0 +1 @@
+[ z | x <- [5, 4, 3], let z = x ]

package/dist/fluid/fluid/example/desugar/list-comp-6.fld

@@ -0,0 +1 @@
+[ z | let z = 5 ]

package/dist/fluid/fluid/example/desugar/list-comp-7.fld

@@ -0,0 +1 @@
+[ [] | [] <- [[5], [4], [3], []] ]

package/dist/fluid/fluid/example/desugar/list-comp-8.fld

@@ -0,0 +1 @@
+[ x | [x] <- [[5], [4], [3], []] ]

package/dist/fluid/fluid/example/desugar/list-comp-9.fld

@@ -0,0 +1 @@
+[ x + y | [x, y] <- [[5], [4, 6], [3], [], [9, 10]] ]

package/dist/fluid/fluid/example/desugar/list-enum.fld

@@ -0,0 +1 @@
+[3..7]

package/dist/fluid/fluid/example/dict-list-comp.fld

@@ -0,0 +1 @@
+[ x | {fst: x, snd: []} <- [{fst: 5, third: "hello", snd: []}, {fst: 6, snd: [7, 8]}] ]

package/dist/fluid/fluid/example/dicts.fld

@@ -0,0 +1,10 @@
+let d = {};
+    e = { ["a"]: 5, ["a" ++ "b"] : 6 };
+    f = { ["ab"]: 12 }
+in {
+   d: d,
+   e: e,
+   e_ab: e.ab,
+   f: dict_map ((+) 1) e,
+   g: dict_difference e f
+}

package/dist/fluid/fluid/example/div-mod-quot-rem.fld

@@ -0,0 +1,4 @@
+[[5 `div` 3, 5 `div` -3, -5 `div` 3, -5 `div` -3],
+ [5 `mod` 3, 5 `mod` -3, -5 `mod` 3, -5 `mod` -3],
+ [5 `quot` 3, 5 `quot` -3, -5 `quot` 3, -5 `quot` -3],
+ [5 `rem` 3, 5 `rem` -3, -5 `rem` 3, -5 `rem` -3]]

package/dist/fluid/fluid/example/factorial.fld

@@ -0,0 +1,6 @@
+let fact x =
+   if x == 0
+   then 1
+   else x * fact (x - 1)
+in
+fact 8

package/dist/fluid/fluid/example/filter.fld

@@ -0,0 +1 @@
+filter ((<) 5) [8, 4, 7, 3]

package/dist/fluid/fluid/example/first-class-constr.fld

@@ -0,0 +1 @@
+zipWith (:) [10, 12, 20] [[], [], [], [], []]

package/dist/fluid/fluid/example/flatten.fld

@@ -0,0 +1,12 @@
+let
+   flatten Empty = [];
+   flatten (NonEmpty t1 (key, val) t2) =
+      concat2 (flatten t1) ((key, val) : flatten t2)
+in
+flatten
+   (NonEmpty
+      (NonEmpty Empty (3, "simon") Empty)
+      (4, "john")
+      (NonEmpty (NonEmpty Empty (6, "sarah") Empty) (7, "claire") Empty)
+   )
+

package/dist/fluid/fluid/example/foldr-sumSquares.fld

@@ -0,0 +1 @@
+foldr (fun x y -> x * x + y * y) 0 [6, 3, 2]

package/dist/fluid/fluid/example/graphics/background.fld

@@ -0,0 +1,7 @@
+let rect = Rect 0 0 1 3 "red";
+    g = Group [Viewport 0 0 1 3 "white" 0 (Scale 1 1) (Translate 0 0) rect];
+    w = 1.0;
+    m = 0.25;
+    x_scale = max (w - 2 * m) 0 / w;
+    translate = Translate (m / x_scale) 0
+in Viewport 0 0 w 3 "gray" 0 (Scale x_scale 1) translate g

package/dist/fluid/fluid/example/graphics/grouped-bar-chart.fld

@@ -0,0 +1,9 @@
+let year = 2015;
+-- List (Country, List (EnergyType, Output)) -> List (Country, List (EnergyType, Output))
+let exclude countries yearData =
+   flip map yearData (second (filter (fun (country, countryData) -> not (elem country countries))))
+in caption ("Renewables (GW) by country and energy type, " ++ numToStr year)
+   (groupedBarChart True colours1 0.2
+      (exclude
+         [] -- ["Geothermal", "Ocean", "CSP"]
+         (lookup year data)))

package/dist/fluid/fluid/example/graphics/line-chart.fld

@@ -0,0 +1,13 @@
+let year1 = head data;
+-- List (EnergyType, Output) -> List (EnergyType, Output)
+let addTotal kvs =
+   ("Total", sum (map snd kvs)) : kvs;
+-- Country -> List (Year, List (EnergyType, Output))
+let countryData country =
+   map (second (compose addTotal (lookup country))) data in
+-- List Country
+(fun country ->
+   caption country
+      (lineChart True ("black" : colours1) (fst year1)
+         (countryData country)))
+"China"

package/dist/fluid/fluid/example/graphics/stacked-bar-chart.fld

@@ -0,0 +1,3 @@
+let year = 2015 in
+caption ("Total renewables (GW) by country, " ++ numToStr year)
+   (stackedBarChart True colours1 0.2 (lookup year data))

package/dist/fluid/fluid/example/include-input-into-output.fld

@@ -0,0 +1 @@
+(x, x)

package/dist/fluid/fluid/example/length.fld

@@ -0,0 +1 @@
+length [2, 3]

package/dist/fluid/fluid/example/lexicalScoping.fld

@@ -0,0 +1,3 @@
+let decr = let x = 2 in flip (-) x;
+    x = 8 in
+numToStr (decr x)

package/dist/fluid/fluid/example/lib/some-constants.fld

@@ -0,0 +1 @@
+let x = 1;

package/dist/fluid/fluid/example/linked-inputs/energyscatter.fld

@@ -0,0 +1,24 @@
+let isCountry name x = name == x.country;
+    isYear year x = year == x.year;
+
+let plot year countries =
+  let rens = filter (isYear year) renewables;
+      nonRens = filter (isYear year) nonRenewables;
+  let plotCountry country =
+    let rens' = filter (isCountry country) rens;
+        rensOut = sum (map (fun x -> x.output) rens');
+        rensCap = sum (map (fun x -> x.capacity) rens');
+        x = head (filter (isCountry country) nonRens);
+        nonRensCap = x.nuclearCap + x.petrolCap + x.gasCap + x.coalCap
+    in {
+      x: rensCap / (rensCap + nonRensCap),
+      y: (rensOut + x.nuclearOut) / (rensCap + x.nuclearCap)
+    }
+  in map plotCountry countries
+
+in ScatterPlot {
+  caption: "Clean energy efficiency vs. proportion of renewable energy capacity",
+  points: plot 2018 [ "BRA", "CHN", "DEU", "FRA", "EGY", "IND", "JPN", "MEX", "NGA", "USA" ],
+  xlabel: "Renewables/TotalEnergyCap",
+  ylabel: "Clean Capacity Factor"
+}

package/dist/fluid/fluid/example/linked-inputs/mini-energyscatter.fld

@@ -0,0 +1,30 @@
+let sumNonRenewables x = x.nuclearCap + x.petrolCap + x.gasCap + x.coalCap;
+let country_check name x = name == x.country;
+let year_check year x = year == x.year;
+
+let energy year c_names =
+  let rens2018 = filter (year_check year) renewables;
+  let nonrens2018 = filter (year_check year) nonRenewables;
+  let energy_per_country c_name =
+    let filteredRen = filter (country_check c_name) rens2018;
+    let non_ren_x = head (filter (country_check c_name) nonrens2018);
+    let rensOut = sum (map (fun x = x.output) filteredRen);
+    let rensCap = sum (map (fun x = x.capacity) filteredRen);
+    let nonRensCap = sumNonRenewables non_ren_x
+    in {
+            name: c_name,
+            totalCap: rensCap + nonRensCap,
+            nonRenewables: nonRensCap,
+            renCapFactor: (rensOut + non_ren_x.nuclearOut) / (rensCap + non_ren_x.nuclearCap)
+        }
+  in
+    map energy_per_country c_names
+in ScatterPlot {
+    caption: "Clean energy efficiency against proportion of renewable energy cap",
+    points: [{
+                x: country.nonRenewables / country.totalCap,
+                y: country.renCapFactor
+            }| country <- energy 2018 ["USA"]],
+    xlabel: "Renewables/TotalEnergyCap",
+    ylabel: "Clean Capacity Factor"
+}

package/dist/fluid/fluid/example/linked-outputs/convolution-data.fld

@@ -0,0 +1,5 @@
+[[15, 13, 6 , 9, 16],
+ [12, 5 , 15, 4, 13],
+ [14, 9 , 20, 8, 1 ],
+ [4 , 10, 3 , 7, 19],
+ [3 , 11, 15, 2, 9 ]]

package/dist/fluid/fluid/example/linked-outputs/convolution.fld

@@ -0,0 +1,12 @@
+(let filter' = [[0, 0, 0],
+               [3, 7, 1],
+               [0, 0, 0]];
+    filter  = [| nth2 i j filter' | (i, j) in (3, 3) |];
+    image  = [| nth2 i j data | (i, j) in (5, 5) |]
+in convolve image filter wrap,
+let filter' = [[0, 2, 0],
+               [0, 7, 0],
+               [0, 5, 0]];
+    filter  = [| nth2 i j filter' | (i, j) in (3, 3) |];
+    image  = [| nth2 i j data | (i, j) in (5, 5) |]
+in convolve image filter zero)

package/dist/fluid/fluid/example/linked-outputs/line-chart.fld

@@ -0,0 +1,15 @@
+let series type country = [
+   { x: row.year, y: row.output }
+   | year <- [2013..2018], row <- renewables,
+   row.year == year, row.energyType == type, row.country == country
+] in LineChart {
+   tickLabels: { x: Default, y: Default },
+   caption: "Change in renewable energy output of USA relative to China",
+   size: { width: 330, height: 285 },
+   plots: [
+      LinePlot { name: type, points: plot }
+      | type <- ["Bio", "Hydro", "Solar", "Wind"],
+      let plot = zipWith (fun p1 p2 -> { x: p1.x, y: p1.y / p2.y })
+                         (series type "USA") (series type "China")
+   ]
+}

package/dist/fluid/fluid/example/linked-outputs/moving-average.fld

@@ -0,0 +1,19 @@
+let nthPad n xs =
+      nth (min (max n 0) (length xs - 1)) xs;
+    movingAvg ys window =
+      [ sum [ nthPad n ys | n <- [ i - window .. i + window ] ] / (1 + 2 * window)
+      | i <- [ 0 .. length ys - 1 ] ];
+    movingAvg' rs window =
+      zipWith
+         (fun x y -> {x: x, y: y})
+         (map (fun r -> r.x) rs)
+         (movingAvg (map (fun r -> r.y) rs) window);
+let points =
+      [ { x: r.year, y: r.emissions } | r <- methane, r.type == "Agriculture" ]
+in LineChart {
+   tickLabels: { x: Rotated, y: Default },
+   size: { width: 330, height: 285 },
+   caption: "SSP5-8.5 projected methane emissions (Agriculture)",
+   plots: [ LinePlot { name: "Moving average", points: movingAvg' points 1 },
+            LinePlot { name: "Original curve", points: points } ]
+}

package/dist/fluid/fluid/example/linked-outputs/pairs-data.fld

@@ -0,0 +1 @@
+(3, 7)

package/dist/fluid/fluid/example/linked-outputs/pairs.fld

@@ -0,0 +1,2 @@
+let q = 1 in
+((fun (w, x) -> (w, (w, x))) data)

package/dist/fluid/fluid/example/lookup.fld

@@ -0,0 +1,15 @@
+let lookup k Empty = None;
+    lookup k (NonEmpty t1 (key, val) t2) =
+       match compare k key as {
+          LT -> lookup k t1;
+          EQ -> Some val;
+          GT -> lookup k t2
+       }
+in
+lookup
+   6
+   (NonEmpty
+      (NonEmpty Empty (3, "simon") Empty)
+      (4, "john")
+      (NonEmpty (NonEmpty Empty (6, "sarah") Empty) (7, "claire") Empty)
+   )                                                                    

package/dist/fluid/fluid/example/map.fld

@@ -0,0 +1 @@
+map ((+) 1) [4, 6, 12, 14, 3, 2, -4]

package/dist/fluid/fluid/example/mergeSort.fld

@@ -0,0 +1,22 @@
+let split [] = ([], []);
+    split (x : xs) =
+      let (ys, zs) = split xs in (x : zs, ys);
+
+    merge xs ys =
+       match (xs, ys) as {
+          ([], _) -> ys;
+          (x : xs', []) -> xs;
+          (x : xs', y : ys') ->
+             if x < y
+             then x : merge xs' ys
+             else y : merge xs ys'
+       };
+
+    mergesort xs =
+       if length xs < 2
+       then xs
+       else
+          let (ys, zs) = split xs in
+          merge (mergesort ys) (mergesort zs)
+in
+mergesort [3, 1, 2]

package/dist/fluid/fluid/example/normalise.fld

@@ -0,0 +1,3 @@
+let (x, y) = (6.0, 12.0);
+    sum = x + y in
+(floor (x * 100.0 / sum), floor (y * 100 / sum))

package/dist/fluid/fluid/example/nub.fld

@@ -0,0 +1 @@
+nub [1, 2, 3, 3, 4]

package/dist/fluid/fluid/example/pattern-match.fld

@@ -0,0 +1,12 @@
+-- Silly test of pattern-matching for list notation
+let
+   zip3 [] [] = [];
+   zip3 [x1] [y1] = (x1, y1) : zip3 [] [];
+   zip3 [x1, x2] [y1, y2] =
+      (x1, y1) : zip3 [x2] [y2];
+   zip3 [x1, x2, x3] [y1, y2, y3] =
+      (x1 , y1) : zip3 [x2, x3] [y2, y3];
+   zip3 (x1 : x2 : x3 : x4 : xs) (y1 : y2 : y3 : y4 : ys) =
+      (x1, y1) : (x2, y2) : (x3, y3) : (x4, y4) : zip3 xs ys
+in
+length (zip3 [3, 4, 5, 6] [5, 6, 7, 8])

package/dist/fluid/fluid/example/percent.fld

@@ -0,0 +1 @@
+mkPercent 0.25

package/dist/fluid/fluid/example/plot/methane.fld

@@ -0,0 +1,14 @@
+let series type = [
+   { x: row.year, y: row.emissions }
+   | row <- methane, row.type == type
+] in LineChart {
+   size: { width: 450, height: 285 },
+   tickLabels: { x: Rotated, y: Default },
+   caption: "Sources of methane emissions for Africa and the Middle East (IPCC AR6)",
+   plots: [
+      LinePlot { name: type, points: series type }
+      | type <- ["Agricultural Waste Burning", "Agriculture", "Energy Sector",
+                 "Forest Burning", "Grassland Burning", "Industrial Sector",
+                 "Residential Commercial Other", "Transportation Sector", "Waste"]
+   ]
+}

package/dist/fluid/fluid/example/plot/non-renewables.fld

@@ -0,0 +1,22 @@
+let countries = ["BRA", "EGY", "IND", "JPN"];
+let totalFor year country =
+   let [ row ] = [ row | row <- nonRenewables, row.year == year, row.country == country ]
+   in row.nuclearOut + row.gasOut + row.coalOut + row.petrolOut;
+    stack year = [ { y: country, z: totalFor year country } | country <- countries ];
+    yearData year = [ row | row <- nonRenewables, row.year == year, row.country `elem` countries ]
+in MultiView {
+   barChart: BarChart {
+      caption: "Non-renewables output",
+      size: { width: 275, height: 185 },
+      stackedBars: [ { x: numToStr year, bars: stack year } | year <- [2014..2018] ]
+   },
+   scatterPlot: ScatterPlot {
+      caption: "",
+      points: [ {
+         x: sum [ row.nuclearOut | row <- yearData year ],
+         y: sum [ row.nuclearCap | row <- yearData year ]
+      } | year <- [2014..2018] ],
+      xlabel: "Nuclear capacity",
+      ylabel: "Nuclear output"
+   }
+}

package/dist/fluid/fluid/example/range.fld

@@ -0,0 +1,4 @@
+let range1 (m, n) = [m..n];
+    range2 ((m1, n1), (m2, n2)) =
+      [ (i1, i2) | i1 <- range1 (m1, m2), i2 <- range1 (n1, n2)]
+in range2 ((0, 0), (1, 1))

package/dist/fluid/fluid/example/record-lookup.fld

@@ -0,0 +1,3 @@
+let city = { name: "Germany" };
+    country = { cities: [ "Germany" ] }
+in city.name `elem` country.cities