criterion-1.6.4.0: Robust, reliable performance measurement and analysis
Copyright(c) 2009-2014 Bryan O'Sullivan
LicenseBSD-style
Maintainerbos@serpentine.com
Stabilityexperimental
PortabilityGHC
Safe HaskellTrustworthy
LanguageHaskell2010

Criterion.Types

Description

Types for benchmarking.

The core type is Benchmarkable, which admits both pure functions and IO actions.

For a pure function of type a -> b, the benchmarking harness calls this function repeatedly, each time with a different Int64 argument (the number of times to run the function in a loop), and reduces the result the function returns to weak head normal form.

For an action of type IO a, the benchmarking harness calls the action repeatedly, but does not reduce the result.

Synopsis

Configuration

data Config Source #

Top-level benchmarking configuration.

Constructors

Config 

Fields

  • confInterval :: CL Double

    Confidence interval for bootstrap estimation (greater than 0, less than 1).

  • timeLimit :: Double

    Number of seconds to run a single benchmark. (In practice, execution time will very slightly exceed this limit.)

  • resamples :: Int

    Number of resamples to perform when bootstrapping.

  • regressions :: [([String], String)]

    Regressions to perform.

  • rawDataFile :: Maybe FilePath

    File to write binary measurement and analysis data to. If not specified, this will be a temporary file.

  • reportFile :: Maybe FilePath

    File to write report output to, with template expanded.

  • csvFile :: Maybe FilePath

    File to write CSV summary to.

  • jsonFile :: Maybe FilePath

    File to write JSON-formatted results to.

  • junitFile :: Maybe FilePath

    File to write JUnit-compatible XML results to.

  • verbosity :: Verbosity

    Verbosity level to use when running and analysing benchmarks.

  • template :: FilePath

    Template file to use if writing a report.

Instances

Instances details
Data Config Source # 
Instance details

Defined in Criterion.Types

Methods

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

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

toConstr :: Config -> Constr

dataTypeOf :: Config -> DataType

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

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

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

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

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

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

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

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

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

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

Generic Config Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep Config 
Instance details

Defined in Criterion.Types

type Rep Config = D1 ('MetaData "Config" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Config" 'PrefixI 'True) (((S1 ('MetaSel ('Just "confInterval") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CL Double)) :*: S1 ('MetaSel ('Just "timeLimit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :*: (S1 ('MetaSel ('Just "resamples") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "regressions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [([String], String)]) :*: S1 ('MetaSel ('Just "rawDataFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath))))) :*: ((S1 ('MetaSel ('Just "reportFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)) :*: (S1 ('MetaSel ('Just "csvFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)) :*: S1 ('MetaSel ('Just "jsonFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)))) :*: (S1 ('MetaSel ('Just "junitFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)) :*: (S1 ('MetaSel ('Just "verbosity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Verbosity) :*: S1 ('MetaSel ('Just "template") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath))))))

Methods

from :: Config -> Rep Config x

to :: Rep Config x -> Config

Read Config Source # 
Instance details

Defined in Criterion.Types

Methods

readsPrec :: Int -> ReadS Config

readList :: ReadS [Config]

readPrec :: ReadPrec Config

readListPrec :: ReadPrec [Config]

Show Config Source # 
Instance details

Defined in Criterion.Types

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

Eq Config Source # 
Instance details

Defined in Criterion.Types

Methods

(==) :: Config -> Config -> Bool

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

MonadReader Config Criterion 
Instance details

Defined in Criterion.Monad.Internal

Methods

ask :: Criterion Config

local :: (Config -> Config) -> Criterion a -> Criterion a

reader :: (Config -> a) -> Criterion a

type Rep Config Source # 
Instance details

Defined in Criterion.Types

type Rep Config = D1 ('MetaData "Config" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Config" 'PrefixI 'True) (((S1 ('MetaSel ('Just "confInterval") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CL Double)) :*: S1 ('MetaSel ('Just "timeLimit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :*: (S1 ('MetaSel ('Just "resamples") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "regressions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [([String], String)]) :*: S1 ('MetaSel ('Just "rawDataFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath))))) :*: ((S1 ('MetaSel ('Just "reportFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)) :*: (S1 ('MetaSel ('Just "csvFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)) :*: S1 ('MetaSel ('Just "jsonFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)))) :*: (S1 ('MetaSel ('Just "junitFile") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)) :*: (S1 ('MetaSel ('Just "verbosity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Verbosity) :*: S1 ('MetaSel ('Just "template") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath))))))

data Verbosity Source #

Control the amount of information displayed.

Constructors

Quiet 
Normal 
Verbose 

Instances

Instances details
Data Verbosity Source # 
Instance details

Defined in Criterion.Types

Methods

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

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

toConstr :: Verbosity -> Constr

dataTypeOf :: Verbosity -> DataType

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

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

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

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

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

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

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

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

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

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

Bounded Verbosity Source # 
Instance details

Defined in Criterion.Types

Enum Verbosity Source # 
Instance details

Defined in Criterion.Types

Generic Verbosity Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep Verbosity 
Instance details

Defined in Criterion.Types

type Rep Verbosity = D1 ('MetaData "Verbosity" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Quiet" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Normal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Verbose" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: Verbosity -> Rep Verbosity x

to :: Rep Verbosity x -> Verbosity

Read Verbosity Source # 
Instance details

Defined in Criterion.Types

Methods

readsPrec :: Int -> ReadS Verbosity

readList :: ReadS [Verbosity]

readPrec :: ReadPrec Verbosity

readListPrec :: ReadPrec [Verbosity]

Show Verbosity Source # 
Instance details

Defined in Criterion.Types

Methods

showsPrec :: Int -> Verbosity -> ShowS

show :: Verbosity -> String

showList :: [Verbosity] -> ShowS

Eq Verbosity Source # 
Instance details

Defined in Criterion.Types

Methods

(==) :: Verbosity -> Verbosity -> Bool

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

Ord Verbosity Source # 
Instance details

Defined in Criterion.Types

Methods

compare :: Verbosity -> Verbosity -> Ordering

(<) :: Verbosity -> Verbosity -> Bool

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

(>) :: Verbosity -> Verbosity -> Bool

(>=) :: Verbosity -> Verbosity -> Bool

max :: Verbosity -> Verbosity -> Verbosity

min :: Verbosity -> Verbosity -> Verbosity

type Rep Verbosity Source # 
Instance details

Defined in Criterion.Types

type Rep Verbosity = D1 ('MetaData "Verbosity" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Quiet" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Normal" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Verbose" 'PrefixI 'False) (U1 :: Type -> Type)))

Benchmark descriptions

data Benchmarkable #

Constructors

NFData a => Benchmarkable 

Fields

data Benchmark where #

Constructors

Environment :: forall env a. NFData env => IO env -> (env -> IO a) -> (env -> Benchmark) -> Benchmark 
Benchmark :: String -> Benchmarkable -> Benchmark 
BenchGroup :: String -> [Benchmark] -> Benchmark 

Instances

Instances details
Show Benchmark 
Instance details

Defined in Criterion.Measurement.Types

Methods

showsPrec :: Int -> Benchmark -> ShowS

show :: Benchmark -> String

showList :: [Benchmark] -> ShowS

Measurements

data Measured #

Constructors

Measured 

Fields

Instances

Instances details
FromJSON Measured 
Instance details

Defined in Criterion.Measurement.Types

Methods

parseJSON :: Value -> Parser Measured

parseJSONList :: Value -> Parser [Measured]

omittedField :: Maybe Measured

ToJSON Measured 
Instance details

Defined in Criterion.Measurement.Types

Methods

toJSON :: Measured -> Value

toEncoding :: Measured -> Encoding

toJSONList :: [Measured] -> Value

toEncodingList :: [Measured] -> Encoding

omitField :: Measured -> Bool

Data Measured 
Instance details

Defined in Criterion.Measurement.Types

Methods

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

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

toConstr :: Measured -> Constr

dataTypeOf :: Measured -> DataType

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

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

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

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

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

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

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

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

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

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

Generic Measured 
Instance details

Defined in Criterion.Measurement.Types

Associated Types

type Rep Measured 
Instance details

Defined in Criterion.Measurement.Types

type Rep Measured = D1 ('MetaData "Measured" "Criterion.Measurement.Types" "criterion-measurement-0.2.3.0-KFh2Jdy2lNJE13YZ0mEgdO" 'False) (C1 ('MetaCons "Measured" 'PrefixI 'True) (((S1 ('MetaSel ('Just "measTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double) :*: (S1 ('MetaSel ('Just "measCpuTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double) :*: S1 ('MetaSel ('Just "measCycles") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64))) :*: (S1 ('MetaSel ('Just "measIters") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: (S1 ('MetaSel ('Just "measAllocated") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: S1 ('MetaSel ('Just "measPeakMbAllocated") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64)))) :*: ((S1 ('MetaSel ('Just "measNumGcs") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: (S1 ('MetaSel ('Just "measBytesCopied") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: S1 ('MetaSel ('Just "measMutatorWallSeconds") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double))) :*: (S1 ('MetaSel ('Just "measMutatorCpuSeconds") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double) :*: (S1 ('MetaSel ('Just "measGcWallSeconds") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double) :*: S1 ('MetaSel ('Just "measGcCpuSeconds") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double))))))

Methods

from :: Measured -> Rep Measured x

to :: Rep Measured x -> Measured

Read Measured 
Instance details

Defined in Criterion.Measurement.Types

Methods

readsPrec :: Int -> ReadS Measured

readList :: ReadS [Measured]

readPrec :: ReadPrec Measured

readListPrec :: ReadPrec [Measured]

Show Measured 
Instance details

Defined in Criterion.Measurement.Types

Methods

showsPrec :: Int -> Measured -> ShowS

show :: Measured -> String

showList :: [Measured] -> ShowS

Binary Measured 
Instance details

Defined in Criterion.Measurement.Types

Methods

put :: Measured -> Put

get :: Get Measured

putList :: [Measured] -> Put

NFData Measured 
Instance details

Defined in Criterion.Measurement.Types

Methods

rnf :: Measured -> ()

Eq Measured 
Instance details

Defined in Criterion.Measurement.Types

Methods

(==) :: Measured -> Measured -> Bool

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

type Rep Measured 
Instance details

Defined in Criterion.Measurement.Types

type Rep Measured = D1 ('MetaData "Measured" "Criterion.Measurement.Types" "criterion-measurement-0.2.3.0-KFh2Jdy2lNJE13YZ0mEgdO" 'False) (C1 ('MetaCons "Measured" 'PrefixI 'True) (((S1 ('MetaSel ('Just "measTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double) :*: (S1 ('MetaSel ('Just "measCpuTime") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double) :*: S1 ('MetaSel ('Just "measCycles") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64))) :*: (S1 ('MetaSel ('Just "measIters") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: (S1 ('MetaSel ('Just "measAllocated") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: S1 ('MetaSel ('Just "measPeakMbAllocated") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64)))) :*: ((S1 ('MetaSel ('Just "measNumGcs") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: (S1 ('MetaSel ('Just "measBytesCopied") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int64) :*: S1 ('MetaSel ('Just "measMutatorWallSeconds") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double))) :*: (S1 ('MetaSel ('Just "measMutatorCpuSeconds") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double) :*: (S1 ('MetaSel ('Just "measGcWallSeconds") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double) :*: S1 ('MetaSel ('Just "measGcCpuSeconds") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Double))))))

fromInt :: Int64 -> Maybe Int64 #

toInt :: Maybe Int64 -> Int64 #

fromDouble :: Double -> Maybe Double #

toDouble :: Maybe Double -> Double #

measureAccessors :: Map String (Measured -> Maybe Double, String) #

measureKeys :: [String] #

measure :: Unbox a => (Measured -> a) -> Vector Measured -> Vector a #

Benchmark construction

env :: NFData env => IO env -> (env -> Benchmark) -> Benchmark #

envWithCleanup :: NFData env => IO env -> (env -> IO a) -> (env -> Benchmark) -> Benchmark #

perBatchEnv :: (NFData env, NFData b) => (Int64 -> IO env) -> (env -> IO b) -> Benchmarkable #

perBatchEnvWithCleanup :: (NFData env, NFData b) => (Int64 -> IO env) -> (Int64 -> env -> IO ()) -> (env -> IO b) -> Benchmarkable #

perRunEnv :: (NFData env, NFData b) => IO env -> (env -> IO b) -> Benchmarkable #

perRunEnvWithCleanup :: (NFData env, NFData b) => IO env -> (env -> IO ()) -> (env -> IO b) -> Benchmarkable #

toBenchmarkable :: (Int64 -> IO ()) -> Benchmarkable #

bench :: String -> Benchmarkable -> Benchmark #

bgroup :: String -> [Benchmark] -> Benchmark #

addPrefix :: String -> String -> String #

benchNames :: Benchmark -> [String] #

Evaluation control

nf :: NFData b => (a -> b) -> a -> Benchmarkable #

whnf :: (a -> b) -> a -> Benchmarkable #

nfIO :: NFData a => IO a -> Benchmarkable #

nfAppIO :: NFData b => (a -> IO b) -> a -> Benchmarkable #

whnfAppIO :: (a -> IO b) -> a -> Benchmarkable #

Result types

data Outliers Source #

Outliers from sample data, calculated using the boxplot technique.

Constructors

Outliers 

Fields

  • samplesSeen :: !Int64
     
  • lowSevere :: !Int64

    More than 3 times the interquartile range (IQR) below the first quartile.

  • lowMild :: !Int64

    Between 1.5 and 3 times the IQR below the first quartile.

  • highMild :: !Int64

    Between 1.5 and 3 times the IQR above the third quartile.

  • highSevere :: !Int64

    More than 3 times the IQR above the third quartile.

Instances

Instances details
FromJSON Outliers Source # 
Instance details

Defined in Criterion.Types

Methods

parseJSON :: Value -> Parser Outliers

parseJSONList :: Value -> Parser [Outliers]

omittedField :: Maybe Outliers

ToJSON Outliers Source # 
Instance details

Defined in Criterion.Types

Methods

toJSON :: Outliers -> Value

toEncoding :: Outliers -> Encoding

toJSONList :: [Outliers] -> Value

toEncodingList :: [Outliers] -> Encoding

omitField :: Outliers -> Bool

Data Outliers Source # 
Instance details

Defined in Criterion.Types

Methods

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

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

toConstr :: Outliers -> Constr

dataTypeOf :: Outliers -> DataType

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

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

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

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

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

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

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

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

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

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

Monoid Outliers Source # 
Instance details

Defined in Criterion.Types

Semigroup Outliers Source # 
Instance details

Defined in Criterion.Types

Methods

(<>) :: Outliers -> Outliers -> Outliers

sconcat :: NonEmpty Outliers -> Outliers

stimes :: Integral b => b -> Outliers -> Outliers

Generic Outliers Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep Outliers 
Instance details

Defined in Criterion.Types

type Rep Outliers = D1 ('MetaData "Outliers" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Outliers" 'PrefixI 'True) ((S1 ('MetaSel ('Just "samplesSeen") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Just "lowSevere") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64)) :*: (S1 ('MetaSel ('Just "lowMild") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: (S1 ('MetaSel ('Just "highMild") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Just "highSevere") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64)))))

Methods

from :: Outliers -> Rep Outliers x

to :: Rep Outliers x -> Outliers

Read Outliers Source # 
Instance details

Defined in Criterion.Types

Methods

readsPrec :: Int -> ReadS Outliers

readList :: ReadS [Outliers]

readPrec :: ReadPrec Outliers

readListPrec :: ReadPrec [Outliers]

Show Outliers Source # 
Instance details

Defined in Criterion.Types

Methods

showsPrec :: Int -> Outliers -> ShowS

show :: Outliers -> String

showList :: [Outliers] -> ShowS

Binary Outliers Source # 
Instance details

Defined in Criterion.Types

Methods

put :: Outliers -> Put

get :: Get Outliers

putList :: [Outliers] -> Put

NFData Outliers Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: Outliers -> ()

Eq Outliers Source # 
Instance details

Defined in Criterion.Types

Methods

(==) :: Outliers -> Outliers -> Bool

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

type Rep Outliers Source # 
Instance details

Defined in Criterion.Types

type Rep Outliers = D1 ('MetaData "Outliers" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Outliers" 'PrefixI 'True) ((S1 ('MetaSel ('Just "samplesSeen") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Just "lowSevere") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64)) :*: (S1 ('MetaSel ('Just "lowMild") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: (S1 ('MetaSel ('Just "highMild") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64) :*: S1 ('MetaSel ('Just "highSevere") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int64)))))

data OutlierEffect Source #

A description of the extent to which outliers in the sample data affect the sample mean and standard deviation.

Constructors

Unaffected

Less than 1% effect.

Slight

Between 1% and 10%.

Moderate

Between 10% and 50%.

Severe

Above 50% (i.e. measurements are useless).

Instances

Instances details
FromJSON OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Methods

parseJSON :: Value -> Parser OutlierEffect

parseJSONList :: Value -> Parser [OutlierEffect]

omittedField :: Maybe OutlierEffect

ToJSON OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Methods

toJSON :: OutlierEffect -> Value

toEncoding :: OutlierEffect -> Encoding

toJSONList :: [OutlierEffect] -> Value

toEncodingList :: [OutlierEffect] -> Encoding

omitField :: OutlierEffect -> Bool

Data OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Methods

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

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

toConstr :: OutlierEffect -> Constr

dataTypeOf :: OutlierEffect -> DataType

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

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

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

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

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

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

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

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

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

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

Generic OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep OutlierEffect 
Instance details

Defined in Criterion.Types

type Rep OutlierEffect = D1 ('MetaData "OutlierEffect" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) ((C1 ('MetaCons "Unaffected" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Slight" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Moderate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Severe" 'PrefixI 'False) (U1 :: Type -> Type)))
Read OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Methods

readsPrec :: Int -> ReadS OutlierEffect

readList :: ReadS [OutlierEffect]

readPrec :: ReadPrec OutlierEffect

readListPrec :: ReadPrec [OutlierEffect]

Show OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Methods

showsPrec :: Int -> OutlierEffect -> ShowS

show :: OutlierEffect -> String

showList :: [OutlierEffect] -> ShowS

Binary OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Methods

put :: OutlierEffect -> Put

get :: Get OutlierEffect

putList :: [OutlierEffect] -> Put

NFData OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: OutlierEffect -> ()

Eq OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Ord OutlierEffect Source # 
Instance details

Defined in Criterion.Types

type Rep OutlierEffect Source # 
Instance details

Defined in Criterion.Types

type Rep OutlierEffect = D1 ('MetaData "OutlierEffect" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) ((C1 ('MetaCons "Unaffected" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Slight" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Moderate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Severe" 'PrefixI 'False) (U1 :: Type -> Type)))

data OutlierVariance Source #

Analysis of the extent to which outliers in a sample affect its standard deviation (and to some extent, its mean).

Constructors

OutlierVariance 

Fields

  • ovEffect :: OutlierEffect

    Qualitative description of effect.

  • ovDesc :: String

    Brief textual description of effect.

  • ovFraction :: Double

    Quantitative description of effect (a fraction between 0 and 1).

Instances

Instances details
FromJSON OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Methods

parseJSON :: Value -> Parser OutlierVariance

parseJSONList :: Value -> Parser [OutlierVariance]

omittedField :: Maybe OutlierVariance

ToJSON OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Data OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Methods

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

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

toConstr :: OutlierVariance -> Constr

dataTypeOf :: OutlierVariance -> DataType

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

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

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

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

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

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

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

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

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

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

Generic OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep OutlierVariance 
Instance details

Defined in Criterion.Types

type Rep OutlierVariance = D1 ('MetaData "OutlierVariance" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "OutlierVariance" 'PrefixI 'True) (S1 ('MetaSel ('Just "ovEffect") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OutlierEffect) :*: (S1 ('MetaSel ('Just "ovDesc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "ovFraction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))))
Read OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Show OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Methods

showsPrec :: Int -> OutlierVariance -> ShowS

show :: OutlierVariance -> String

showList :: [OutlierVariance] -> ShowS

Binary OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Methods

put :: OutlierVariance -> Put

get :: Get OutlierVariance

putList :: [OutlierVariance] -> Put

NFData OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: OutlierVariance -> ()

Eq OutlierVariance Source # 
Instance details

Defined in Criterion.Types

type Rep OutlierVariance Source # 
Instance details

Defined in Criterion.Types

type Rep OutlierVariance = D1 ('MetaData "OutlierVariance" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "OutlierVariance" 'PrefixI 'True) (S1 ('MetaSel ('Just "ovEffect") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OutlierEffect) :*: (S1 ('MetaSel ('Just "ovDesc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "ovFraction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))))

data Regression Source #

Results of a linear regression.

Constructors

Regression 

Fields

  • regResponder :: String

    Name of the responding variable.

  • regCoeffs :: Map String (Estimate ConfInt Double)

    Map from name to value of predictor coefficients.

  • regRSquare :: Estimate ConfInt Double

    R² goodness-of-fit estimate.

Instances

Instances details
FromJSON Regression Source # 
Instance details

Defined in Criterion.Types

Methods

parseJSON :: Value -> Parser Regression

parseJSONList :: Value -> Parser [Regression]

omittedField :: Maybe Regression

ToJSON Regression Source # 
Instance details

Defined in Criterion.Types

Methods

toJSON :: Regression -> Value

toEncoding :: Regression -> Encoding

toJSONList :: [Regression] -> Value

toEncodingList :: [Regression] -> Encoding

omitField :: Regression -> Bool

Generic Regression Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep Regression 
Instance details

Defined in Criterion.Types

type Rep Regression = D1 ('MetaData "Regression" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Regression" 'PrefixI 'True) (S1 ('MetaSel ('Just "regResponder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "regCoeffs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String (Estimate ConfInt Double))) :*: S1 ('MetaSel ('Just "regRSquare") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Estimate ConfInt Double)))))

Methods

from :: Regression -> Rep Regression x

to :: Rep Regression x -> Regression

Read Regression Source # 
Instance details

Defined in Criterion.Types

Methods

readsPrec :: Int -> ReadS Regression

readList :: ReadS [Regression]

readPrec :: ReadPrec Regression

readListPrec :: ReadPrec [Regression]

Show Regression Source # 
Instance details

Defined in Criterion.Types

Methods

showsPrec :: Int -> Regression -> ShowS

show :: Regression -> String

showList :: [Regression] -> ShowS

Binary Regression Source # 
Instance details

Defined in Criterion.Types

Methods

put :: Regression -> Put

get :: Get Regression

putList :: [Regression] -> Put

NFData Regression Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: Regression -> ()

Eq Regression Source # 
Instance details

Defined in Criterion.Types

Methods

(==) :: Regression -> Regression -> Bool

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

type Rep Regression Source # 
Instance details

Defined in Criterion.Types

type Rep Regression = D1 ('MetaData "Regression" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Regression" 'PrefixI 'True) (S1 ('MetaSel ('Just "regResponder") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "regCoeffs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String (Estimate ConfInt Double))) :*: S1 ('MetaSel ('Just "regRSquare") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Estimate ConfInt Double)))))

data KDE Source #

Data for a KDE chart of performance.

Constructors

KDE 

Fields

Instances

Instances details
FromJSON KDE Source # 
Instance details

Defined in Criterion.Types

Methods

parseJSON :: Value -> Parser KDE

parseJSONList :: Value -> Parser [KDE]

omittedField :: Maybe KDE

ToJSON KDE Source # 
Instance details

Defined in Criterion.Types

Methods

toJSON :: KDE -> Value

toEncoding :: KDE -> Encoding

toJSONList :: [KDE] -> Value

toEncodingList :: [KDE] -> Encoding

omitField :: KDE -> Bool

Data KDE Source # 
Instance details

Defined in Criterion.Types

Methods

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

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

toConstr :: KDE -> Constr

dataTypeOf :: KDE -> DataType

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

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

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

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

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

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

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

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

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

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

Generic KDE Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep KDE 
Instance details

Defined in Criterion.Types

type Rep KDE = D1 ('MetaData "KDE" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "KDE" 'PrefixI 'True) (S1 ('MetaSel ('Just "kdeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "kdeValues") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Double)) :*: S1 ('MetaSel ('Just "kdePDF") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Double)))))

Methods

from :: KDE -> Rep KDE x

to :: Rep KDE x -> KDE

Read KDE Source # 
Instance details

Defined in Criterion.Types

Methods

readsPrec :: Int -> ReadS KDE

readList :: ReadS [KDE]

readPrec :: ReadPrec KDE

readListPrec :: ReadPrec [KDE]

Show KDE Source # 
Instance details

Defined in Criterion.Types

Methods

showsPrec :: Int -> KDE -> ShowS

show :: KDE -> String

showList :: [KDE] -> ShowS

Binary KDE Source # 
Instance details

Defined in Criterion.Types

Methods

put :: KDE -> Put

get :: Get KDE

putList :: [KDE] -> Put

NFData KDE Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: KDE -> ()

Eq KDE Source # 
Instance details

Defined in Criterion.Types

Methods

(==) :: KDE -> KDE -> Bool

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

type Rep KDE Source # 
Instance details

Defined in Criterion.Types

type Rep KDE = D1 ('MetaData "KDE" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "KDE" 'PrefixI 'True) (S1 ('MetaSel ('Just "kdeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "kdeValues") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Double)) :*: S1 ('MetaSel ('Just "kdePDF") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Double)))))

data Report Source #

Report of a sample analysis.

Constructors

Report 

Fields

Instances

Instances details
FromJSON Report Source # 
Instance details

Defined in Criterion.Types

Methods

parseJSON :: Value -> Parser Report

parseJSONList :: Value -> Parser [Report]

omittedField :: Maybe Report

ToJSON Report Source # 
Instance details

Defined in Criterion.Types

Methods

toJSON :: Report -> Value

toEncoding :: Report -> Encoding

toJSONList :: [Report] -> Value

toEncodingList :: [Report] -> Encoding

omitField :: Report -> Bool

Generic Report Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep Report 
Instance details

Defined in Criterion.Types

type Rep Report = D1 ('MetaData "Report" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Report" 'PrefixI 'True) ((S1 ('MetaSel ('Just "reportNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "reportName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "reportKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String]))) :*: ((S1 ('MetaSel ('Just "reportMeasured") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Measured)) :*: S1 ('MetaSel ('Just "reportAnalysis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SampleAnalysis)) :*: (S1 ('MetaSel ('Just "reportOutliers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Outliers) :*: S1 ('MetaSel ('Just "reportKDEs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [KDE])))))

Methods

from :: Report -> Rep Report x

to :: Rep Report x -> Report

Read Report Source # 
Instance details

Defined in Criterion.Types

Methods

readsPrec :: Int -> ReadS Report

readList :: ReadS [Report]

readPrec :: ReadPrec Report

readListPrec :: ReadPrec [Report]

Show Report Source # 
Instance details

Defined in Criterion.Types

Methods

showsPrec :: Int -> Report -> ShowS

show :: Report -> String

showList :: [Report] -> ShowS

Binary Report Source # 
Instance details

Defined in Criterion.Types

Methods

put :: Report -> Put

get :: Get Report

putList :: [Report] -> Put

NFData Report Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: Report -> ()

Eq Report Source # 
Instance details

Defined in Criterion.Types

Methods

(==) :: Report -> Report -> Bool

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

type Rep Report Source # 
Instance details

Defined in Criterion.Types

type Rep Report = D1 ('MetaData "Report" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Report" 'PrefixI 'True) ((S1 ('MetaSel ('Just "reportNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "reportName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "reportKeys") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String]))) :*: ((S1 ('MetaSel ('Just "reportMeasured") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Measured)) :*: S1 ('MetaSel ('Just "reportAnalysis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SampleAnalysis)) :*: (S1 ('MetaSel ('Just "reportOutliers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Outliers) :*: S1 ('MetaSel ('Just "reportKDEs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [KDE])))))

data SampleAnalysis Source #

Result of a bootstrap analysis of a non-parametric sample.

Constructors

SampleAnalysis 

Fields

Instances

Instances details
FromJSON SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Methods

parseJSON :: Value -> Parser SampleAnalysis

parseJSONList :: Value -> Parser [SampleAnalysis]

omittedField :: Maybe SampleAnalysis

ToJSON SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Methods

toJSON :: SampleAnalysis -> Value

toEncoding :: SampleAnalysis -> Encoding

toJSONList :: [SampleAnalysis] -> Value

toEncodingList :: [SampleAnalysis] -> Encoding

omitField :: SampleAnalysis -> Bool

Generic SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep SampleAnalysis 
Instance details

Defined in Criterion.Types

type Rep SampleAnalysis = D1 ('MetaData "SampleAnalysis" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "SampleAnalysis" 'PrefixI 'True) ((S1 ('MetaSel ('Just "anRegress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Regression]) :*: S1 ('MetaSel ('Just "anMean") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Estimate ConfInt Double))) :*: (S1 ('MetaSel ('Just "anStdDev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Estimate ConfInt Double)) :*: S1 ('MetaSel ('Just "anOutlierVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OutlierVariance))))
Read SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Methods

readsPrec :: Int -> ReadS SampleAnalysis

readList :: ReadS [SampleAnalysis]

readPrec :: ReadPrec SampleAnalysis

readListPrec :: ReadPrec [SampleAnalysis]

Show SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Methods

showsPrec :: Int -> SampleAnalysis -> ShowS

show :: SampleAnalysis -> String

showList :: [SampleAnalysis] -> ShowS

Binary SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Methods

put :: SampleAnalysis -> Put

get :: Get SampleAnalysis

putList :: [SampleAnalysis] -> Put

NFData SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: SampleAnalysis -> ()

Eq SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

type Rep SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

type Rep SampleAnalysis = D1 ('MetaData "SampleAnalysis" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "SampleAnalysis" 'PrefixI 'True) ((S1 ('MetaSel ('Just "anRegress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Regression]) :*: S1 ('MetaSel ('Just "anMean") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Estimate ConfInt Double))) :*: (S1 ('MetaSel ('Just "anStdDev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Estimate ConfInt Double)) :*: S1 ('MetaSel ('Just "anOutlierVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 OutlierVariance))))

data DataRecord Source #

Constructors

Measurement Int String (Vector Measured) 
Analysed Report 

Instances

Instances details
FromJSON DataRecord Source # 
Instance details

Defined in Criterion.Types

Methods

parseJSON :: Value -> Parser DataRecord

parseJSONList :: Value -> Parser [DataRecord]

omittedField :: Maybe DataRecord

ToJSON DataRecord Source # 
Instance details

Defined in Criterion.Types

Methods

toJSON :: DataRecord -> Value

toEncoding :: DataRecord -> Encoding

toJSONList :: [DataRecord] -> Value

toEncodingList :: [DataRecord] -> Encoding

omitField :: DataRecord -> Bool

Generic DataRecord Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep DataRecord 
Instance details

Defined in Criterion.Types

type Rep DataRecord = D1 ('MetaData "DataRecord" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Measurement" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Measured)))) :+: C1 ('MetaCons "Analysed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Report)))

Methods

from :: DataRecord -> Rep DataRecord x

to :: Rep DataRecord x -> DataRecord

Read DataRecord Source # 
Instance details

Defined in Criterion.Types

Methods

readsPrec :: Int -> ReadS DataRecord

readList :: ReadS [DataRecord]

readPrec :: ReadPrec DataRecord

readListPrec :: ReadPrec [DataRecord]

Show DataRecord Source # 
Instance details

Defined in Criterion.Types

Methods

showsPrec :: Int -> DataRecord -> ShowS

show :: DataRecord -> String

showList :: [DataRecord] -> ShowS

Binary DataRecord Source # 
Instance details

Defined in Criterion.Types

Methods

put :: DataRecord -> Put

get :: Get DataRecord

putList :: [DataRecord] -> Put

NFData DataRecord Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: DataRecord -> ()

Eq DataRecord Source # 
Instance details

Defined in Criterion.Types

Methods

(==) :: DataRecord -> DataRecord -> Bool

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

type Rep DataRecord Source # 
Instance details

Defined in Criterion.Types

type Rep DataRecord = D1 ('MetaData "DataRecord" "Criterion.Types" "criterion-1.6.4.0-AZuBXmZ3u0U6i1N8azwWII" 'False) (C1 ('MetaCons "Measurement" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Measured)))) :+: C1 ('MetaCons "Analysed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Report)))