Bump dunai to 0.11

turion · Jun 21, 2023 · e822205 · e822205
1 parent e926a25
commit e822205
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 3 deletions.
diff --git a/rhine/rhine.cabal b/rhine/rhine.cabal
@@ -105,7 +105,7 @@ library
 
   -- Other library packages from which modules are imported.
   build-depends:       base         >= 4.14 && < 4.18
-                     , dunai        >= 0.8
+                     , dunai        >= 0.11
                      , transformers >= 0.5
                      , time         >= 1.8
                      , free         >= 5.1
@@ -114,8 +114,7 @@ library
                      , deepseq      >= 1.4
                      , random       >= 1.1
                      , MonadRandom  >= 0.5
-                     -- Remove version pin when https://github.com/ivanperez-keera/dunai/issues/298 is resolved:
-                     , simple-affine-space == 0.1.1
+                     , simple-affine-space >= 0.2
                      , time-domain
 
   -- Directories containing source files.

diff --git a/rhine/src/FRP/Rhine/ClSF/Util.hs b/rhine/src/FRP/Rhine/ClSF/Util.hs
@@ -27,6 +27,7 @@ import Control.Monad.Trans.Reader (ask, asks)
 
 -- dunai
 import Control.Monad.Trans.MSF.Reader (readerS)
+import Data.MonadicStreamFunction.Instances.Num ()
 import Data.MonadicStreamFunction.Instances.VectorSpace ()
 
 -- simple-affine-space
@@ -197,6 +198,7 @@ threePointDerivativeFrom ::
   ( Monad m
   , VectorSpace v s
   , s ~ Diff td
+  , Num s
   ) =>
   -- | The initial position
   v ->
@@ -213,6 +215,7 @@ threePointDerivative ::
   ( Monad m
   , VectorSpace v s
   , s ~ Diff td
+  , Num s
   ) =>
   BehaviorF m td v v
 threePointDerivative = threePointDerivativeFrom zeroVector
@@ -231,6 +234,7 @@ weightedAverageFrom ::
   ( Monad m
   , VectorSpace v s
   , s ~ Diff td
+  , Num s
   ) =>
   -- | The initial position
   v ->
@@ -283,6 +287,7 @@ averageLinFrom ::
   ( Monad m
   , VectorSpace v s
   , s ~ Diff td
+  , Fractional s
   ) =>
   -- | The initial position
   v ->
@@ -300,6 +305,7 @@ averageLin ::
   ( Monad m
   , VectorSpace v s
   , s ~ Diff td
+  , Fractional s
   ) =>
   -- | The time scale on which the signal is averaged
   Diff td ->
@@ -325,6 +331,7 @@ highPass ::
   , VectorSpace v s
   , Floating s
   , s ~ Diff td
+  , Eq s
   ) =>
   -- | The time constant @t@
   Diff td ->
@@ -337,6 +344,7 @@ bandPass ::
   , VectorSpace v s
   , Floating s
   , s ~ Diff td
+  , Eq s
   ) =>
   -- | The time constant @t@
   Diff td ->
@@ -347,6 +355,7 @@ bandPass t = lowPass t >>> highPass t
 bandStop ::
   ( Monad m
   , VectorSpace v s
+  , Eq s
   , Floating s
   , s ~ Diff td
   ) =>

diff --git a/rhine/src/FRP/Rhine/ResamplingBuffer/Interpolation.hs b/rhine/src/FRP/Rhine/ResamplingBuffer/Interpolation.hs
@@ -28,6 +28,7 @@ linear ::
   , VectorSpace v s
   , s ~ Diff (Time cl1)
   , s ~ Diff (Time cl2)
+  , Num s
   ) =>
   -- | The initial velocity (derivative of the signal)
   v ->
@@ -95,6 +96,8 @@ cubic ::
   , Eq v
   , s ~ Diff (Time cl1)
   , s ~ Diff (Time cl2)
+  , Num s
+  , Fractional s
   ) =>
   ResamplingBuffer m cl1 cl2 v v
 {- FOURMOLU_DISABLE -}

diff --git a/stack.9.2.5.yaml b/stack.9.2.5.yaml
@@ -10,6 +10,8 @@ packages:
 extra-deps:
 - terminal-0.2.0.0@sha256:de6770ecaae3197c66ac1f0db5a80cf5a5b1d3b64a66a05b50f442de5ad39570,2977
 - monad-bayes-1.1.0@sha256:8929887b2883e553b928dcc9b1326171c87b6aa26f11800dc8c55b119a9e9649,6123
+- dunai-0.11.0@sha256:fc82a2ac6e2f7efcc2cd7f01412544ebe10d25143febdb0c3ebfb090220f4660,6372
+- simple-affine-space-0.2.1@sha256:bc9b1f5ae236b2898cd6f20da2d4589fd662fac2e2057f29b01330f65c030434,2046
 
 nix:
   packages: