estimator 1.1.0.1 → 1.2.0.0
raw patch · 1 files changed
+6/−12 lines, 1 filesdep ~linearnew-uploaderPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: linear
API changes (from Hackage documentation)
- Numeric.Estimator.Augment: getExtra :: AugmentState state extra a -> extra a
- Numeric.Estimator.Augment: getState :: AugmentState state extra a -> state a
- Numeric.Estimator.Augment: instance (Applicative state, Applicative extra) => Additive (AugmentState state extra)
- Numeric.Estimator.Augment: instance (Applicative state, Applicative extra) => Applicative (AugmentState state extra)
- Numeric.Estimator.Augment: instance (Applicative state, Applicative extra) => Functor (AugmentState state extra)
- Numeric.Estimator.Augment: instance (Applicative state, Applicative extra, Distributive state, Distributive extra) => Distributive (AugmentState state extra)
- Numeric.Estimator.Augment: instance (Applicative state, Applicative extra, Traversable state, Traversable extra) => Foldable (AugmentState state extra)
- Numeric.Estimator.Augment: instance (Applicative state, Applicative extra, Traversable state, Traversable extra) => Traversable (AugmentState state extra)
- Numeric.Estimator.KalmanFilter: instance (Additive state, Distributive state, Traversable state, Fractional var) => Measure (EKFMeasurement state var)
- Numeric.Estimator.KalmanFilter: instance (Additive state, Traversable state, Distributive state, Num var) => Process (EKFProcess state var)
- Numeric.Estimator.KalmanFilter: instance Estimator (EKFMeasurement state var)
- Numeric.Estimator.KalmanFilter: instance Estimator (EKFProcess state var)
- Numeric.Estimator.KalmanFilter: instance GaussianFilter KalmanFilter
- Numeric.Estimator.KalmanFilter: kalmanCovariance :: KalmanFilter state var -> state (state var)
- Numeric.Estimator.KalmanFilter: kalmanInnovation :: KalmanInnovation obs var -> obs var
- Numeric.Estimator.KalmanFilter: kalmanInnovationCovariance :: KalmanInnovation obs var -> obs (obs var)
- Numeric.Estimator.KalmanFilter: kalmanState :: KalmanFilter state var -> state var
- Numeric.Estimator.Model.Coordinate: instance Additive NED
- Numeric.Estimator.Model.Coordinate: instance Additive XYZ
- Numeric.Estimator.Model.Coordinate: instance Applicative NED
- Numeric.Estimator.Model.Coordinate: instance Applicative XYZ
- Numeric.Estimator.Model.Coordinate: instance Distributive NED
- Numeric.Estimator.Model.Coordinate: instance Distributive XYZ
- Numeric.Estimator.Model.Coordinate: instance Foldable NED
- Numeric.Estimator.Model.Coordinate: instance Foldable XYZ
- Numeric.Estimator.Model.Coordinate: instance Functor NED
- Numeric.Estimator.Model.Coordinate: instance Functor XYZ
- Numeric.Estimator.Model.Coordinate: instance Metric NED
- Numeric.Estimator.Model.Coordinate: instance Metric XYZ
- Numeric.Estimator.Model.Coordinate: instance Num a => Num (NED a)
- Numeric.Estimator.Model.Coordinate: instance Num a => Num (XYZ a)
- Numeric.Estimator.Model.Coordinate: instance Show a => Show (NED a)
- Numeric.Estimator.Model.Coordinate: instance Show a => Show (XYZ a)
- Numeric.Estimator.Model.Coordinate: instance Traversable NED
- Numeric.Estimator.Model.Coordinate: instance Traversable XYZ
- Numeric.Estimator.Model.Coordinate: nedToVec3 :: NED a -> V3 a
- Numeric.Estimator.Model.Coordinate: xyzToVec3 :: XYZ a -> V3 a
- Numeric.Estimator.Model.SensorFusion: disturbanceAccel :: DisturbanceVector a -> !(XYZ a)
- Numeric.Estimator.Model.SensorFusion: disturbanceGyro :: DisturbanceVector a -> !(XYZ a)
- Numeric.Estimator.Model.SensorFusion: instance Additive StateVector
- Numeric.Estimator.Model.SensorFusion: instance Applicative DisturbanceVector
- Numeric.Estimator.Model.SensorFusion: instance Applicative StateVector
- Numeric.Estimator.Model.SensorFusion: instance Distributive DisturbanceVector
- Numeric.Estimator.Model.SensorFusion: instance Distributive StateVector
- Numeric.Estimator.Model.SensorFusion: instance Foldable DisturbanceVector
- Numeric.Estimator.Model.SensorFusion: instance Foldable StateVector
- Numeric.Estimator.Model.SensorFusion: instance Functor DisturbanceVector
- Numeric.Estimator.Model.SensorFusion: instance Functor StateVector
- Numeric.Estimator.Model.SensorFusion: instance Show a => Show (DisturbanceVector a)
- Numeric.Estimator.Model.SensorFusion: instance Show a => Show (StateVector a)
- Numeric.Estimator.Model.SensorFusion: instance Traversable DisturbanceVector
- Numeric.Estimator.Model.SensorFusion: instance Traversable StateVector
- Numeric.Estimator.Model.SensorFusion: stateGyroBias :: StateVector a -> !(XYZ a)
- Numeric.Estimator.Model.SensorFusion: stateMagNED :: StateVector a -> !(NED a)
- Numeric.Estimator.Model.SensorFusion: stateMagXYZ :: StateVector a -> !(XYZ a)
- Numeric.Estimator.Model.SensorFusion: stateOrient :: StateVector a -> !(Quaternion a)
- Numeric.Estimator.Model.SensorFusion: statePos :: StateVector a -> !(NED a)
- Numeric.Estimator.Model.SensorFusion: stateVel :: StateVector a -> !(NED a)
- Numeric.Estimator.Model.SensorFusion: stateWind :: StateVector a -> !(NED a)
- Numeric.Estimator.Model.Symbolic: instance HasAtan2 Double
+ Numeric.Estimator.Augment: [getExtra] :: AugmentState state extra a -> extra a
+ Numeric.Estimator.Augment: [getState] :: AugmentState state extra a -> state a
+ Numeric.Estimator.Augment: instance (GHC.Base.Applicative state, GHC.Base.Applicative extra) => GHC.Base.Applicative (Numeric.Estimator.Augment.AugmentState state extra)
+ Numeric.Estimator.Augment: instance (GHC.Base.Applicative state, GHC.Base.Applicative extra) => GHC.Base.Functor (Numeric.Estimator.Augment.AugmentState state extra)
+ Numeric.Estimator.Augment: instance (GHC.Base.Applicative state, GHC.Base.Applicative extra) => Linear.Vector.Additive (Numeric.Estimator.Augment.AugmentState state extra)
+ Numeric.Estimator.Augment: instance (GHC.Base.Applicative state, GHC.Base.Applicative extra, Data.Distributive.Distributive state, Data.Distributive.Distributive extra) => Data.Distributive.Distributive (Numeric.Estimator.Augment.AugmentState state extra)
+ Numeric.Estimator.Augment: instance (GHC.Base.Applicative state, GHC.Base.Applicative extra, Data.Traversable.Traversable state, Data.Traversable.Traversable extra) => Data.Foldable.Foldable (Numeric.Estimator.Augment.AugmentState state extra)
+ Numeric.Estimator.Augment: instance (GHC.Base.Applicative state, GHC.Base.Applicative extra, Data.Traversable.Traversable state, Data.Traversable.Traversable extra) => Data.Traversable.Traversable (Numeric.Estimator.Augment.AugmentState state extra)
+ Numeric.Estimator.Class: (obs :: * -> *) :: Constraint;
+ Numeric.Estimator.Class: type family MeasureObservable (t :: *)
+ Numeric.Estimator.Class: }
+ Numeric.Estimator.KalmanFilter: [kalmanCovariance] :: KalmanFilter state var -> state (state var)
+ Numeric.Estimator.KalmanFilter: [kalmanInnovationCovariance] :: KalmanInnovation obs var -> obs (obs var)
+ Numeric.Estimator.KalmanFilter: [kalmanInnovation] :: KalmanInnovation obs var -> obs var
+ Numeric.Estimator.KalmanFilter: [kalmanState] :: KalmanFilter state var -> state var
+ Numeric.Estimator.KalmanFilter: instance (Linear.Vector.Additive state, Data.Distributive.Distributive state, Data.Traversable.Traversable state, GHC.Real.Fractional var) => Numeric.Estimator.Class.Measure (Numeric.Estimator.KalmanFilter.EKFMeasurement state var)
+ Numeric.Estimator.KalmanFilter: instance (Linear.Vector.Additive state, Data.Traversable.Traversable state, Data.Distributive.Distributive state, GHC.Num.Num var) => Numeric.Estimator.Class.Process (Numeric.Estimator.KalmanFilter.EKFProcess state var)
+ Numeric.Estimator.KalmanFilter: instance Numeric.Estimator.Class.Estimator (Numeric.Estimator.KalmanFilter.EKFMeasurement state var)
+ Numeric.Estimator.KalmanFilter: instance Numeric.Estimator.Class.Estimator (Numeric.Estimator.KalmanFilter.EKFProcess state var)
+ Numeric.Estimator.KalmanFilter: instance Numeric.Estimator.Class.GaussianFilter Numeric.Estimator.KalmanFilter.KalmanFilter
+ Numeric.Estimator.Model.Coordinate: [nedToVec3] :: NED a -> V3 a
+ Numeric.Estimator.Model.Coordinate: [xyzToVec3] :: XYZ a -> V3 a
+ Numeric.Estimator.Model.Coordinate: instance Data.Distributive.Distributive Numeric.Estimator.Model.Coordinate.NED
+ Numeric.Estimator.Model.Coordinate: instance Data.Distributive.Distributive Numeric.Estimator.Model.Coordinate.XYZ
+ Numeric.Estimator.Model.Coordinate: instance Data.Foldable.Foldable Numeric.Estimator.Model.Coordinate.NED
+ Numeric.Estimator.Model.Coordinate: instance Data.Foldable.Foldable Numeric.Estimator.Model.Coordinate.XYZ
+ Numeric.Estimator.Model.Coordinate: instance Data.Traversable.Traversable Numeric.Estimator.Model.Coordinate.NED
+ Numeric.Estimator.Model.Coordinate: instance Data.Traversable.Traversable Numeric.Estimator.Model.Coordinate.XYZ
+ Numeric.Estimator.Model.Coordinate: instance GHC.Base.Applicative Numeric.Estimator.Model.Coordinate.NED
+ Numeric.Estimator.Model.Coordinate: instance GHC.Base.Applicative Numeric.Estimator.Model.Coordinate.XYZ
+ Numeric.Estimator.Model.Coordinate: instance GHC.Base.Functor Numeric.Estimator.Model.Coordinate.NED
+ Numeric.Estimator.Model.Coordinate: instance GHC.Base.Functor Numeric.Estimator.Model.Coordinate.XYZ
+ Numeric.Estimator.Model.Coordinate: instance GHC.Num.Num a => GHC.Num.Num (Numeric.Estimator.Model.Coordinate.NED a)
+ Numeric.Estimator.Model.Coordinate: instance GHC.Num.Num a => GHC.Num.Num (Numeric.Estimator.Model.Coordinate.XYZ a)
+ Numeric.Estimator.Model.Coordinate: instance GHC.Show.Show a => GHC.Show.Show (Numeric.Estimator.Model.Coordinate.NED a)
+ Numeric.Estimator.Model.Coordinate: instance GHC.Show.Show a => GHC.Show.Show (Numeric.Estimator.Model.Coordinate.XYZ a)
+ Numeric.Estimator.Model.Coordinate: instance Linear.Metric.Metric Numeric.Estimator.Model.Coordinate.NED
+ Numeric.Estimator.Model.Coordinate: instance Linear.Metric.Metric Numeric.Estimator.Model.Coordinate.XYZ
+ Numeric.Estimator.Model.Coordinate: instance Linear.Vector.Additive Numeric.Estimator.Model.Coordinate.NED
+ Numeric.Estimator.Model.Coordinate: instance Linear.Vector.Additive Numeric.Estimator.Model.Coordinate.XYZ
+ Numeric.Estimator.Model.SensorFusion: [disturbanceAccel] :: DisturbanceVector a -> !(XYZ a)
+ Numeric.Estimator.Model.SensorFusion: [disturbanceGyro] :: DisturbanceVector a -> !(XYZ a)
+ Numeric.Estimator.Model.SensorFusion: [stateGyroBias] :: StateVector a -> !(XYZ a)
+ Numeric.Estimator.Model.SensorFusion: [stateMagNED] :: StateVector a -> !(NED a)
+ Numeric.Estimator.Model.SensorFusion: [stateMagXYZ] :: StateVector a -> !(XYZ a)
+ Numeric.Estimator.Model.SensorFusion: [stateOrient] :: StateVector a -> !(Quaternion a)
+ Numeric.Estimator.Model.SensorFusion: [statePos] :: StateVector a -> !(NED a)
+ Numeric.Estimator.Model.SensorFusion: [stateVel] :: StateVector a -> !(NED a)
+ Numeric.Estimator.Model.SensorFusion: [stateWind] :: StateVector a -> !(NED a)
+ Numeric.Estimator.Model.SensorFusion: instance Data.Distributive.Distributive Numeric.Estimator.Model.SensorFusion.DisturbanceVector
+ Numeric.Estimator.Model.SensorFusion: instance Data.Distributive.Distributive Numeric.Estimator.Model.SensorFusion.StateVector
+ Numeric.Estimator.Model.SensorFusion: instance Data.Foldable.Foldable Numeric.Estimator.Model.SensorFusion.DisturbanceVector
+ Numeric.Estimator.Model.SensorFusion: instance Data.Foldable.Foldable Numeric.Estimator.Model.SensorFusion.StateVector
+ Numeric.Estimator.Model.SensorFusion: instance Data.Traversable.Traversable Numeric.Estimator.Model.SensorFusion.DisturbanceVector
+ Numeric.Estimator.Model.SensorFusion: instance Data.Traversable.Traversable Numeric.Estimator.Model.SensorFusion.StateVector
+ Numeric.Estimator.Model.SensorFusion: instance GHC.Base.Applicative Numeric.Estimator.Model.SensorFusion.DisturbanceVector
+ Numeric.Estimator.Model.SensorFusion: instance GHC.Base.Applicative Numeric.Estimator.Model.SensorFusion.StateVector
+ Numeric.Estimator.Model.SensorFusion: instance GHC.Base.Functor Numeric.Estimator.Model.SensorFusion.DisturbanceVector
+ Numeric.Estimator.Model.SensorFusion: instance GHC.Base.Functor Numeric.Estimator.Model.SensorFusion.StateVector
+ Numeric.Estimator.Model.SensorFusion: instance GHC.Show.Show a => GHC.Show.Show (Numeric.Estimator.Model.SensorFusion.DisturbanceVector a)
+ Numeric.Estimator.Model.SensorFusion: instance GHC.Show.Show a => GHC.Show.Show (Numeric.Estimator.Model.SensorFusion.StateVector a)
+ Numeric.Estimator.Model.SensorFusion: instance Linear.Vector.Additive Numeric.Estimator.Model.SensorFusion.StateVector
+ Numeric.Estimator.Model.Symbolic: instance Numeric.Estimator.Model.Symbolic.HasAtan2 GHC.Types.Double
- Numeric.Estimator.Class: class Estimator t where type family Filter t :: (* -> *) -> * -> *
+ Numeric.Estimator.Class: class Estimator t where type Filter t :: (* -> *) -> * -> * where {
- Numeric.Estimator.Class: class Estimator t => Measure t where type family MeasureQuality (t :: *) (obs :: * -> *) :: * type family MeasureObservable (t :: *) (obs :: * -> *) :: Constraint
+ Numeric.Estimator.Class: class Estimator t => Measure t where type MeasureQuality (t :: *) (obs :: * -> *) :: * type MeasureObservable (t :: *) (obs :: * -> *) :: Constraint where {
Files
- estimator.cabal +6/−12
estimator.cabal view
@@ -1,5 +1,5 @@ name: estimator-version: 1.1.0.1+version: 1.2.0.0 synopsis: State-space estimation algorithms such as Kalman Filters description: The goal of this library is to simplify implementation and use of@@ -20,23 +20,19 @@ license: BSD3 license-file: LICENSE author: Jamey Sharp-maintainer: jamey@galois.com-copyright: 2014 Galois, Inc.+maintainer: smaccm@galois.com+copyright: 2014-2016 Galois, Inc. homepage: https://github.com/GaloisInc/estimator bug-reports: https://github.com/GaloisInc/estimator/issues category: Math, Numerical, Statistics build-type: Simple cabal-version: >=1.10+tested-with: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.2, GHC == 8.0.1 source-repository this type: git location: https://github.com/GaloisInc/estimator- tag: 1.1.0.1--Flag werror- description: Make warnings errors- manual: True- default: False+ tag: 1.2.0.0 library hs-source-dirs: src@@ -54,9 +50,7 @@ ad >=4.2, distributive >=0.4, lens >=4.6,- linear >=1.16 && <1.19,+ linear >=1.16, reflection >=1.5 default-language: Haskell2010 ghc-options: -Wall- if flag(werror)- ghc-options: -Werror