Upgrade ihaskell-notebook to v003

ihaskell-widgets API change
IHaskell/IHaskell#1525

Author: jamesdbrock

Dockerfile

@@ -6,7 +6,7 @@
 #     docker run --rm -p 8888:8888 --name learn-you-a-haskell learn-you-a-haskell:latest jupyter lab --ServerApp.token=''
 #
 
-FROM ghcr.io/ihaskell/ihaskell-notebook:master@sha256:d6d694711a3930be5439bfff3d82c3ff214ae0d13a1a8c9af104084d5ac3b89b
+FROM ghcr.io/ihaskell/ihaskell-notebook:master@sha256:3619fe7a14c8c17e196760377ef3500a1f8db32c9c51ce83c41b4e213a97f1bf
 
 USER root
 

notebook_extra/WidgetRevival.ipynb

@@ -42,32 +42,9 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 1,
+   "execution_count": null,
    "metadata": {},
-   "outputs": [
-    {
-     "data": {
-      "application/vnd.jupyter.widget-view+json": {
-       "model_id": "be93de90-c346-4955-9e83-ce5cb7b4e746",
-       "version_major": 2,
-       "version_minor": 0
-      }
-     },
-     "metadata": {},
-     "output_type": "display_data"
-    },
-    {
-     "data": {
-      "application/vnd.jupyter.widget-view+json": {
-       "model_id": "82697020-e4c2-4a71-b28e-96ec8515dd23",
-       "version_major": 2,
-       "version_minor": 0
-      }
-     },
-     "metadata": {},
-     "output_type": "display_data"
-    }
-   ],
+   "outputs": [],
    "source": [
     "import Graphics.Rendering.Chart\n",
     "import IHaskell.Display.Widgets\n",
@@ -85,15 +62,15 @@
     "integralTrapezoid _ = 0\n",
     "\n",
     "sliderRange <- mkFloatRangeSlider\n",
-    "setField sliderRange MinFloat (fst domain)\n",
-    "setField sliderRange MaxFloat (snd domain)\n",
-    "setField sliderRange StepFloat (Just grain)\n",
-    "setField sliderRange FloatPairValue (fst domain, snd domain)\n",
+    "setField @MinFloat sliderRange (fst domain)\n",
+    "setField @MaxFloat sliderRange (snd domain)\n",
+    "setField @StepFloat sliderRange (Just grain)\n",
+    "setField @FloatPairValue sliderRange (fst domain, snd domain)\n",
     "\n",
     "outChart <- mkOutput\n",
     "\n",
     "drawChart = do \n",
-    "  (rangeMin, rangeMax) <- getField sliderRange FloatPairValue\n",
+    "  (rangeMin, rangeMax) <- getField @FloatPairValue sliderRange\n",
     "  let \n",
     "      pts = [(x, f x) | x <- [fst domain, fst domain + grain .. snd domain]]    \n",
     "      ptsRange = [(x,y) | (x,y) <- pts, x >= rangeMin, x <= rangeMax]\n",
@@ -103,9 +80,9 @@
     "      [ toPlot $ def & plot_lines_values .~ [pts]\n",
     "      , toPlot $ def & plot_fillbetween_values .~ [(x,(0.0,y)) | (x,y) <- ptsRange]\n",
     "      ]\n",
-    "  setField outChart Outputs [OutputData displayCaption, OutputData displayChart]\n",
+    "  setField @Outputs outChart [OutputData displayCaption, OutputData displayChart]\n",
     "      \n",
-    "setField sliderRange ChangeHandler drawChart\n",
+    "setField @ChangeHandler sliderRange drawChart\n",
     "\n",
     "sliderRange\n",
     "outChart\n",
@@ -127,55 +104,39 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 2,
+   "execution_count": null,
    "metadata": {},
-   "outputs": [
-    {
-     "data": {
-      "application/vnd.jupyter.widget-view+json": {
-       "model_id": "42d8c25d-9542-490c-a843-b284e2482e2d",
-       "version_major": 2,
-       "version_minor": 0
-      }
-     },
-     "metadata": {},
-     "output_type": "display_data"
-    },
-    {
-     "data": {
-      "application/vnd.jupyter.widget-view+json": {
-       "model_id": "6fd1b872-30e4-4c07-b864-2f293d13dca8",
-       "version_major": 2,
-       "version_minor": 0
-      }
-     },
-     "metadata": {},
-     "output_type": "display_data"
-    }
-   ],
+   "outputs": [],
    "source": [
     "import Diagrams.Prelude\n",
     "import Diagrams.TwoD.Apollonian\n",
     "import IHaskell.Display.Widgets\n",
     "\n",
     "sliderApollo <- mkFloatSlider\n",
-    "setField sliderApollo MinFloat 3.0\n",
-    "setField sliderApollo MaxFloat 9.0\n",
-    "setField sliderApollo StepFloat (Just 0.1)\n",
-    "setField sliderApollo FloatValue 6.0\n",
+    "setField @MinFloat sliderApollo 3.0\n",
+    "setField @MaxFloat sliderApollo 9.0\n",
+    "setField @StepFloat sliderApollo (Just 0.1)\n",
+    "setField @FloatValue sliderApollo 6.0\n",
     "\n",
     "outApollo <- mkOutput\n",
     "\n",
     "drawApollo = do\n",
-    "  val <- getField sliderApollo FloatValue\n",
+    "  val <- getField @FloatValue sliderApollo\n",
     "  replaceOutput outApollo $ diagram $ apollonianGasket 0.01 2 4 val\n",
     "\n",
-    "setField sliderApollo ChangeHandler drawApollo\n",
+    "setField @ChangeHandler sliderApollo drawApollo\n",
     "\n",
     "sliderApollo\n",
     "outApollo\n",
     "drawApollo"
    ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "metadata": {},
+   "outputs": [],
+   "source": []
   }
  ],
  "metadata": {
@@ -190,7 +151,7 @@
    "mimetype": "text/x-haskell",
    "name": "haskell",
    "pygments_lexer": "Haskell",
-   "version": "8.10.4"
+   "version": "9.8.4"
   }
  },
  "nbformat": 4,