Data.Pass

Contents

• Evaluation
• Single pass calculations
  • Embedding single pass calculations
• Multipass calculations
• Input conditioning
• L-Estimators
  • Quantile estimators
  • Robust statistics based on L-estimators
  • Acceleration for non-robust L-estimators
• Implementation Details
  • Classes required for user-defined calculation types

Description

Synopsis

• class Eval k where
  • eval :: k a b -> Int -> [a] -> b
• (@@) :: (Eval k, Foldable f) => k a b -> f a -> b
• class Naive k where
  • naive :: k a b -> Int -> [a] -> b
• (@@@) :: (Naive k, Foldable f) => k a b -> f a -> b
• data Pass k a b where
  • Pass :: (Typeable m, Binary m, Monoid m) => (m -> o) -> Thrist k i m -> Pass k i o
  • L :: (n -> o) -> L n n -> Thrist k i n -> Pass k i o
  • Ap :: (b -> c) -> Pass k i (a -> b) -> Pass k i a -> Pass k i c
  • Pure :: a -> Pass k i a
• class Passable t where
  • pass :: (Eval k, Typeable b, Binary b, Monoid b) => t k a b -> Pass k a b
• class Prep t => Step t where
  • step :: Pass k a b -> t k a b
• data Calc k a b where
  • Stop :: b -> Calc k a b
  • :& :: Pass k a b -> (b -> Calc k a c) -> Calc k a c
  • Rank :: Ord b => Thrist k a b -> ([Int] -> Calc k a c) -> Calc k a c
• class Calculation t where
  • calc :: (Eval k, Typeable b, Binary b, Monoid b) => t k a b -> Calc k a b
• class Prep t where
  • prep :: k a b -> t k b c -> t k a c
• data L a b where
  • LTotal :: (Num a, Ord a) => L a a
  • LMean :: (Fractional a, Ord a) => L a a
  • LScale :: (Fractional a, Ord a) => L a a
  • NthLargest :: (Num a, Ord a) => Int -> L a a
  • NthSmallest :: (Num a, Ord a) => Int -> L a a
  • QuantileBy :: (Fractional a, Ord a) => Estimator -> Rational -> L a a
  • Winsorized :: (Fractional b, Ord b) => Rational -> L a b -> L a b
  • Trimmed :: (Fractional b, Ord b) => Rational -> L a b -> L a b
  • Jackknifed :: (Fractional b, Ord b) => L a b -> L a b
  • :* :: Fractional b => Rational -> L a b -> L a b
  • :+ :: Num b => L a b -> L a b -> L a b
• (@#) :: Num a => L a a -> Int -> [a]
• breakdown :: (Num b, Eq b) => L a b -> Int
• iqm :: (Robust l, Fractional a, Ord a) => l a a
• idm :: (Robust l, Fractional a, Ord a) => l a a
• data Estimator
  • = R1
  • | R2
  • | R3
  • | R4
  • | R5
  • | R6
  • | R7
  • | R8
  • | R9
  • | R10
  • | HD
• class By k where
  • by :: k a b -> Estimator -> k a b
• class Robust l where
  • robust :: L a b -> l a b
  • winsorized :: (Fractional b, Ord b) => Rational -> L a b -> l a b
  • trimmed :: (Fractional b, Ord b) => Rational -> L a b -> l a b
  • jackknifed :: (Fractional b, Ord b) => L a b -> l a b
  • lscale :: (Fractional a, Ord a) => l a a
  • quantile :: (Fractional a, Ord a) => Rational -> l a a
  • midhinge :: (Fractional a, Ord a) => l a a
  • trimean :: (Fractional a, Ord a) => l a a
  • iqr :: (Fractional a, Ord a) => l a a
  • idr :: (Fractional a, Ord a) => l a a
• median :: (Robust l, Fractional a, Ord a) => l a a
• tercile :: (Robust l, Fractional a, Ord a) => Rational -> l a a
• t1 :: (Robust l, Fractional a, Ord a) => l a a
• t2 :: (Robust l, Fractional a, Ord a) => l a a
• quartile :: (Robust l, Fractional a, Ord a) => Rational -> l a a
• q1 :: (Robust l, Fractional a, Ord a) => l a a
• q2 :: (Robust l, Fractional a, Ord a) => l a a
• q3 :: (Robust l, Fractional a, Ord a) => l a a
• quintile :: (Robust l, Fractional a, Ord a) => Rational -> l a a
• qu1 :: (Robust l, Fractional a, Ord a) => l a a
• qu2 :: (Robust l, Fractional a, Ord a) => l a a
• qu3 :: (Robust l, Fractional a, Ord a) => l a a
• qu4 :: (Robust l, Fractional a, Ord a) => l a a
• percentile :: (Robust l, Fractional a, Ord a) => Rational -> l a a
• permille :: (Robust l, Fractional a, Ord a) => Rational -> l a a
• class Accelerated k where
  • mean :: k Double Double
  • total :: k Double Double
  • largest :: k Double Double
  • smallest :: k Double Double
  • midrange :: k Double Double
• data Thrist k a b where
  • Nil :: Thrist k a a
  • :- :: k b c -> Thrist k a b -> Thrist k a c
• thrist :: k a b -> Thrist k a b
• class Trans t where
  • trans :: (Binary b, Monoid b, Typeable b) => k a b -> t k a b
• class Named k => Call k where
  • call :: k a b -> a -> b
• class Typeable2 k => Named k where
  • showsFun :: Int -> k a b -> String -> String
  • putFun :: k a b -> Put
  • hashFunWithSalt :: Int -> k a b -> Int
  • equalFun :: k a b -> k c d -> Bool
• class Accelerant k where
  • meanPass :: Pass k Double Double
  • totalPass :: Pass k Double Double
  • largestPass :: Pass k Double Double
  • smallestPass :: Pass k Double Double
  • midrangePass :: Pass k Double Double

Evaluation

Single pass calculations

Embedding single pass calculations

Multipass calculations

Input conditioning

L-Estimators

Quantile estimators

Robust statistics based on L-estimators

Acceleration for non-robust L-estimators

Implementation Details

Classes required for user-defined calculation types