From 002ade6e2dc65a3568e3f8200671bfd5490f43a4 Mon Sep 17 00:00:00 2001
From: ners <ners@gmx.ch>
Date: Sat, 9 Mar 2024 20:41:12 +0100
Subject: [PATCH] Add Never clock

---
 rhine/ChangeLog.md                          |  4 +++
 rhine/rhine.cabal                           |  1 +
 rhine/src/FRP/Rhine.hs                      |  1 +
 rhine/src/FRP/Rhine/Clock/Realtime/Never.hs | 36 +++++++++++++++++++++
 4 files changed, 42 insertions(+)
 create mode 100644 rhine/src/FRP/Rhine/Clock/Realtime/Never.hs

diff --git a/rhine/ChangeLog.md b/rhine/ChangeLog.md
index 0c95b05d..41dbbce2 100644
--- a/rhine/ChangeLog.md
+++ b/rhine/ChangeLog.md
@@ -1,5 +1,9 @@
 # Revision history for rhine
 
+## 1.2.1
+
+* Added `FRP.Rhine.Clock.Realtime.Never` (clock that never ticks)
+
 ## 1.2
 
 * Changed Stdin clock Tag type to Text
diff --git a/rhine/rhine.cabal b/rhine/rhine.cabal
index 438b609a..1e8df810 100644
--- a/rhine/rhine.cabal
+++ b/rhine/rhine.cabal
@@ -86,6 +86,7 @@ library
     FRP.Rhine.Clock.Realtime.Busy
     FRP.Rhine.Clock.Realtime.Event
     FRP.Rhine.Clock.Realtime.Millisecond
+    FRP.Rhine.Clock.Realtime.Never
     FRP.Rhine.Clock.Realtime.Stdin
     FRP.Rhine.Clock.Select
     FRP.Rhine.Clock.Unschedule
diff --git a/rhine/src/FRP/Rhine.hs b/rhine/src/FRP/Rhine.hs
index c9947894..e85a516d 100644
--- a/rhine/src/FRP/Rhine.hs
+++ b/rhine/src/FRP/Rhine.hs
@@ -38,6 +38,7 @@ import FRP.Rhine.Clock.Realtime.Audio as X
 import FRP.Rhine.Clock.Realtime.Busy as X
 import FRP.Rhine.Clock.Realtime.Event as X
 import FRP.Rhine.Clock.Realtime.Millisecond as X
+import FRP.Rhine.Clock.Realtime.Never as X
 import FRP.Rhine.Clock.Realtime.Stdin as X
 import FRP.Rhine.Clock.Select as X
 import FRP.Rhine.Clock.Unschedule as X
diff --git a/rhine/src/FRP/Rhine/Clock/Realtime/Never.hs b/rhine/src/FRP/Rhine/Clock/Realtime/Never.hs
new file mode 100644
index 00000000..3da4e071
--- /dev/null
+++ b/rhine/src/FRP/Rhine/Clock/Realtime/Never.hs
@@ -0,0 +1,36 @@
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE TypeFamilies #-}
+
+-- | A clock that never ticks.
+module FRP.Rhine.Clock.Realtime.Never where
+
+-- base
+import Control.Concurrent (threadDelay)
+import Control.Monad (forever)
+import Data.Void (Void)
+
+-- time
+import Data.Time.Clock
+
+-- rhine
+import FRP.Rhine.Clock
+import FRP.Rhine.Clock.Proxy
+
+-- transformers
+import Control.Monad.IO.Class
+
+-- | A clock that never ticks.
+data Never = Never
+
+instance (MonadIO m) => Clock m Never where
+  type Time Never = UTCTime
+  type Tag Never = Void
+
+  initClock _ = do
+    initialTime <- liftIO getCurrentTime
+    return
+      ( constM (liftIO . forever . threadDelay $ 10 ^ 9)
+      , initialTime
+      )
+
+instance GetClockProxy Never