rhine-bayes 1.5 → 1.6
raw patch · 1 files changed
+7/−7 lines, 1 filesdep ~basedep ~monad-bayesdep ~rhinePVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, monad-bayes, rhine, rhine-gloss
API changes (from Hackage documentation)
- FRP.Rhine.Bayes: bernoulliInhomogeneous :: MonadDistribution m => BehaviourF m td Double Bool
+ FRP.Rhine.Bayes: bernoulliInhomogeneous :: forall (m :: Type -> Type) td. MonadDistribution m => BehaviourF m td Double Bool
- FRP.Rhine.Bayes: brownianMotion :: (MonadDistribution m, Diff td ~ Double) => Diff td -> Behaviour m td Double
+ FRP.Rhine.Bayes: brownianMotion :: forall (m :: Type -> Type) td. (MonadDistribution m, Diff td ~ Double) => Diff td -> Behaviour m td Double
- FRP.Rhine.Bayes: gammaInhomogeneous :: (MonadDistribution m, Real (Diff td), Fractional (Diff td), Floating (Diff td)) => Diff td -> BehaviourF m td (Diff td) Int
+ FRP.Rhine.Bayes: gammaInhomogeneous :: forall (m :: Type -> Type) td. (MonadDistribution m, Real (Diff td), Fractional (Diff td), Floating (Diff td)) => Diff td -> BehaviourF m td (Diff td) Int
- FRP.Rhine.Bayes: poissonHomogeneous :: (MonadDistribution m, Real (Diff td), Fractional (Diff td)) => Diff td -> BehaviourF m td () Int
+ FRP.Rhine.Bayes: poissonHomogeneous :: forall (m :: Type -> Type) td. (MonadDistribution m, Real (Diff td), Fractional (Diff td)) => Diff td -> BehaviourF m td () Int
- FRP.Rhine.Bayes: poissonInhomogeneous :: (MonadDistribution m, Real (Diff td), Fractional (Diff td)) => BehaviourF m td (Diff td) Int
+ FRP.Rhine.Bayes: poissonInhomogeneous :: forall (m :: Type -> Type) td. (MonadDistribution m, Real (Diff td), Fractional (Diff td)) => BehaviourF m td (Diff td) Int
- FRP.Rhine.Bayes: runPopulationCl :: forall m cl a b. (Monad m, MonadDistribution m) => Int -> (forall x m. MonadDistribution m => PopulationT m x -> PopulationT m x) -> ClSF (PopulationT m) cl a b -> ClSF m cl a [(b, Log Double)]
+ FRP.Rhine.Bayes: runPopulationCl :: forall (m :: Type -> Type) cl a b. (Monad m, MonadDistribution m) => Int -> (forall x (m1 :: Type -> Type). MonadDistribution m1 => PopulationT m1 x -> PopulationT m1 x) -> ClSF (PopulationT m) cl a b -> ClSF m cl a [(b, Log Double)]
- FRP.Rhine.Bayes: type StochasticProcess time a = forall m. (MonadDistribution m) => Behaviour m time a
+ FRP.Rhine.Bayes: type StochasticProcess time a = forall (m :: Type -> Type). MonadDistribution m => Behaviour m time a
- FRP.Rhine.Bayes: type StochasticProcessF time a b = forall m. (MonadDistribution m) => BehaviourF m time a b
+ FRP.Rhine.Bayes: type StochasticProcessF time a b = forall (m :: Type -> Type). MonadDistribution m => BehaviourF m time a b
- FRP.Rhine.Bayes: whiteNoiseVarying :: StochasticProcessF td Double Double
+ FRP.Rhine.Bayes: whiteNoiseVarying :: forall td (m :: Type -> Type). MonadDistribution m => BehaviourF m td Double Double
- FRP.Rhine.Bayes: wiener :: (MonadDistribution m, Diff td ~ Double) => Diff td -> Behaviour m td Double
+ FRP.Rhine.Bayes: wiener :: forall (m :: Type -> Type) td. (MonadDistribution m, Diff td ~ Double) => Diff td -> Behaviour m td Double
Files
- rhine-bayes.cabal +7/−7
rhine-bayes.cabal view
@@ -1,5 +1,5 @@ name: rhine-bayes-version: 1.5+version: 1.6 synopsis: monad-bayes backend for Rhine description: This package provides a backend to the @monad-bayes@ library,@@ -26,18 +26,18 @@ source-repository this type: git location: git@github.com:turion/rhine.git- tag: v1.5+ tag: v1.6 library exposed-modules: FRP.Rhine.Bayes other-modules: Data.Automaton.Bayes build-depends: automaton,- base >=4.16 && <4.21,+ base >=4.16 && <4.22, log-domain >=0.12, mmorph ^>=1.2,- monad-bayes ^>=1.3,- rhine ^>=1.5,+ monad-bayes ^>=1.3.0.5,+ rhine ^>=1.6, transformers >=0.5 hs-source-dirs: src@@ -66,13 +66,13 @@ hs-source-dirs: app build-depends: automaton,- base >=4.16 && <4.21,+ base >=4.16 && <4.22, log-domain, mmorph, monad-bayes, rhine, rhine-bayes,- rhine-gloss ^>=1.5,+ rhine-gloss ^>=1.6, time, transformers