@explorable-viz/fluid 0.0.23

package/dist/article/css/styles.css

@@ -0,0 +1,191 @@
+@charset "UTF-8";
+@font-face {
+   font-family: "Fira Code";
+   src: url("https://fonts.googleapis.com/css2?family=Fira+Code&display=swap");
+ }
+
+.glowing, a {
+   transition: all .25s;
+}
+
+a:hover {
+   text-shadow: 0 0 2px #FFF, 0 0 5px #A0A0FF, 0 0 7px #8080A0;
+}
+
+.nowrap {
+   white-space: nowrap;
+}
+
+code {
+   font-size: 11pt;
+}
+
+body {
+   font-size: 11pt;
+   font-family: "Roboto", sans-serif;
+   font-weight: 300;
+   line-height: 1.25;
+   padding: 0;
+   margin: 0;
+   background-color: #FFFFFF; /* #181818; */
+   color: #404040;
+   margin-bottom: 10em;
+}
+
+.center {
+   height: 100%;
+}
+
+.align-right {
+   text-align: right;
+}
+
+.title {
+   color: darkblue;
+}
+
+h3 {
+   font-family: "Roboto", sans-serif;
+   font-weight: 600;
+   margin-top: 10pt;
+   margin-bottom: 0;
+   font-size: '24px'
+}
+
+h4 {
+   margin-top: 10pt;
+   margin-block-start: 1em;
+   margin-bottom: 0;
+}
+
+.glowing {
+   transition-timing-function: ease-out
+}
+
+a {
+   text-decoration: none;
+   color: inherit;
+   transition-timing-function: ease-out
+}
+
+a.not_decorated,
+a:hover {
+   text-decoration: none;
+}
+
+ul {
+   padding-left: 0
+}
+
+li {
+   margin-bottom: 1ex
+}
+
+li:last-child {
+   margin-bottom: 0
+}
+
+table {
+   margin: 4mm;
+}
+
+.table-caption {
+   text-align: left;
+}
+
+th {
+   font-size: 11px;
+   text-align: left;
+   border-bottom: 'thin solid';
+}
+
+td {
+   font-size: 11px;
+}
+
+td:nth-child(1) {
+   color: lightgray;
+}
+
+nav ul {
+   list-style: none;
+}
+
+nav ul li {
+   float: left;
+   overflow: hidden;
+}
+
+nav ul li a {
+   display: block;
+   width: 100%;
+   text-align: left;
+   padding-right: 8px;
+   text-decoration: none;
+}
+
+nav ul li a.active-page {
+   text-shadow: 0 0 2px #FFF, 0 0 5px #A0A0FF, 0 0 7px #8080A0;
+}
+
+.cm-line {
+   font-family: 'Fira Code';
+   font-size: 8pt;
+}
+
+.grid-container {
+   display: grid;
+   width: 100%;
+   grid-template-columns: 10px 47.5% fit-content(10px) 47.5%;
+}
+
+.flex-left-align {
+   display: flex;
+   flex-direction: column;
+   align-items: start;
+}
+
+.flex-right-align {
+   display: flex;
+   flex-direction: column;
+   align-items: flex-end;
+}
+
+.flex-bottom-align {
+   display: flex;
+   flex-direction: row;
+   align-items: flex-end;
+}
+
+.data-pane-button {
+   font-size: 9pt;
+}
+
+.toggle-button {
+   color: #CCCCCC;
+   user-select: none;
+}
+
+.toggle-button:hover {
+   color: #999999;
+}
+
+.data-pane {
+   background-color: #F5F5F5;
+}
+
+/* Standalone figures have hardcoded zoom for presentation purposes. */
+.double-size {
+   zoom: 1.8;
+}
+
+body.standalone {
+   height: 100%;
+   display: grid; /* outer grid for vertical centering of inner */
+   place-items: center;
+}
+
+/* Needed for contained height specifications to work */
+html {
+   height: 100%;
+}

package/dist/article/css/view-styles.css

@@ -0,0 +1,141 @@
+table {
+   border-collapse: collapse;
+   border-spacing: 0px;
+}
+
+thead {
+   border-top: 0.5px solid lightgray;
+}
+
+.legend-box {
+   stroke: lightgray;
+   stroke-width: 0.5px;
+   fill: none;
+}
+
+.title-text {
+   fill: Black;
+   font-size: 9pt;
+   font-family: "Roboto", sans-serif;
+}
+
+.table-row {
+   display: table-row;
+}
+
+.table-cell {
+   border-radius: 2px;
+   background-color: White;
+   border-left: 2px solid white;
+}
+
+.table-cell.selected-primary-persistent {
+   background-color: #93E9BE;
+}
+
+.table-cell.selected-primary-transient {
+   border-left: 2px solid blue;
+}
+
+.table-cell.selected-secondary-persistent {
+   background-color: rgb(226, 226, 226);
+}
+
+.table-cell.selected-secondary-transient {
+   border-left: 2px solid lightblue;
+}
+
+.linked-text {
+   border-radius: 0px;
+   background-color: White;
+   border-bottom-style: solid;
+   border-bottom-color: white;
+   border-bottom-width: 1px;
+   display: inline;
+}
+
+.linked-text.selected-primary-persistent {
+   background-color: #93E9BE;
+}
+
+.linked-text.selected-primary-transient {
+   border-bottom-color: blue;
+}
+
+.linked-text.selected-secondary-persistent {
+   background-color: rgb(226, 226, 226);
+}
+
+.linked-text.selected-secondary-transient {
+   border-bottom-color: lightblue;
+}
+
+.table-row.hidden {
+   visibility: collapse;
+}
+
+.matrix-cell {
+   stroke: DarkGray;
+   fill: White;
+}
+
+.matrix-cell.selected-primary-persistent {
+   fill: LightGreen;
+}
+
+.matrix-cell.selected-secondary-persistent {
+   fill: rgb(214, 240, 214)
+}
+
+.matrix-cell.selected-primary-transient {
+}
+
+.matrix-cell.selected-secondary-transient {
+}
+
+.matrix-cell-text {
+   font-size: 10pt;
+   font-family: "Roboto", sans-serif;
+   color: rgb(205, 205, 205)
+}
+
+.matrix-cell-text.selected-primary-persistent {
+   font-weight: 400;
+   color: darkgreen
+}
+
+.matrix-cell-text.selected-secondary-persistent {
+   color: green
+}
+
+.matrix-cell-text.selected-primary-transient {
+   font-weight: 400;
+   color: blue
+}
+
+.matrix-cell-text.selected-secondary-transient {
+   color: royalblue
+}
+
+.scatterplot-point {
+   fill: white;
+   stroke: black;
+}
+
+.scatterplot-point.selected-primary-persistent {
+   fill: LightGreen;
+   stroke: teal;
+}
+
+.scatterplot-point.selected-primary-transient {
+   stroke: blue;
+   stroke-width: 1;
+}
+
+.scatterplot-point.selected-secondary-persistent {
+   fill: rgb(226, 226, 226);
+}
+
+.scatterplot-point.selected-secondary-transient {
+   stroke-width: 1;
+}

package/dist/article/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/article/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/article/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/article/fluid/example/compose.fld

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

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

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

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

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

package/dist/article/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/article/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/article/fluid/example/desugar/list-comp-4.fld

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,11 @@
+let d = {||};
+    e = {| "a" := 5, "a" ++ "b" := 6 |};
+    f = {| "ab" := 12 |}
+in {
+   d: d,
+   e: e,
+   e_ab: dict_get "ab" e,
+   f: dict_map ((+) 1) e,
+   g: dict_difference e f,
+   h: dict_fromRecord {fst: 4, snd: [6, 7]}
+}

package/dist/article/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/article/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/article/fluid/example/filter.fld

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

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

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

package/dist/article/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/article/fluid/example/foldr-sumSquares.fld

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

package/dist/article/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/article/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/article/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/article/fluid/example/graphics/small-barchart.fld

@@ -0,0 +1,5 @@
+let countryData = [ { x: "USA", bars: [ { y: "output", z: 196.7 } ] } ]
+in BarChart {
+    caption: "Total output by country",
+    data: countryData
+}

package/dist/article/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/article/fluid/example/include-input-into-output.fld

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

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

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

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

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

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

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

package/dist/article/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",
+  data: plot 2018 [ "BRA", "CHN", "DEU", "FRA", "EGY", "IND", "JPN", "MEX", "NGA", "USA" ],
+  xlabel: "Renewables/TotalEnergyCap",
+  ylabel: "Clean Capacity Factor"
+}

package/dist/article/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",
+    data: [{
+                x: country.nonRenewables / country.totalCap,
+                y: country.renCapFactor
+            }| country <- energy 2018 ["USA"]],
+    xlabel: "Renewables/TotalEnergyCap",
+    ylabel: "Clean Capacity Factor"
+}

package/dist/article/fluid/example/linked-inputs/mini-non-renewables.fld

@@ -0,0 +1,3 @@
+[
+   { country: "USA", year: 2018, nuclearOut: 807.08, nuclearCap: 871.01, gasOut: 1469.13, gasCap: 4431.51, coalOut: 1149.49, coalCap: 2293.89, petrolOut: 42.68, petrolCap: 304.67}
+]