Data.Monoid.Statistics.Numeric

Monoids for calculating various statistics in constant space

Mean & Variance

Number of elements

newtype CountG a

Calculate number of elements in the sample.

Constructors

CountG

Fields

• calcCountN :: a

Instances

Unbox a => Vector Vector (CountG a)

Defined in Data.Monoid.Statistics.Numeric

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (CountG a) -> m (Vector (CountG a))

basicUnsafeThaw :: PrimMonad m => Vector (CountG a) -> m (Mutable Vector (PrimState m) (CountG a))

basicLength :: Vector (CountG a) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (CountG a) -> Vector (CountG a)

basicUnsafeIndexM :: Monad m => Vector (CountG a) -> Int -> m (CountG a)

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (CountG a) -> Vector (CountG a) -> m ()

elemseq :: Vector (CountG a) -> CountG a -> b -> b

Unbox a => MVector MVector (CountG a)

Defined in Data.Monoid.Statistics.Numeric

Methods

basicLength :: MVector s (CountG a) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (CountG a) -> MVector s (CountG a)

basicOverlaps :: MVector s (CountG a) -> MVector s (CountG a) -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (CountG a))

basicInitialize :: PrimMonad m => MVector (PrimState m) (CountG a) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> CountG a -> m (MVector (PrimState m) (CountG a))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (CountG a) -> Int -> m (CountG a)

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (CountG a) -> Int -> CountG a -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (CountG a) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (CountG a) -> CountG a -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (CountG a) -> MVector (PrimState m) (CountG a) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (CountG a) -> MVector (PrimState m) (CountG a) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (CountG a) -> Int -> m (MVector (PrimState m) (CountG a))

Eq a => Eq (CountG a)

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: CountG a -> CountG a -> Bool

(/=) :: CountG a -> CountG a -> Bool

Ord a => Ord (CountG a)

Defined in Data.Monoid.Statistics.Numeric

Methods

compare :: CountG a -> CountG a -> Ordering

(<) :: CountG a -> CountG a -> Bool

(<=) :: CountG a -> CountG a -> Bool

(>) :: CountG a -> CountG a -> Bool

(>=) :: CountG a -> CountG a -> Bool

max :: CountG a -> CountG a -> CountG a

min :: CountG a -> CountG a -> CountG a

Show a => Show (CountG a)

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> CountG a -> ShowS

show :: CountG a -> String

showList :: [CountG a] -> ShowS

Integral a => Semigroup (CountG a)

Defined in Data.Monoid.Statistics.Numeric

Methods

(<>) :: CountG a -> CountG a -> CountG a

sconcat :: NonEmpty (CountG a) -> CountG a

stimes :: Integral b => b -> CountG a -> CountG a

Integral a => Monoid (CountG a)

Defined in Data.Monoid.Statistics.Numeric

Methods

mempty :: CountG a

mappend :: CountG a -> CountG a -> CountG a

mconcat :: [CountG a] -> CountG a

Unbox a => Unbox (CountG a)

Defined in Data.Monoid.Statistics.Numeric

CalcCount (CountG Int)

Defined in Data.Monoid.Statistics.Numeric

Methods

calcCount :: CountG Int -> Int

Integral a => StatMonoid (CountG a) b

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: CountG a -> b -> CountG a

singletonMonoid :: b -> CountG a

newtype MVector s (CountG a)

Defined in Data.Monoid.Statistics.Numeric

newtype MVector s (CountG a) = MV_CountG (MVector s a)

newtype Vector (CountG a)

Defined in Data.Monoid.Statistics.Numeric

newtype Vector (CountG a) = V_CountG (Vector a)

type Count = CountG Int

asCount :: CountG a -> CountG a

Type restricted id

Mean algorithms

Default algorithms

type Mean = MeanKBN

Type alias for currently recommended algorithms for calculation of mean. It should be default choice

asMean :: Mean -> Mean

type WMean = WMeanKBN

Type alias for currently recommended algorithms for calculation of weighted mean. It should be default choice

asWMean :: WMean -> WMean

Mean

data MeanNaive

Incremental calculation of mean. It tracks separately number of elements and running sum. Note that summation of floating point numbers loses precision and genrally use MeanKBN is recommended.

Constructors

MeanNaive !Int !Double

Instances

Eq MeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: MeanNaive -> MeanNaive -> Bool

(/=) :: MeanNaive -> MeanNaive -> Bool

Data MeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MeanNaive -> c MeanNaive

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MeanNaive

toConstr :: MeanNaive -> Constr

dataTypeOf :: MeanNaive -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MeanNaive)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MeanNaive)

gmapT :: (forall b. Data b => b -> b) -> MeanNaive -> MeanNaive

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MeanNaive -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MeanNaive -> r

gmapQ :: (forall d. Data d => d -> u) -> MeanNaive -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MeanNaive -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MeanNaive -> m MeanNaive

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MeanNaive -> m MeanNaive

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MeanNaive -> m MeanNaive

Show MeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> MeanNaive -> ShowS

show :: MeanNaive -> String

showList :: [MeanNaive] -> ShowS

Generic MeanNaive

Defined in Data.Monoid.Statistics.Numeric

Associated Types

type Rep MeanNaive :: Type -> Type

Methods

from :: MeanNaive -> Rep MeanNaive x

to :: Rep MeanNaive x -> MeanNaive

Semigroup MeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

(<>) :: MeanNaive -> MeanNaive -> MeanNaive

sconcat :: NonEmpty MeanNaive -> MeanNaive

stimes :: Integral b => b -> MeanNaive -> MeanNaive

Monoid MeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

mempty :: MeanNaive

mappend :: MeanNaive -> MeanNaive -> MeanNaive

mconcat :: [MeanNaive] -> MeanNaive

CalcMean MeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

calcMean :: MonadThrow m => MeanNaive -> m Double

CalcCount MeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

calcCount :: MeanNaive -> Int

Real a => StatMonoid MeanNaive a

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: MeanNaive -> a -> MeanNaive

singletonMonoid :: a -> MeanNaive

type Rep MeanNaive

Defined in Data.Monoid.Statistics.Numeric

type Rep MeanNaive = D1 ('MetaData "MeanNaive" "Data.Monoid.Statistics.Numeric" "monoid-statistics-1.1.1-Et52IJUUy4YDKplMeouIOs" 'False) (C1 ('MetaCons "MeanNaive" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)))

asMeanNaive :: MeanNaive -> MeanNaive

data MeanKBN

Incremental calculation of mean. It tracks separately number of elements and running sum. It uses algorithm for compensated summation which works with mantissa of double size at cost of doing more operations. This means that it's usually possible to compute sum (and therefore mean) within 1 ulp.

Constructors

MeanKBN !Int !KBNSum

Instances

Eq MeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: MeanKBN -> MeanKBN -> Bool

(/=) :: MeanKBN -> MeanKBN -> Bool

Data MeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MeanKBN -> c MeanKBN

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MeanKBN

toConstr :: MeanKBN -> Constr

dataTypeOf :: MeanKBN -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MeanKBN)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MeanKBN)

gmapT :: (forall b. Data b => b -> b) -> MeanKBN -> MeanKBN

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MeanKBN -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MeanKBN -> r

gmapQ :: (forall d. Data d => d -> u) -> MeanKBN -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MeanKBN -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MeanKBN -> m MeanKBN

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MeanKBN -> m MeanKBN

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MeanKBN -> m MeanKBN

Show MeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> MeanKBN -> ShowS

show :: MeanKBN -> String

showList :: [MeanKBN] -> ShowS

Generic MeanKBN

Defined in Data.Monoid.Statistics.Numeric

Associated Types

type Rep MeanKBN :: Type -> Type

Methods

from :: MeanKBN -> Rep MeanKBN x

to :: Rep MeanKBN x -> MeanKBN

Semigroup MeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

(<>) :: MeanKBN -> MeanKBN -> MeanKBN

sconcat :: NonEmpty MeanKBN -> MeanKBN

stimes :: Integral b => b -> MeanKBN -> MeanKBN

Monoid MeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

mempty :: MeanKBN

mappend :: MeanKBN -> MeanKBN -> MeanKBN

mconcat :: [MeanKBN] -> MeanKBN

Unbox MeanKBN

Defined in Data.Monoid.Statistics.Numeric

CalcMean MeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

calcMean :: MonadThrow m => MeanKBN -> m Double

CalcCount MeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

calcCount :: MeanKBN -> Int

Vector Vector MeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) MeanKBN -> m (Vector MeanKBN)

basicUnsafeThaw :: PrimMonad m => Vector MeanKBN -> m (Mutable Vector (PrimState m) MeanKBN)

basicLength :: Vector MeanKBN -> Int

basicUnsafeSlice :: Int -> Int -> Vector MeanKBN -> Vector MeanKBN

basicUnsafeIndexM :: Monad m => Vector MeanKBN -> Int -> m MeanKBN

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) MeanKBN -> Vector MeanKBN -> m ()

elemseq :: Vector MeanKBN -> MeanKBN -> b -> b

MVector MVector MeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

basicLength :: MVector s MeanKBN -> Int

basicUnsafeSlice :: Int -> Int -> MVector s MeanKBN -> MVector s MeanKBN

basicOverlaps :: MVector s MeanKBN -> MVector s MeanKBN -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) MeanKBN)

basicInitialize :: PrimMonad m => MVector (PrimState m) MeanKBN -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> MeanKBN -> m (MVector (PrimState m) MeanKBN)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) MeanKBN -> Int -> m MeanKBN

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) MeanKBN -> Int -> MeanKBN -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) MeanKBN -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) MeanKBN -> MeanKBN -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) MeanKBN -> MVector (PrimState m) MeanKBN -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) MeanKBN -> MVector (PrimState m) MeanKBN -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) MeanKBN -> Int -> m (MVector (PrimState m) MeanKBN)

Real a => StatMonoid MeanKBN a

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: MeanKBN -> a -> MeanKBN

singletonMonoid :: a -> MeanKBN

type Rep MeanKBN

Defined in Data.Monoid.Statistics.Numeric

type Rep MeanKBN = D1 ('MetaData "MeanKBN" "Data.Monoid.Statistics.Numeric" "monoid-statistics-1.1.1-Et52IJUUy4YDKplMeouIOs" 'False) (C1 ('MetaCons "MeanKBN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 KBNSum)))

newtype Vector MeanKBN

Defined in Data.Monoid.Statistics.Numeric

newtype Vector MeanKBN = V_MeanKBN (Vector (Int, Double, Double))

newtype MVector s MeanKBN

Defined in Data.Monoid.Statistics.Numeric

newtype MVector s MeanKBN = MV_MeanKBN (MVector s (Int, Double, Double))

asMeanKBN :: MeanKBN -> MeanKBN

Weighted mean

data WMeanNaive

Incremental calculation of weighed mean.

Constructors

WMeanNaive !Double !Double

Instances

Eq WMeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: WMeanNaive -> WMeanNaive -> Bool

(/=) :: WMeanNaive -> WMeanNaive -> Bool

Data WMeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WMeanNaive -> c WMeanNaive

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WMeanNaive

toConstr :: WMeanNaive -> Constr

dataTypeOf :: WMeanNaive -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c WMeanNaive)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WMeanNaive)

gmapT :: (forall b. Data b => b -> b) -> WMeanNaive -> WMeanNaive

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WMeanNaive -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WMeanNaive -> r

gmapQ :: (forall d. Data d => d -> u) -> WMeanNaive -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> WMeanNaive -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> WMeanNaive -> m WMeanNaive

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WMeanNaive -> m WMeanNaive

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WMeanNaive -> m WMeanNaive

Show WMeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> WMeanNaive -> ShowS

show :: WMeanNaive -> String

showList :: [WMeanNaive] -> ShowS

Generic WMeanNaive

Defined in Data.Monoid.Statistics.Numeric

Associated Types

type Rep WMeanNaive :: Type -> Type

Methods

from :: WMeanNaive -> Rep WMeanNaive x

to :: Rep WMeanNaive x -> WMeanNaive

Semigroup WMeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

(<>) :: WMeanNaive -> WMeanNaive -> WMeanNaive

sconcat :: NonEmpty WMeanNaive -> WMeanNaive

stimes :: Integral b => b -> WMeanNaive -> WMeanNaive

Monoid WMeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

mempty :: WMeanNaive

mappend :: WMeanNaive -> WMeanNaive -> WMeanNaive

mconcat :: [WMeanNaive] -> WMeanNaive

CalcMean WMeanNaive

Defined in Data.Monoid.Statistics.Numeric

Methods

calcMean :: MonadThrow m => WMeanNaive -> m Double

(Real w, Real a) => StatMonoid WMeanNaive (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: WMeanNaive -> Weighted w a -> WMeanNaive

singletonMonoid :: Weighted w a -> WMeanNaive

type Rep WMeanNaive

Defined in Data.Monoid.Statistics.Numeric

type Rep WMeanNaive = D1 ('MetaData "WMeanNaive" "Data.Monoid.Statistics.Numeric" "monoid-statistics-1.1.1-Et52IJUUy4YDKplMeouIOs" 'False) (C1 ('MetaCons "WMeanNaive" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double)))

asWMeanNaive :: WMeanNaive -> WMeanNaive

data WMeanKBN

Incremental calculation of weighed mean. Sum of both weights and elements is calculated using Kahan-Babuška-Neumaier summation.

Constructors

WMeanKBN !KBNSum !KBNSum

Instances

Eq WMeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: WMeanKBN -> WMeanKBN -> Bool

(/=) :: WMeanKBN -> WMeanKBN -> Bool

Data WMeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WMeanKBN -> c WMeanKBN

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WMeanKBN

toConstr :: WMeanKBN -> Constr

dataTypeOf :: WMeanKBN -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c WMeanKBN)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WMeanKBN)

gmapT :: (forall b. Data b => b -> b) -> WMeanKBN -> WMeanKBN

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WMeanKBN -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WMeanKBN -> r

gmapQ :: (forall d. Data d => d -> u) -> WMeanKBN -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> WMeanKBN -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> WMeanKBN -> m WMeanKBN

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WMeanKBN -> m WMeanKBN

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WMeanKBN -> m WMeanKBN

Show WMeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> WMeanKBN -> ShowS

show :: WMeanKBN -> String

showList :: [WMeanKBN] -> ShowS

Generic WMeanKBN

Defined in Data.Monoid.Statistics.Numeric

Associated Types

type Rep WMeanKBN :: Type -> Type

Methods

from :: WMeanKBN -> Rep WMeanKBN x

to :: Rep WMeanKBN x -> WMeanKBN

Semigroup WMeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

(<>) :: WMeanKBN -> WMeanKBN -> WMeanKBN

sconcat :: NonEmpty WMeanKBN -> WMeanKBN

stimes :: Integral b => b -> WMeanKBN -> WMeanKBN

Monoid WMeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

mempty :: WMeanKBN

mappend :: WMeanKBN -> WMeanKBN -> WMeanKBN

mconcat :: [WMeanKBN] -> WMeanKBN

CalcMean WMeanKBN

Defined in Data.Monoid.Statistics.Numeric

Methods

calcMean :: MonadThrow m => WMeanKBN -> m Double

(Real w, Real a) => StatMonoid WMeanKBN (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: WMeanKBN -> Weighted w a -> WMeanKBN

singletonMonoid :: Weighted w a -> WMeanKBN

type Rep WMeanKBN

Defined in Data.Monoid.Statistics.Numeric

type Rep WMeanKBN = D1 ('MetaData "WMeanKBN" "Data.Monoid.Statistics.Numeric" "monoid-statistics-1.1.1-Et52IJUUy4YDKplMeouIOs" 'False) (C1 ('MetaCons "WMeanKBN" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 KBNSum) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 KBNSum)))

asWMeanKBN :: WMeanKBN -> WMeanKBN

Variance

data Variance

Incremental algorithms for calculation the standard deviation [Chan1979].

Constructors

Variance !Int !Double !Double

Instances

Eq Variance

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: Variance -> Variance -> Bool

(/=) :: Variance -> Variance -> Bool

Show Variance

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> Variance -> ShowS

show :: Variance -> String

showList :: [Variance] -> ShowS

Semigroup Variance

Defined in Data.Monoid.Statistics.Numeric

Methods

(<>) :: Variance -> Variance -> Variance

sconcat :: NonEmpty Variance -> Variance

stimes :: Integral b => b -> Variance -> Variance

Monoid Variance

Defined in Data.Monoid.Statistics.Numeric

Methods

mempty :: Variance

mappend :: Variance -> Variance -> Variance

mconcat :: [Variance] -> Variance

Unbox Variance

Defined in Data.Monoid.Statistics.Numeric

CalcVariance Variance

Defined in Data.Monoid.Statistics.Numeric

Methods

calcVariance :: MonadThrow m => Variance -> m Double

calcVarianceML :: MonadThrow m => Variance -> m Double

calcStddev :: MonadThrow m => Variance -> m Double

calcStddevML :: MonadThrow m => Variance -> m Double

CalcMean Variance

Defined in Data.Monoid.Statistics.Numeric

Methods

calcMean :: MonadThrow m => Variance -> m Double

CalcCount Variance

Defined in Data.Monoid.Statistics.Numeric

Methods

calcCount :: Variance -> Int

Vector Vector Variance

Defined in Data.Monoid.Statistics.Numeric

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Variance -> m (Vector Variance)

basicUnsafeThaw :: PrimMonad m => Vector Variance -> m (Mutable Vector (PrimState m) Variance)

basicLength :: Vector Variance -> Int

basicUnsafeSlice :: Int -> Int -> Vector Variance -> Vector Variance

basicUnsafeIndexM :: Monad m => Vector Variance -> Int -> m Variance

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Variance -> Vector Variance -> m ()

elemseq :: Vector Variance -> Variance -> b -> b

MVector MVector Variance

Defined in Data.Monoid.Statistics.Numeric

Methods

basicLength :: MVector s Variance -> Int

basicUnsafeSlice :: Int -> Int -> MVector s Variance -> MVector s Variance

basicOverlaps :: MVector s Variance -> MVector s Variance -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Variance)

basicInitialize :: PrimMonad m => MVector (PrimState m) Variance -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Variance -> m (MVector (PrimState m) Variance)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Variance -> Int -> m Variance

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Variance -> Int -> Variance -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) Variance -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) Variance -> Variance -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Variance -> MVector (PrimState m) Variance -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Variance -> MVector (PrimState m) Variance -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Variance -> Int -> m (MVector (PrimState m) Variance)

Real a => StatMonoid Variance a

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: Variance -> a -> Variance

singletonMonoid :: a -> Variance

newtype Vector Variance

Defined in Data.Monoid.Statistics.Numeric

newtype Vector Variance = V_Variance (Vector (Int, Double, Double))

newtype MVector s Variance

Defined in Data.Monoid.Statistics.Numeric

newtype MVector s Variance = MV_Variance (MVector s (Int, Double, Double))

asVariance :: Variance -> Variance

Type restricted 'id '

Maximum and minimum

newtype Max a

Calculate maximum of sample

Constructors

Max

Fields

• calcMax :: Maybe a

Instances

Eq a => Eq (Max a)

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: Max a -> Max a -> Bool

(/=) :: Max a -> Max a -> Bool

Data a => Data (Max a)

Defined in Data.Monoid.Statistics.Numeric

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Max a -> c (Max a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Max a)

toConstr :: Max a -> Constr

dataTypeOf :: Max a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Max a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Max a))

gmapT :: (forall b. Data b => b -> b) -> Max a -> Max a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Max a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Max a -> r

gmapQ :: (forall d. Data d => d -> u) -> Max a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Max a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Max a -> m (Max a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Max a -> m (Max a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Max a -> m (Max a)

Ord a => Ord (Max a)

Defined in Data.Monoid.Statistics.Numeric

Methods

compare :: Max a -> Max a -> Ordering

(<) :: Max a -> Max a -> Bool

(<=) :: Max a -> Max a -> Bool

(>) :: Max a -> Max a -> Bool

(>=) :: Max a -> Max a -> Bool

max :: Max a -> Max a -> Max a

min :: Max a -> Max a -> Max a

Show a => Show (Max a)

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> Max a -> ShowS

show :: Max a -> String

showList :: [Max a] -> ShowS

Generic (Max a)

Defined in Data.Monoid.Statistics.Numeric

Associated Types

type Rep (Max a) :: Type -> Type

Methods

from :: Max a -> Rep (Max a) x

to :: Rep (Max a) x -> Max a

Ord a => Semigroup (Max a)

Defined in Data.Monoid.Statistics.Numeric

Methods

(<>) :: Max a -> Max a -> Max a

sconcat :: NonEmpty (Max a) -> Max a

stimes :: Integral b => b -> Max a -> Max a

Ord a => Monoid (Max a)

Defined in Data.Monoid.Statistics.Numeric

Methods

mempty :: Max a

mappend :: Max a -> Max a -> Max a

mconcat :: [Max a] -> Max a

(Ord a, a ~ a') => StatMonoid (Max a) a'

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: Max a -> a' -> Max a

singletonMonoid :: a' -> Max a

type Rep (Max a)

Defined in Data.Monoid.Statistics.Numeric

type Rep (Max a) = D1 ('MetaData "Max" "Data.Monoid.Statistics.Numeric" "monoid-statistics-1.1.1-Et52IJUUy4YDKplMeouIOs" 'True) (C1 ('MetaCons "Max" 'PrefixI 'True) (S1 ('MetaSel ('Just "calcMax") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))

newtype Min a

Calculate minimum of sample

Constructors

Min

Fields

• calcMin :: Maybe a

Instances

Eq a => Eq (Min a)

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: Min a -> Min a -> Bool

(/=) :: Min a -> Min a -> Bool

Data a => Data (Min a)

Defined in Data.Monoid.Statistics.Numeric

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Min a -> c (Min a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Min a)

toConstr :: Min a -> Constr

dataTypeOf :: Min a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Min a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Min a))

gmapT :: (forall b. Data b => b -> b) -> Min a -> Min a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Min a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Min a -> r

gmapQ :: (forall d. Data d => d -> u) -> Min a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Min a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Min a -> m (Min a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Min a -> m (Min a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Min a -> m (Min a)

Ord a => Ord (Min a)

Defined in Data.Monoid.Statistics.Numeric

Methods

compare :: Min a -> Min a -> Ordering

(<) :: Min a -> Min a -> Bool

(<=) :: Min a -> Min a -> Bool

(>) :: Min a -> Min a -> Bool

(>=) :: Min a -> Min a -> Bool

max :: Min a -> Min a -> Min a

min :: Min a -> Min a -> Min a

Show a => Show (Min a)

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> Min a -> ShowS

show :: Min a -> String

showList :: [Min a] -> ShowS

Generic (Min a)

Defined in Data.Monoid.Statistics.Numeric

Associated Types

type Rep (Min a) :: Type -> Type

Methods

from :: Min a -> Rep (Min a) x

to :: Rep (Min a) x -> Min a

Ord a => Semigroup (Min a)

Defined in Data.Monoid.Statistics.Numeric

Methods

(<>) :: Min a -> Min a -> Min a

sconcat :: NonEmpty (Min a) -> Min a

stimes :: Integral b => b -> Min a -> Min a

Ord a => Monoid (Min a)

Defined in Data.Monoid.Statistics.Numeric

Methods

mempty :: Min a

mappend :: Min a -> Min a -> Min a

mconcat :: [Min a] -> Min a

(Ord a, a ~ a') => StatMonoid (Min a) a'

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: Min a -> a' -> Min a

singletonMonoid :: a' -> Min a

type Rep (Min a)

Defined in Data.Monoid.Statistics.Numeric

type Rep (Min a) = D1 ('MetaData "Min" "Data.Monoid.Statistics.Numeric" "monoid-statistics-1.1.1-Et52IJUUy4YDKplMeouIOs" 'True) (C1 ('MetaCons "Min" 'PrefixI 'True) (S1 ('MetaSel ('Just "calcMin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))

newtype MaxD

Calculate maximum of sample. For empty sample returns NaN. Any NaN encountered will be ignored.

Constructors

MaxD

Fields

• calcMaxD :: Double

Instances

Eq MaxD

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: MaxD -> MaxD -> Bool

(/=) :: MaxD -> MaxD -> Bool

Data MaxD

Defined in Data.Monoid.Statistics.Numeric

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MaxD -> c MaxD

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MaxD

toConstr :: MaxD -> Constr

dataTypeOf :: MaxD -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MaxD)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MaxD)

gmapT :: (forall b. Data b => b -> b) -> MaxD -> MaxD

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MaxD -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MaxD -> r

gmapQ :: (forall d. Data d => d -> u) -> MaxD -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MaxD -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MaxD -> m MaxD

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MaxD -> m MaxD

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MaxD -> m MaxD

Show MaxD

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> MaxD -> ShowS

show :: MaxD -> String

showList :: [MaxD] -> ShowS

Generic MaxD

Defined in Data.Monoid.Statistics.Numeric

Associated Types

type Rep MaxD :: Type -> Type

Methods

from :: MaxD -> Rep MaxD x

to :: Rep MaxD x -> MaxD

Semigroup MaxD

Defined in Data.Monoid.Statistics.Numeric

Methods

(<>) :: MaxD -> MaxD -> MaxD

sconcat :: NonEmpty MaxD -> MaxD

stimes :: Integral b => b -> MaxD -> MaxD

Monoid MaxD

Defined in Data.Monoid.Statistics.Numeric

Methods

mempty :: MaxD

mappend :: MaxD -> MaxD -> MaxD

mconcat :: [MaxD] -> MaxD

Unbox MaxD

Defined in Data.Monoid.Statistics.Numeric

Vector Vector MaxD

Defined in Data.Monoid.Statistics.Numeric

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) MaxD -> m (Vector MaxD)

basicUnsafeThaw :: PrimMonad m => Vector MaxD -> m (Mutable Vector (PrimState m) MaxD)

basicLength :: Vector MaxD -> Int

basicUnsafeSlice :: Int -> Int -> Vector MaxD -> Vector MaxD

basicUnsafeIndexM :: Monad m => Vector MaxD -> Int -> m MaxD

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) MaxD -> Vector MaxD -> m ()

elemseq :: Vector MaxD -> MaxD -> b -> b

MVector MVector MaxD

Defined in Data.Monoid.Statistics.Numeric

Methods

basicLength :: MVector s MaxD -> Int

basicUnsafeSlice :: Int -> Int -> MVector s MaxD -> MVector s MaxD

basicOverlaps :: MVector s MaxD -> MVector s MaxD -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) MaxD)

basicInitialize :: PrimMonad m => MVector (PrimState m) MaxD -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> MaxD -> m (MVector (PrimState m) MaxD)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) MaxD -> Int -> m MaxD

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) MaxD -> Int -> MaxD -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) MaxD -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) MaxD -> MaxD -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) MaxD -> MVector (PrimState m) MaxD -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) MaxD -> MVector (PrimState m) MaxD -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) MaxD -> Int -> m (MVector (PrimState m) MaxD)

a ~ Double => StatMonoid MaxD a

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: MaxD -> a -> MaxD

singletonMonoid :: a -> MaxD

type Rep MaxD

Defined in Data.Monoid.Statistics.Numeric

type Rep MaxD = D1 ('MetaData "MaxD" "Data.Monoid.Statistics.Numeric" "monoid-statistics-1.1.1-Et52IJUUy4YDKplMeouIOs" 'True) (C1 ('MetaCons "MaxD" 'PrefixI 'True) (S1 ('MetaSel ('Just "calcMaxD") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

newtype Vector MaxD

Defined in Data.Monoid.Statistics.Numeric

newtype Vector MaxD = V_MaxD (Vector Double)

newtype MVector s MaxD

Defined in Data.Monoid.Statistics.Numeric

newtype MVector s MaxD = MV_MaxD (MVector s Double)

newtype MinD

Calculate minimum of sample of Doubles. For empty sample returns NaN. Any NaN encountered will be ignored.

Constructors

MinD

Fields

• calcMinD :: Double

Instances

Eq MinD

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: MinD -> MinD -> Bool

(/=) :: MinD -> MinD -> Bool

Data MinD

Defined in Data.Monoid.Statistics.Numeric

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MinD -> c MinD

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MinD

toConstr :: MinD -> Constr

dataTypeOf :: MinD -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MinD)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MinD)

gmapT :: (forall b. Data b => b -> b) -> MinD -> MinD

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MinD -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MinD -> r

gmapQ :: (forall d. Data d => d -> u) -> MinD -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MinD -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MinD -> m MinD

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MinD -> m MinD

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MinD -> m MinD

Show MinD

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> MinD -> ShowS

show :: MinD -> String

showList :: [MinD] -> ShowS

Generic MinD

Defined in Data.Monoid.Statistics.Numeric

Associated Types

type Rep MinD :: Type -> Type

Methods

from :: MinD -> Rep MinD x

to :: Rep MinD x -> MinD

Semigroup MinD

Defined in Data.Monoid.Statistics.Numeric

Methods

(<>) :: MinD -> MinD -> MinD

sconcat :: NonEmpty MinD -> MinD

stimes :: Integral b => b -> MinD -> MinD

Monoid MinD

Defined in Data.Monoid.Statistics.Numeric

Methods

mempty :: MinD

mappend :: MinD -> MinD -> MinD

mconcat :: [MinD] -> MinD

Unbox MinD

Defined in Data.Monoid.Statistics.Numeric

Vector Vector MinD

Defined in Data.Monoid.Statistics.Numeric

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) MinD -> m (Vector MinD)

basicUnsafeThaw :: PrimMonad m => Vector MinD -> m (Mutable Vector (PrimState m) MinD)

basicLength :: Vector MinD -> Int

basicUnsafeSlice :: Int -> Int -> Vector MinD -> Vector MinD

basicUnsafeIndexM :: Monad m => Vector MinD -> Int -> m MinD

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) MinD -> Vector MinD -> m ()

elemseq :: Vector MinD -> MinD -> b -> b

MVector MVector MinD

Defined in Data.Monoid.Statistics.Numeric

Methods

basicLength :: MVector s MinD -> Int

basicUnsafeSlice :: Int -> Int -> MVector s MinD -> MVector s MinD

basicOverlaps :: MVector s MinD -> MVector s MinD -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) MinD)

basicInitialize :: PrimMonad m => MVector (PrimState m) MinD -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> MinD -> m (MVector (PrimState m) MinD)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) MinD -> Int -> m MinD

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) MinD -> Int -> MinD -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) MinD -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) MinD -> MinD -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) MinD -> MVector (PrimState m) MinD -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) MinD -> MVector (PrimState m) MinD -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) MinD -> Int -> m (MVector (PrimState m) MinD)

a ~ Double => StatMonoid MinD a

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: MinD -> a -> MinD

singletonMonoid :: a -> MinD

type Rep MinD

Defined in Data.Monoid.Statistics.Numeric

type Rep MinD = D1 ('MetaData "MinD" "Data.Monoid.Statistics.Numeric" "monoid-statistics-1.1.1-Et52IJUUy4YDKplMeouIOs" 'True) (C1 ('MetaCons "MinD" 'PrefixI 'True) (S1 ('MetaSel ('Just "calcMinD") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))

newtype Vector MinD

Defined in Data.Monoid.Statistics.Numeric

newtype Vector MinD = V_MinD (Vector Double)

newtype MVector s MinD

Defined in Data.Monoid.Statistics.Numeric

newtype MVector s MinD = MV_MinD (MVector s Double)

Binomial trials

data BinomAcc

Accumulator for binomial trials.

Constructors

BinomAcc

Fields

• binomAccSuccess :: !Int
• binomAccTotal :: !Int

Instances

Eq BinomAcc

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: BinomAcc -> BinomAcc -> Bool

(/=) :: BinomAcc -> BinomAcc -> Bool

Data BinomAcc

Defined in Data.Monoid.Statistics.Numeric

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BinomAcc -> c BinomAcc

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BinomAcc

toConstr :: BinomAcc -> Constr

dataTypeOf :: BinomAcc -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BinomAcc)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BinomAcc)

gmapT :: (forall b. Data b => b -> b) -> BinomAcc -> BinomAcc

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BinomAcc -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BinomAcc -> r

gmapQ :: (forall d. Data d => d -> u) -> BinomAcc -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> BinomAcc -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BinomAcc -> m BinomAcc

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BinomAcc -> m BinomAcc

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BinomAcc -> m BinomAcc

Ord BinomAcc

Defined in Data.Monoid.Statistics.Numeric

Methods

compare :: BinomAcc -> BinomAcc -> Ordering

(<) :: BinomAcc -> BinomAcc -> Bool

(<=) :: BinomAcc -> BinomAcc -> Bool

(>) :: BinomAcc -> BinomAcc -> Bool

(>=) :: BinomAcc -> BinomAcc -> Bool

max :: BinomAcc -> BinomAcc -> BinomAcc

min :: BinomAcc -> BinomAcc -> BinomAcc

Show BinomAcc

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> BinomAcc -> ShowS

show :: BinomAcc -> String

showList :: [BinomAcc] -> ShowS

Generic BinomAcc

Defined in Data.Monoid.Statistics.Numeric

Associated Types

type Rep BinomAcc :: Type -> Type

Methods

from :: BinomAcc -> Rep BinomAcc x

to :: Rep BinomAcc x -> BinomAcc

Semigroup BinomAcc

Defined in Data.Monoid.Statistics.Numeric

Methods

(<>) :: BinomAcc -> BinomAcc -> BinomAcc

sconcat :: NonEmpty BinomAcc -> BinomAcc

stimes :: Integral b => b -> BinomAcc -> BinomAcc

Monoid BinomAcc

Defined in Data.Monoid.Statistics.Numeric

Methods

mempty :: BinomAcc

mappend :: BinomAcc -> BinomAcc -> BinomAcc

mconcat :: [BinomAcc] -> BinomAcc

Unbox BinomAcc

Defined in Data.Monoid.Statistics.Numeric

Vector Vector BinomAcc

Defined in Data.Monoid.Statistics.Numeric

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) BinomAcc -> m (Vector BinomAcc)

basicUnsafeThaw :: PrimMonad m => Vector BinomAcc -> m (Mutable Vector (PrimState m) BinomAcc)

basicLength :: Vector BinomAcc -> Int

basicUnsafeSlice :: Int -> Int -> Vector BinomAcc -> Vector BinomAcc

basicUnsafeIndexM :: Monad m => Vector BinomAcc -> Int -> m BinomAcc

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) BinomAcc -> Vector BinomAcc -> m ()

elemseq :: Vector BinomAcc -> BinomAcc -> b -> b

MVector MVector BinomAcc

Defined in Data.Monoid.Statistics.Numeric

Methods

basicLength :: MVector s BinomAcc -> Int

basicUnsafeSlice :: Int -> Int -> MVector s BinomAcc -> MVector s BinomAcc

basicOverlaps :: MVector s BinomAcc -> MVector s BinomAcc -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) BinomAcc)

basicInitialize :: PrimMonad m => MVector (PrimState m) BinomAcc -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> BinomAcc -> m (MVector (PrimState m) BinomAcc)

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) BinomAcc -> Int -> m BinomAcc

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) BinomAcc -> Int -> BinomAcc -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) BinomAcc -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) BinomAcc -> BinomAcc -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) BinomAcc -> MVector (PrimState m) BinomAcc -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) BinomAcc -> MVector (PrimState m) BinomAcc -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) BinomAcc -> Int -> m (MVector (PrimState m) BinomAcc)

StatMonoid BinomAcc Bool

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: BinomAcc -> Bool -> BinomAcc

singletonMonoid :: Bool -> BinomAcc

type Rep BinomAcc

Defined in Data.Monoid.Statistics.Numeric

type Rep BinomAcc = D1 ('MetaData "BinomAcc" "Data.Monoid.Statistics.Numeric" "monoid-statistics-1.1.1-Et52IJUUy4YDKplMeouIOs" 'False) (C1 ('MetaCons "BinomAcc" 'PrefixI 'True) (S1 ('MetaSel ('Just "binomAccSuccess") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "binomAccTotal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)))

newtype Vector BinomAcc

Defined in Data.Monoid.Statistics.Numeric

newtype Vector BinomAcc = V_BinomAcc (Vector (Int, Int))

newtype MVector s BinomAcc

Defined in Data.Monoid.Statistics.Numeric

newtype MVector s BinomAcc = MV_BinomAcc (MVector s (Int, Int))

asBinomAcc :: BinomAcc -> BinomAcc

Type restricted id

Rest

data Weighted w a

Value a weighted by weight w

Constructors

Weighted w a

Instances

(Unbox w, Unbox a) => Vector Vector (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (Weighted w a) -> m (Vector (Weighted w a))

basicUnsafeThaw :: PrimMonad m => Vector (Weighted w a) -> m (Mutable Vector (PrimState m) (Weighted w a))

basicLength :: Vector (Weighted w a) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (Weighted w a) -> Vector (Weighted w a)

basicUnsafeIndexM :: Monad m => Vector (Weighted w a) -> Int -> m (Weighted w a)

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (Weighted w a) -> Vector (Weighted w a) -> m ()

elemseq :: Vector (Weighted w a) -> Weighted w a -> b -> b

(Unbox w, Unbox a) => MVector MVector (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

Methods

basicLength :: MVector s (Weighted w a) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (Weighted w a) -> MVector s (Weighted w a)

basicOverlaps :: MVector s (Weighted w a) -> MVector s (Weighted w a) -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (Weighted w a))

basicInitialize :: PrimMonad m => MVector (PrimState m) (Weighted w a) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Weighted w a -> m (MVector (PrimState m) (Weighted w a))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (Weighted w a) -> Int -> m (Weighted w a)

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (Weighted w a) -> Int -> Weighted w a -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (Weighted w a) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (Weighted w a) -> Weighted w a -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (Weighted w a) -> MVector (PrimState m) (Weighted w a) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (Weighted w a) -> MVector (PrimState m) (Weighted w a) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (Weighted w a) -> Int -> m (MVector (PrimState m) (Weighted w a))

(Real w, Real a) => StatMonoid WMeanKBN (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: WMeanKBN -> Weighted w a -> WMeanKBN

singletonMonoid :: Weighted w a -> WMeanKBN

(Real w, Real a) => StatMonoid WMeanNaive (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

Methods

addValue :: WMeanNaive -> Weighted w a -> WMeanNaive

singletonMonoid :: Weighted w a -> WMeanNaive

Functor (Weighted w)

Defined in Data.Monoid.Statistics.Numeric

Methods

fmap :: (a -> b) -> Weighted w a -> Weighted w b

(<$) :: a -> Weighted w b -> Weighted w a

Foldable (Weighted w)

Defined in Data.Monoid.Statistics.Numeric

Methods

fold :: Monoid m => Weighted w m -> m

foldMap :: Monoid m => (a -> m) -> Weighted w a -> m

foldMap' :: Monoid m => (a -> m) -> Weighted w a -> m

foldr :: (a -> b -> b) -> b -> Weighted w a -> b

foldr' :: (a -> b -> b) -> b -> Weighted w a -> b

foldl :: (b -> a -> b) -> b -> Weighted w a -> b

foldl' :: (b -> a -> b) -> b -> Weighted w a -> b

foldr1 :: (a -> a -> a) -> Weighted w a -> a

foldl1 :: (a -> a -> a) -> Weighted w a -> a

toList :: Weighted w a -> [a]

null :: Weighted w a -> Bool

length :: Weighted w a -> Int

elem :: Eq a => a -> Weighted w a -> Bool

maximum :: Ord a => Weighted w a -> a

minimum :: Ord a => Weighted w a -> a

sum :: Num a => Weighted w a -> a

product :: Num a => Weighted w a -> a

Traversable (Weighted w)

Defined in Data.Monoid.Statistics.Numeric

Methods

traverse :: Applicative f => (a -> f b) -> Weighted w a -> f (Weighted w b)

sequenceA :: Applicative f => Weighted w (f a) -> f (Weighted w a)

mapM :: Monad m => (a -> m b) -> Weighted w a -> m (Weighted w b)

sequence :: Monad m => Weighted w (m a) -> m (Weighted w a)

(Eq w, Eq a) => Eq (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

Methods

(==) :: Weighted w a -> Weighted w a -> Bool

(/=) :: Weighted w a -> Weighted w a -> Bool

(Data w, Data a) => Data (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Weighted w a -> c (Weighted w a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Weighted w a)

toConstr :: Weighted w a -> Constr

dataTypeOf :: Weighted w a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Weighted w a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Weighted w a))

gmapT :: (forall b. Data b => b -> b) -> Weighted w a -> Weighted w a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Weighted w a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Weighted w a -> r

gmapQ :: (forall d. Data d => d -> u) -> Weighted w a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Weighted w a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Weighted w a -> m (Weighted w a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Weighted w a -> m (Weighted w a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Weighted w a -> m (Weighted w a)

(Ord w, Ord a) => Ord (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

Methods

compare :: Weighted w a -> Weighted w a -> Ordering

(<) :: Weighted w a -> Weighted w a -> Bool

(<=) :: Weighted w a -> Weighted w a -> Bool

(>) :: Weighted w a -> Weighted w a -> Bool

(>=) :: Weighted w a -> Weighted w a -> Bool

max :: Weighted w a -> Weighted w a -> Weighted w a

min :: Weighted w a -> Weighted w a -> Weighted w a

(Show w, Show a) => Show (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

Methods

showsPrec :: Int -> Weighted w a -> ShowS

show :: Weighted w a -> String

showList :: [Weighted w a] -> ShowS

Generic (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

Associated Types

type Rep (Weighted w a) :: Type -> Type

Methods

from :: Weighted w a -> Rep (Weighted w a) x

to :: Rep (Weighted w a) x -> Weighted w a

(Unbox w, Unbox a) => Unbox (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

newtype MVector s (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

newtype MVector s (Weighted w a) = MV_Weighted (MVector s (w, a))

type Rep (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

type Rep (Weighted w a) = D1 ('MetaData "Weighted" "Data.Monoid.Statistics.Numeric" "monoid-statistics-1.1.1-Et52IJUUy4YDKplMeouIOs" 'False) (C1 ('MetaCons "Weighted" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 w) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Vector (Weighted w a)

Defined in Data.Monoid.Statistics.Numeric

newtype Vector (Weighted w a) = V_Weighted (Vector (w, a))

References

• [Welford1962] Welford, B.P. (1962) Note on a method for calculating corrected sums of squares and products. Technometrics 4(3):419-420. http://www.jstor.org/stable/1266577
• [Chan1979] Chan, Tony F.; Golub, Gene H.; LeVeque, Randall J. (1979), Updating Formulae and a Pairwise Algorithm for Computing Sample Variances., Technical Report STAN-CS-79-773, Department of Computer Science, Stanford University. Page 4.