From bc9e5b0ea863a17537987faa5a72b00efc7767d1 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Mon, 18 Jul 2022 22:09:58 -0400
Subject: Upgrade nixpkgs, ghc923

I ended up deleting miso, and consequently all files under Hero/ and Miso/,
because I couldn't get miso to build with GHC 9.2.

Other things:

- Niv has been wrapped by Biz/Bild/Deps.hs, so I can extend it to my liking.
- Apply-refact is gone because I couldn't get it to build.
- Disabled python stuff.
---
 Miso/FFI/Audio.hs      | 21 ---------------------
 Miso/FFI/Document.hs   | 12 ------------
 Miso/FFI/Fullscreen.hs | 29 -----------------------------
 3 files changed, 62 deletions(-)
 delete mode 100644 Miso/FFI/Audio.hs
 delete mode 100644 Miso/FFI/Document.hs
 delete mode 100644 Miso/FFI/Fullscreen.hs

(limited to 'Miso/FFI')

diff --git a/Miso/FFI/Audio.hs b/Miso/FFI/Audio.hs
deleted file mode 100644
index b34960b..0000000
--- a/Miso/FFI/Audio.hs
+++ /dev/null
@@ -1,21 +0,0 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-
-module Miso.FFI.Audio where
-
-import GHCJS.Types
-import Protolude
-
-{-
-Usage:
-
-obj <- Miso.FFI.Document.getElementById "myAudioPlayer"
-play obj
-pause obj
-
--}
-
-foreign import javascript unsafe "$1.play();"
-  play :: JSVal -> IO ()
-
-foreign import javascript unsafe "$1.pause();"
-  pause :: JSVal -> IO ()
diff --git a/Miso/FFI/Document.hs b/Miso/FFI/Document.hs
deleted file mode 100644
index b4fe44f..0000000
--- a/Miso/FFI/Document.hs
+++ /dev/null
@@ -1,12 +0,0 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-
-module Miso.FFI.Document where
-
-import GHCJS.Types
-import Protolude
-
-foreign import javascript unsafe "$r = document.getElementById($1);"
-  getElementById :: JSString -> IO JSVal
-
-foreign import javascript unsafe "$r = document.querySelector($1);"
-  querySelector :: JSString -> IO JSVal
diff --git a/Miso/FFI/Fullscreen.hs b/Miso/FFI/Fullscreen.hs
deleted file mode 100644
index 4e70da6..0000000
--- a/Miso/FFI/Fullscreen.hs
+++ /dev/null
@@ -1,29 +0,0 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-
-module Miso.FFI.Fullscreen where
-
-import GHCJS.Types
-import Protolude
-
--- | Requests that the user agent switch from full-screen mode back to windowed
--- mode. Returns a Promise which is resolved once full-screen mode has been
--- completely shut off.
---
--- https://developer.mozilla.org/en-US/docs/Web/API/Document/exitFullscreen
-foreign import javascript unsafe "$r = document.exitFullscreen();"
-  exitFullscreen :: IO JSVal
-
-exit :: IO JSVal
-exit = exitFullscreen
-
--- | Asks the user agent to place the specified element (and, by extension, its
--- descendants) into full-screen mode, removing all of the browser's UI elements
--- as well as all other applications from the screen. Returns a Promise which is
--- resolved once full-screen mode has been activated.
---
--- https://developer.mozilla.org/en-US/docs/Web/API/Element/requestFullscreen
-foreign import javascript unsafe "$r = $1.requestFullscreen();"
-  requestFullscreen :: JSVal -> IO JSVal
-
-request :: JSVal -> IO JSVal
-request = requestFullscreen
-- 
cgit v1.2.3