Bump dunai to 0.11

turion · Jun 21, 2023 · 762d0eb · 762d0eb
1 parent 1f30bcf
commit 762d0eb
Show file tree

Hide file tree

Showing 3 changed files with 14 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 -}