Safe Haskell	None
Language	Haskell2010

Statistics.Test.Types

Synopsis

data Test distr = Test {
- testSignificance :: !(PValue Double)
- testStatistics :: !Double
- testDistribution :: distr
}
isSignificant :: PValue Double -> Test d -> TestResult
data TestResult
- = Significant
- | NotSignificant
significant :: Bool -> TestResult
data PositionTest
- = SamplesDiffer
- | AGreater
- | BGreater

Documentation

data Test distr Source #

Result of statistical test.

Constructors

Test
Fields testSignificance :: !(PValue Double) Probability of getting value of test statistics at least as extreme as measured. testStatistics :: !Double Statistic used for test. testDistribution :: distr Distribution of test statistics if null hypothesis is correct.

Instances

Instances details

Functor Test Source #

Instance details

Defined in Statistics.Test.Types

Methods

fmap :: (a -> b) -> Test a -> Test b Source #

(<$) :: a -> Test b -> Test a Source #

FromJSON d => FromJSON (Test d) Source #

Instance details

Defined in Statistics.Test.Types

Methods

parseJSON :: Value -> Parser (Test d) Source #

parseJSONList :: Value -> Parser [Test d] Source #

omittedField :: Maybe (Test d) Source #

ToJSON d => ToJSON (Test d) Source #

Instance details

Defined in Statistics.Test.Types

Methods

toJSON :: Test d -> Value Source #

toEncoding :: Test d -> Encoding Source #

toJSONList :: [Test d] -> Value Source #

toEncodingList :: [Test d] -> Encoding Source #

omitField :: Test d -> Bool Source #

Binary d => Binary (Test d) Source #

Instance details

Defined in Statistics.Test.Types

Methods

put :: Test d -> Put Source #

get :: Get (Test d) Source #

putList :: [Test d] -> Put Source #

NFData d => NFData (Test d) Source #

Instance details

Defined in Statistics.Test.Types

Methods

rnf :: Test d -> () Source #

Data distr => Data (Test distr) Source #

Instance details

Defined in Statistics.Test.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Test distr -> c (Test distr) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Test distr) Source #

toConstr :: Test distr -> Constr Source #

dataTypeOf :: Test distr -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Test distr)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Test distr)) Source #

gmapT :: (forall b. Data b => b -> b) -> Test distr -> Test distr Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Test distr -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Test distr -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Test distr -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Test distr -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Test distr -> m (Test distr) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Test distr -> m (Test distr) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Test distr -> m (Test distr) Source #

Generic (Test distr) Source #

Instance details

Defined in Statistics.Test.Types

Associated Types

type Rep (Test distr)

Instance details

Defined in Statistics.Test.Types

type Rep (Test distr) = D1 ('MetaData "Test" "Statistics.Test.Types" "statistics-0.16.4.0-CwUrX7BVOPjWfNRlOxuPU" 'False) (C1 ('MetaCons "Test" 'PrefixI 'True) (S1 ('MetaSel ('Just "testSignificance") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PValue Double)) :*: (S1 ('MetaSel ('Just "testStatistics") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "testDistribution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 distr))))

Methods

from :: Test distr -> Rep (Test distr) x Source #

to :: Rep (Test distr) x -> Test distr Source #

Show distr => Show (Test distr) Source #

Instance details

Defined in Statistics.Test.Types

Methods

showsPrec :: Int -> Test distr -> ShowS Source #

show :: Test distr -> String Source #

showList :: [Test distr] -> ShowS Source #

Eq distr => Eq (Test distr) Source #

Instance details

Defined in Statistics.Test.Types

Methods

(==) :: Test distr -> Test distr -> Bool Source #

(/=) :: Test distr -> Test distr -> Bool Source #

Ord distr => Ord (Test distr) Source #

Instance details

Defined in Statistics.Test.Types

Methods

compare :: Test distr -> Test distr -> Ordering Source #

(<) :: Test distr -> Test distr -> Bool Source #

(<=) :: Test distr -> Test distr -> Bool Source #

(>) :: Test distr -> Test distr -> Bool Source #

(>=) :: Test distr -> Test distr -> Bool Source #

max :: Test distr -> Test distr -> Test distr Source #

min :: Test distr -> Test distr -> Test distr Source #

type Rep (Test distr) Source #

Instance details

Defined in Statistics.Test.Types

type Rep (Test distr) = D1 ('MetaData "Test" "Statistics.Test.Types" "statistics-0.16.4.0-CwUrX7BVOPjWfNRlOxuPU" 'False) (C1 ('MetaCons "Test" 'PrefixI 'True) (S1 ('MetaSel ('Just "testSignificance") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PValue Double)) :*: (S1 ('MetaSel ('Just "testStatistics") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Double) :*: S1 ('MetaSel ('Just "testDistribution") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 distr))))

isSignificant :: PValue Double -> Test d -> TestResult Source #

Check whether test is significant for given p-value.

data TestResult Source #

Result of hypothesis testing

Constructors

Significant	Null hypothesis should be rejected
NotSignificant	Data is compatible with hypothesis

Instances

Instances details

FromJSON TestResult Source #

Instance details

Defined in Statistics.Test.Types

Methods

parseJSON :: Value -> Parser TestResult Source #

parseJSONList :: Value -> Parser [TestResult] Source #

omittedField :: Maybe TestResult Source #

ToJSON TestResult Source #

Instance details

Defined in Statistics.Test.Types

Methods

toJSON :: TestResult -> Value Source #

toEncoding :: TestResult -> Encoding Source #

toJSONList :: [TestResult] -> Value Source #

toEncodingList :: [TestResult] -> Encoding Source #

omitField :: TestResult -> Bool Source #

Binary TestResult Source #

Instance details

Defined in Statistics.Test.Types

Methods

put :: TestResult -> Put Source #

get :: Get TestResult Source #

putList :: [TestResult] -> Put Source #

NFData TestResult Source #

Instance details

Defined in Statistics.Test.Types

Methods

rnf :: TestResult -> () Source #

Data TestResult Source #

Instance details

Defined in Statistics.Test.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TestResult -> c TestResult Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TestResult Source #

toConstr :: TestResult -> Constr Source #

dataTypeOf :: TestResult -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TestResult) Source #

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

gmapT :: (forall b. Data b => b -> b) -> TestResult -> TestResult Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TestResult -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TestResult -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> TestResult -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TestResult -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TestResult -> m TestResult Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TestResult -> m TestResult Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TestResult -> m TestResult Source #

Generic TestResult Source #

Instance details

Defined in Statistics.Test.Types

Associated Types

type Rep TestResult
Instance details Defined in Statistics.Test.Types type Rep TestResult = D1 ('MetaData "TestResult" "Statistics.Test.Types" "statistics-0.16.4.0-CwUrX7BVOPjWfNRlOxuPU" 'False) (C1 ('MetaCons "Significant" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotSignificant" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: TestResult -> Rep TestResult x Source #

to :: Rep TestResult x -> TestResult Source #

Show TestResult Source #

Instance details

Defined in Statistics.Test.Types

Methods

showsPrec :: Int -> TestResult -> ShowS Source #

show :: TestResult -> String Source #

showList :: [TestResult] -> ShowS Source #

Eq TestResult Source #

Instance details

Defined in Statistics.Test.Types

Methods

(==) :: TestResult -> TestResult -> Bool Source #

(/=) :: TestResult -> TestResult -> Bool Source #

Ord TestResult Source #

Instance details

Defined in Statistics.Test.Types

Methods

compare :: TestResult -> TestResult -> Ordering Source #

(<) :: TestResult -> TestResult -> Bool Source #

(<=) :: TestResult -> TestResult -> Bool Source #

(>) :: TestResult -> TestResult -> Bool Source #

(>=) :: TestResult -> TestResult -> Bool Source #

max :: TestResult -> TestResult -> TestResult Source #

min :: TestResult -> TestResult -> TestResult Source #

type Rep TestResult Source #

Instance details

Defined in Statistics.Test.Types

type Rep TestResult = D1 ('MetaData "TestResult" "Statistics.Test.Types" "statistics-0.16.4.0-CwUrX7BVOPjWfNRlOxuPU" 'False) (C1 ('MetaCons "Significant" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NotSignificant" 'PrefixI 'False) (U1 :: Type -> Type))

significant :: Bool -> TestResult Source #

significant if parameter is True, not significant otherwise

data PositionTest Source #

Test type for test which compare positional (mean,median etc.) information of samples.

Constructors

SamplesDiffer	Test whether samples differ in position. Null hypothesis is samples are not different
AGreater	Test if first sample (A) is larger than second (B). Null hypothesis is first sample is not larger than second.
BGreater	Test if second sample is larger than first.

Instances

Instances details

FromJSON PositionTest Source #

Instance details

Defined in Statistics.Test.Types

Methods

parseJSON :: Value -> Parser PositionTest Source #

parseJSONList :: Value -> Parser [PositionTest] Source #

omittedField :: Maybe PositionTest Source #

ToJSON PositionTest Source #

Instance details

Defined in Statistics.Test.Types

Methods

toJSON :: PositionTest -> Value Source #

toEncoding :: PositionTest -> Encoding Source #

toJSONList :: [PositionTest] -> Value Source #

toEncodingList :: [PositionTest] -> Encoding Source #

omitField :: PositionTest -> Bool Source #

Binary PositionTest Source #

Instance details

Defined in Statistics.Test.Types

Methods

put :: PositionTest -> Put Source #

get :: Get PositionTest Source #

putList :: [PositionTest] -> Put Source #

NFData PositionTest Source #

Instance details

Defined in Statistics.Test.Types

Methods

rnf :: PositionTest -> () Source #

Data PositionTest Source #

Instance details

Defined in Statistics.Test.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PositionTest -> c PositionTest Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PositionTest Source #

toConstr :: PositionTest -> Constr Source #

dataTypeOf :: PositionTest -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PositionTest) Source #

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

gmapT :: (forall b. Data b => b -> b) -> PositionTest -> PositionTest Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PositionTest -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PositionTest -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> PositionTest -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PositionTest -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PositionTest -> m PositionTest Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PositionTest -> m PositionTest Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PositionTest -> m PositionTest Source #

Generic PositionTest Source #

Instance details

Defined in Statistics.Test.Types

Associated Types

type Rep PositionTest
Instance details Defined in Statistics.Test.Types type Rep PositionTest = D1 ('MetaData "PositionTest" "Statistics.Test.Types" "statistics-0.16.4.0-CwUrX7BVOPjWfNRlOxuPU" 'False) (C1 ('MetaCons "SamplesDiffer" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AGreater" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BGreater" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: PositionTest -> Rep PositionTest x Source #

to :: Rep PositionTest x -> PositionTest Source #

Show PositionTest Source #

Instance details

Defined in Statistics.Test.Types

Methods

showsPrec :: Int -> PositionTest -> ShowS Source #

show :: PositionTest -> String Source #

showList :: [PositionTest] -> ShowS Source #

Eq PositionTest Source #

Instance details

Defined in Statistics.Test.Types

Methods

(==) :: PositionTest -> PositionTest -> Bool Source #

(/=) :: PositionTest -> PositionTest -> Bool Source #

Ord PositionTest Source #

Instance details

Defined in Statistics.Test.Types

Methods

compare :: PositionTest -> PositionTest -> Ordering Source #

(<) :: PositionTest -> PositionTest -> Bool Source #

(<=) :: PositionTest -> PositionTest -> Bool Source #

(>) :: PositionTest -> PositionTest -> Bool Source #

(>=) :: PositionTest -> PositionTest -> Bool Source #

max :: PositionTest -> PositionTest -> PositionTest Source #

min :: PositionTest -> PositionTest -> PositionTest Source #

type Rep PositionTest Source #

Instance details

Defined in Statistics.Test.Types

type Rep PositionTest = D1 ('MetaData "PositionTest" "Statistics.Test.Types" "statistics-0.16.4.0-CwUrX7BVOPjWfNRlOxuPU" 'False) (C1 ('MetaCons "SamplesDiffer" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AGreater" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BGreater" 'PrefixI 'False) (U1 :: Type -> Type)))