criterion-1.6.1.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

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 Source #

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

toConstr :: Config -> Constr Source #

dataTypeOf :: Config -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Generic Config Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep Config :: Type -> Type Source #

Read Config Source # 
Instance details

Defined in Criterion.Types

Show Config Source # 
Instance details

Defined in Criterion.Types

Eq Config Source # 
Instance details

Defined in Criterion.Types

MonadReader Config Criterion Source # 
Instance details

Defined in Criterion.Monad.Internal

type Rep Config Source # 
Instance details

Defined in Criterion.Types

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 Source #

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

toConstr :: Verbosity -> Constr Source #

dataTypeOf :: Verbosity -> DataType Source #

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

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

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

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

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

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

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

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

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

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

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 :: Type -> Type Source #

Read Verbosity Source # 
Instance details

Defined in Criterion.Types

Show Verbosity Source # 
Instance details

Defined in Criterion.Types

Eq Verbosity Source # 
Instance details

Defined in Criterion.Types

Ord Verbosity Source # 
Instance details

Defined in Criterion.Types

type Rep Verbosity Source # 
Instance details

Defined in Criterion.Types

type Rep Verbosity = D1 ('MetaData "Verbosity" "Criterion.Types" "criterion-1.6.1.0-1qrwpjmgoZTK27WOgYXsGc" '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

Measurements

data Measured #

Instances

Instances details
FromJSON Measured 
Instance details

Defined in Criterion.Measurement.Types

ToJSON Measured 
Instance details

Defined in Criterion.Measurement.Types

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 Source #

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

toConstr :: Measured -> Constr Source #

dataTypeOf :: Measured -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Generic Measured 
Instance details

Defined in Criterion.Measurement.Types

Associated Types

type Rep Measured :: Type -> Type Source #

Read Measured 
Instance details

Defined in Criterion.Measurement.Types

Show Measured 
Instance details

Defined in Criterion.Measurement.Types

Binary Measured 
Instance details

Defined in Criterion.Measurement.Types

NFData Measured 
Instance details

Defined in Criterion.Measurement.Types

Methods

rnf :: Measured -> () Source #

Eq Measured 
Instance details

Defined in Criterion.Measurement.Types

type Rep Measured 
Instance details

Defined in Criterion.Measurement.Types

type Rep Measured = D1 ('MetaData "Measured" "Criterion.Measurement.Types" "criterion-measurement-0.2.1.0-KaTzSzPe5l65cjl14DmnsH" '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))))))

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 #

Evaluation control

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

whnf :: (a -> b) -> 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

Instances

Instances details
FromJSON Outliers Source # 
Instance details

Defined in Criterion.Types

ToJSON Outliers Source # 
Instance details

Defined in Criterion.Types

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 Source #

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

toConstr :: Outliers -> Constr Source #

dataTypeOf :: Outliers -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Monoid Outliers Source # 
Instance details

Defined in Criterion.Types

Semigroup Outliers Source # 
Instance details

Defined in Criterion.Types

Generic Outliers Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep Outliers :: Type -> Type Source #

Read Outliers Source # 
Instance details

Defined in Criterion.Types

Show Outliers Source # 
Instance details

Defined in Criterion.Types

Binary Outliers Source # 
Instance details

Defined in Criterion.Types

NFData Outliers Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: Outliers -> () Source #

Eq Outliers Source # 
Instance details

Defined in Criterion.Types

type Rep Outliers Source # 
Instance details

Defined in Criterion.Types

type Rep Outliers = D1 ('MetaData "Outliers" "Criterion.Types" "criterion-1.6.1.0-1qrwpjmgoZTK27WOgYXsGc" '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

ToJSON OutlierEffect Source # 
Instance details

Defined in Criterion.Types

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 Source #

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

toConstr :: OutlierEffect -> Constr Source #

dataTypeOf :: OutlierEffect -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Generic OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep OutlierEffect :: Type -> Type Source #

Read OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Show OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Binary OutlierEffect Source # 
Instance details

Defined in Criterion.Types

NFData OutlierEffect Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: OutlierEffect -> () Source #

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.1.0-1qrwpjmgoZTK27WOgYXsGc" '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

Instances

Instances details
FromJSON OutlierVariance Source # 
Instance details

Defined in Criterion.Types

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 Source #

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

toConstr :: OutlierVariance -> Constr Source #

dataTypeOf :: OutlierVariance -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Generic OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep OutlierVariance :: Type -> Type Source #

Read OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Show OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Binary OutlierVariance Source # 
Instance details

Defined in Criterion.Types

NFData OutlierVariance Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: OutlierVariance -> () Source #

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.1.0-1qrwpjmgoZTK27WOgYXsGc" '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

Instances

Instances details
FromJSON Regression Source # 
Instance details

Defined in Criterion.Types

ToJSON Regression Source # 
Instance details

Defined in Criterion.Types

Generic Regression Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep Regression :: Type -> Type Source #

Read Regression Source # 
Instance details

Defined in Criterion.Types

Show Regression Source # 
Instance details

Defined in Criterion.Types

Binary Regression Source # 
Instance details

Defined in Criterion.Types

NFData Regression Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: Regression -> () Source #

Eq Regression Source # 
Instance details

Defined in Criterion.Types

type Rep Regression Source # 
Instance details

Defined in Criterion.Types

type Rep Regression = D1 ('MetaData "Regression" "Criterion.Types" "criterion-1.6.1.0-1qrwpjmgoZTK27WOgYXsGc" '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 

Instances

Instances details
FromJSON KDE Source # 
Instance details

Defined in Criterion.Types

ToJSON KDE Source # 
Instance details

Defined in Criterion.Types

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 Source #

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

toConstr :: KDE -> Constr Source #

dataTypeOf :: KDE -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Generic KDE Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep KDE :: Type -> Type Source #

Methods

from :: KDE -> Rep KDE x Source #

to :: Rep KDE x -> KDE Source #

Read KDE Source # 
Instance details

Defined in Criterion.Types

Show KDE Source # 
Instance details

Defined in Criterion.Types

Binary KDE Source # 
Instance details

Defined in Criterion.Types

Methods

put :: KDE -> Put Source #

get :: Get KDE Source #

putList :: [KDE] -> Put Source #

NFData KDE Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: KDE -> () Source #

Eq KDE Source # 
Instance details

Defined in Criterion.Types

Methods

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

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

type Rep KDE Source # 
Instance details

Defined in Criterion.Types

type Rep KDE = D1 ('MetaData "KDE" "Criterion.Types" "criterion-1.6.1.0-1qrwpjmgoZTK27WOgYXsGc" '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

ToJSON Report Source # 
Instance details

Defined in Criterion.Types

Generic Report Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep Report :: Type -> Type Source #

Read Report Source # 
Instance details

Defined in Criterion.Types

Show Report Source # 
Instance details

Defined in Criterion.Types

Binary Report Source # 
Instance details

Defined in Criterion.Types

NFData Report Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: Report -> () Source #

Eq Report Source # 
Instance details

Defined in Criterion.Types

type Rep Report Source # 
Instance details

Defined in Criterion.Types

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

ToJSON SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Generic SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep SampleAnalysis :: Type -> Type Source #

Read SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Show SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Binary SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

NFData SampleAnalysis Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: SampleAnalysis -> () Source #

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.1.0-1qrwpjmgoZTK27WOgYXsGc" '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 #

Instances

Instances details
FromJSON DataRecord Source # 
Instance details

Defined in Criterion.Types

ToJSON DataRecord Source # 
Instance details

Defined in Criterion.Types

Generic DataRecord Source # 
Instance details

Defined in Criterion.Types

Associated Types

type Rep DataRecord :: Type -> Type Source #

Read DataRecord Source # 
Instance details

Defined in Criterion.Types

Show DataRecord Source # 
Instance details

Defined in Criterion.Types

Binary DataRecord Source # 
Instance details

Defined in Criterion.Types

NFData DataRecord Source # 
Instance details

Defined in Criterion.Types

Methods

rnf :: DataRecord -> () Source #

Eq DataRecord Source # 
Instance details

Defined in Criterion.Types

type Rep DataRecord Source # 
Instance details

Defined in Criterion.Types