Change Stdin clock to text

turion · Dec 31, 2023 · fd45f32 · fd45f32
1 parent 1193573
commit fd45f32
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 2 deletions.
diff --git a/rhine/rhine.cabal b/rhine/rhine.cabal
@@ -134,6 +134,7 @@ library
                      , time         >= 1.8
                      , free         >= 5.1
                      , containers   >= 0.5
+                     , text        ^>= 2.0
                      , deepseq      >= 1.4
                      , random       >= 1.1
                      , MonadRandom  >= 0.5

diff --git a/rhine/src/FRP/Rhine/Clock/Realtime/Stdin.hs b/rhine/src/FRP/Rhine/Clock/Realtime/Stdin.hs
@@ -15,6 +15,10 @@ import Data.Time.Clock
 -- transformers
 import Control.Monad.IO.Class
 
+-- text
+import qualified Data.Text as Text
+import qualified Data.Text.IO as Text
+
 -- rhine
 import FRP.Rhine.Clock
 import FRP.Rhine.Clock.Proxy
@@ -27,13 +31,13 @@ data StdinClock = StdinClock
 
 instance (MonadIO m) => Clock m StdinClock where
   type Time StdinClock = UTCTime
-  type Tag StdinClock = String
+  type Tag StdinClock = Text.Text
 
   initClock _ = do
     initialTime <- liftIO getCurrentTime
     return
       ( constM $ liftIO $ do
-          line <- getLine
+          line <- Text.getLine
           time <- getCurrentTime
           return (time, line)
       , initialTime

diff --git a/stack.8.10.7.yaml b/stack.8.10.7.yaml
@@ -24,6 +24,7 @@ extra-deps:
 - linear-1.22
 - monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
 - time-domain-0.1.0.2@sha256:33f0a6efe6eb03e729f3dc828cd673b0bb511a0e50ac0b621c5acebd82f6d329,1007
+- text-2.0.2@sha256:71b5fa8c64d3c1fd0a08f993463220867b08290a2256e94b0952bf0e8f5a45cc,9905
 
 nix:
   packages:

diff --git a/stack.9.0.2.yaml b/stack.9.0.2.yaml
@@ -18,6 +18,7 @@ extra-deps:
 - simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
 - monad-schedule-0.1.2.1@sha256:95d6b9c6fd36f585e4a52938ebd1762c2e2caa8bb3c11ce86985dd11a2caae1a,1776
 - time-domain-0.1.0.2@sha256:33f0a6efe6eb03e729f3dc828cd673b0bb511a0e50ac0b621c5acebd82f6d329,1007
+- text-2.0.2@sha256:71b5fa8c64d3c1fd0a08f993463220867b08290a2256e94b0952bf0e8f5a45cc,9905
 
 nix:
   packages:

diff --git a/stack.9.2.5.yaml b/stack.9.2.5.yaml
@@ -14,6 +14,7 @@ extra-deps:
 - dunai-0.11.0@sha256:fc82a2ac6e2f7efcc2cd7f01412544ebe10d25143febdb0c3ebfb090220f4660,6372
 - simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
 - time-domain-0.1.0.2@sha256:33f0a6efe6eb03e729f3dc828cd673b0bb511a0e50ac0b621c5acebd82f6d329,1007
+- text-2.0.2@sha256:71b5fa8c64d3c1fd0a08f993463220867b08290a2256e94b0952bf0e8f5a45cc,9905
 
 nix:
   packages: