Copyright	(c) Eric Crockett 2011-2017 Chris Peikert 2011-2017
License	GPL-2
Maintainer	ecrockett0@email.com
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Crypto.Lol.Benchmarks

Description

Infrastructure for benchmarking Lol.

Synopsis

Documentation

bench :: NFData b => (a -> b) -> a -> Bench params Source #

Wrapper for criterion's nf

benchM :: (forall m. MonadRandom m => m (Bench a)) -> Bench a Source #

Use when you need randomness outside the benchmark.

benchIO :: NFData b => IO b -> Bench params Source #

Wrapper for criterion's nfIO. Use when there is randomness inside the benchmark.

benchGroup :: Monad rnd => String -> [rnd Benchmark] -> rnd Benchmark Source #

Wrapper for criterion's bgroup

genBenchArgs :: (GenArgs bnch, ResultOf bnch ~ Bench a, MonadRandom rnd) => String -> bnch -> Proxy a -> rnd Benchmark Source #

Converts a function mapping zero or more arguments to a Bench a by generating random inputs to the function

data Bench params Source #

Wrapper around criterion's Benchmarkable, with phantom parameters.

Instances

GenArgs (Bench k params) Source #
Methods genArgs :: MonadRandom rnd => Bench k params -> rnd (ResultOf (Bench k params)) #

data Benchmark :: * #

Specification of a collection of benchmarks and environments. A benchmark may consist of:

An environment that creates input data for benchmarks, created with env.
A single Benchmarkable item with a name, created with bench.
A (possibly nested) group of Benchmarks, created with bgroup.

Instances

Show Benchmark
Methods showsPrec :: Int -> Benchmark -> ShowS # show :: Benchmark -> String # showList :: [Benchmark] -> ShowS #

class NFData a #

A class of types that can be fully evaluated.

Since: 1.1.0.0

Instances

NFData Bool
Methods rnf :: Bool -> () #
NFData Char
Methods rnf :: Char -> () #
NFData Double
Methods rnf :: Double -> () #
NFData Float
Methods rnf :: Float -> () #
NFData Int
Methods rnf :: Int -> () #
NFData Int8
Methods rnf :: Int8 -> () #
NFData Int16
Methods rnf :: Int16 -> () #
NFData Int32
Methods rnf :: Int32 -> () #
NFData Int64
Methods rnf :: Int64 -> () #
NFData Integer
Methods rnf :: Integer -> () #
NFData Word
Methods rnf :: Word -> () #
NFData Word8
Methods rnf :: Word8 -> () #
NFData Word16
Methods rnf :: Word16 -> () #
NFData Word32
Methods rnf :: Word32 -> () #
NFData Word64
Methods rnf :: Word64 -> () #
NFData CallStack	Since: 1.4.2.0
Methods rnf :: CallStack -> () #
NFData TypeRep	NOTE: Only defined for `base-4.8.0.0` and later Since: 1.4.0.0
Methods rnf :: TypeRep -> () #
NFData ()
Methods rnf :: () -> () #
NFData TyCon	NOTE: Only defined for `base-4.8.0.0` and later Since: 1.4.0.0
Methods rnf :: TyCon -> () #
NFData Version	Since: 1.3.0.0
Methods rnf :: Version -> () #
NFData ByteString
Methods rnf :: ByteString -> () #
NFData Natural	Since: 1.4.0.0
Methods rnf :: Natural -> () #
NFData Void	Defined as `rnf = absurd`. Since: 1.4.0.0
Methods rnf :: Void -> () #
NFData Unique	Since: 1.4.0.0
Methods rnf :: Unique -> () #
NFData ThreadId	Since: 1.4.0.0
Methods rnf :: ThreadId -> () #
NFData ExitCode	Since: 1.4.2.0
Methods rnf :: ExitCode -> () #
NFData CChar	Since: 1.4.0.0
Methods rnf :: CChar -> () #
NFData CSChar	Since: 1.4.0.0
Methods rnf :: CSChar -> () #
NFData CUChar	Since: 1.4.0.0
Methods rnf :: CUChar -> () #
NFData CShort	Since: 1.4.0.0
Methods rnf :: CShort -> () #
NFData CUShort	Since: 1.4.0.0
Methods rnf :: CUShort -> () #
NFData CInt	Since: 1.4.0.0
Methods rnf :: CInt -> () #
NFData CUInt	Since: 1.4.0.0
Methods rnf :: CUInt -> () #
NFData CLong	Since: 1.4.0.0
Methods rnf :: CLong -> () #
NFData CULong	Since: 1.4.0.0
Methods rnf :: CULong -> () #
NFData CLLong	Since: 1.4.0.0
Methods rnf :: CLLong -> () #
NFData CULLong	Since: 1.4.0.0
Methods rnf :: CULLong -> () #
NFData CFloat	Since: 1.4.0.0
Methods rnf :: CFloat -> () #
NFData CDouble	Since: 1.4.0.0
Methods rnf :: CDouble -> () #
NFData CPtrdiff	Since: 1.4.0.0
Methods rnf :: CPtrdiff -> () #
NFData CSize	Since: 1.4.0.0
Methods rnf :: CSize -> () #
NFData CWchar	Since: 1.4.0.0
Methods rnf :: CWchar -> () #
NFData CSigAtomic	Since: 1.4.0.0
Methods rnf :: CSigAtomic -> () #
NFData CClock	Since: 1.4.0.0
Methods rnf :: CClock -> () #
NFData CTime	Since: 1.4.0.0
Methods rnf :: CTime -> () #
NFData CUSeconds	Since: 1.4.0.0
Methods rnf :: CUSeconds -> () #
NFData CSUSeconds	Since: 1.4.0.0
Methods rnf :: CSUSeconds -> () #
NFData CFile	Since: 1.4.0.0
Methods rnf :: CFile -> () #
NFData CFpos	Since: 1.4.0.0
Methods rnf :: CFpos -> () #
NFData CJmpBuf	Since: 1.4.0.0
Methods rnf :: CJmpBuf -> () #
NFData CIntPtr	Since: 1.4.0.0
Methods rnf :: CIntPtr -> () #
NFData CUIntPtr	Since: 1.4.0.0
Methods rnf :: CUIntPtr -> () #
NFData CIntMax	Since: 1.4.0.0
Methods rnf :: CIntMax -> () #
NFData CUIntMax	Since: 1.4.0.0
Methods rnf :: CUIntMax -> () #
NFData All	Since: 1.4.0.0
Methods rnf :: All -> () #
NFData Any	Since: 1.4.0.0
Methods rnf :: Any -> () #
NFData Fingerprint	Since: 1.4.0.0
Methods rnf :: Fingerprint -> () #
NFData SrcLoc	Since: 1.4.2.0
Methods rnf :: SrcLoc -> () #
NFData IntSet
Methods rnf :: IntSet -> () #
NFData Measured
Methods rnf :: Measured -> () #
NFData Outliers
Methods rnf :: Outliers -> () #
NFData OutlierEffect
Methods rnf :: OutlierEffect -> () #
NFData OutlierVariance
Methods rnf :: OutlierVariance -> () #
NFData Regression
Methods rnf :: Regression -> () #
NFData SampleAnalysis
Methods rnf :: SampleAnalysis -> () #
NFData KDE
Methods rnf :: KDE -> () #
NFData Report
Methods rnf :: Report -> () #
NFData DataRecord
Methods rnf :: DataRecord -> () #
NFData KB2Sum
Methods rnf :: KB2Sum -> () #
NFData KBNSum
Methods rnf :: KBNSum -> () #
NFData KahanSum
Methods rnf :: KahanSum -> () #
NFData Doc
Methods rnf :: Doc -> () #
NFData TextDetails
Methods rnf :: TextDetails -> () #
NFData Estimate
Methods rnf :: Estimate -> () #
NFData LocalTime
Methods rnf :: LocalTime -> () #
NFData ZonedTime
Methods rnf :: ZonedTime -> () #
NFData UUID
Methods rnf :: UUID -> () #
NFData a => NFData [a]
Methods rnf :: [a] -> () #
NFData a => NFData (Maybe a)
Methods rnf :: Maybe a -> () #
NFData a => NFData (Ratio a)
Methods rnf :: Ratio a -> () #
NFData (Ptr a)	Since: 1.4.2.0
Methods rnf :: Ptr a -> () #
NFData (FunPtr a)	Since: 1.4.2.0
Methods rnf :: FunPtr a -> () #
NFData a => NFData (Sum a)	Since: 1.4.0.0
Methods rnf :: Sum a -> () #
NFData a => NFData (Product a)	Since: 1.4.0.0
Methods rnf :: Product a -> () #
NFData a => NFData (Identity a)	Since: 1.4.0.0
Methods rnf :: Identity a -> () #
NFData a => NFData (Min a)	Since: 1.4.2.0
Methods rnf :: Min a -> () #
NFData a => NFData (Max a)	Since: 1.4.2.0
Methods rnf :: Max a -> () #
NFData a => NFData (First a)	Since: 1.4.2.0
Methods rnf :: First a -> () #
NFData a => NFData (Last a)	Since: 1.4.2.0
Methods rnf :: Last a -> () #
NFData m => NFData (WrappedMonoid m)	Since: 1.4.2.0
Methods rnf :: WrappedMonoid m -> () #
NFData a => NFData (Option a)	Since: 1.4.2.0
Methods rnf :: Option a -> () #
NFData a => NFData (NonEmpty a)	Since: 1.4.2.0
Methods rnf :: NonEmpty a -> () #
NFData (Fixed a)	Since: 1.3.0.0
Methods rnf :: Fixed a -> () #
NFData a => NFData (Complex a)
Methods rnf :: Complex a -> () #
NFData (StableName a)	Since: 1.4.0.0
Methods rnf :: StableName a -> () #
NFData a => NFData (ZipList a)	Since: 1.4.0.0
Methods rnf :: ZipList a -> () #
NFData a => NFData (Dual a)	Since: 1.4.0.0
Methods rnf :: Dual a -> () #
NFData a => NFData (First a)	Since: 1.4.0.0
Methods rnf :: First a -> () #
NFData a => NFData (Last a)	Since: 1.4.0.0
Methods rnf :: Last a -> () #
NFData (IORef a)	NOTE: Only strict in the reference and not the referenced value. Since: 1.4.2.0
Methods rnf :: IORef a -> () #
NFData a => NFData (Down a)	Since: 1.4.0.0
Methods rnf :: Down a -> () #
NFData (MVar a)	NOTE: Only strict in the reference and not the referenced value. Since: 1.4.2.0
Methods rnf :: MVar a -> () #
NFData a => NFData (Digit a)
Methods rnf :: Digit a -> () #
NFData a => NFData (Node a)
Methods rnf :: Node a -> () #
NFData a => NFData (Elem a)
Methods rnf :: Elem a -> () #
NFData a => NFData (FingerTree a)
Methods rnf :: FingerTree a -> () #
NFData a => NFData (IntMap a)
Methods rnf :: IntMap a -> () #
NFData a => NFData (Seq a)
Methods rnf :: Seq a -> () #
NFData a => NFData (Set a)
Methods rnf :: Set a -> () #
NFData a => NFData (DList a)
Methods rnf :: DList a -> () #
NFData a => NFData (Vector a)
Methods rnf :: Vector a -> () #
NFData a => NFData (Complex a)
Methods rnf :: Complex a -> () #
NFData a => NFData (Doc a)
Methods rnf :: Doc a -> () #
NFData a => NFData (AnnotDetails a)
Methods rnf :: AnnotDetails a -> () #
NFData a => NFData (HashSet a)
Methods rnf :: HashSet a -> () #
NFData (Vector a)
Methods rnf :: Vector a -> () #
NFData (Vector a)
Methods rnf :: Vector a -> () #
NFData (Vector a)
Methods rnf :: Vector a -> () #
NFData (a -> b)	This instance is for convenience and consistency with `seq`. This assumes that WHNF is equivalent to NF for functions. Since: 1.3.0.0
Methods rnf :: (a -> b) -> () #
(NFData a, NFData b) => NFData (Either a b)
Methods rnf :: Either a b -> () #
(NFData a, NFData b) => NFData (a, b)
Methods rnf :: (a, b) -> () #
(NFData k, NFData v) => NFData (HashMap k v)
Methods rnf :: HashMap k v -> () #
(NFData k, NFData a) => NFData (Map k a)
Methods rnf :: Map k a -> () #
(NFData a, NFData b) => NFData (Array a b)
Methods rnf :: Array a b -> () #
(NFData i, NFData r) => NFData (IResult i r)
Methods rnf :: IResult i r -> () #
(NFData a, NFData b) => NFData (Arg a b)	Since: 1.4.2.0
Methods rnf :: Arg a b -> () #
NFData (Proxy k a)	Since: 1.4.0.0
Methods rnf :: Proxy k a -> () #
NFData (STRef s a)	NOTE: Only strict in the reference and not the referenced value. Since: 1.4.2.0
Methods rnf :: STRef s a -> () #
(NFData k, NFData v) => NFData (Leaf k v)
Methods rnf :: Leaf k v -> () #
NFData (MVector s a)
Methods rnf :: MVector s a -> () #
NFData (MVector s a)
Methods rnf :: MVector s a -> () #
NFData (MVector s a)
Methods rnf :: MVector s a -> () #
(NFData a, NFData b, NFData c) => NFData (a, b, c)
Methods rnf :: (a, b, c) -> () #
NFData a => NFData (Const k a b)	Since: 1.4.0.0
Methods rnf :: Const k a b -> () #
NFData r => NFData (RRq k q r)
Methods rnf :: RRq k q r -> () #
NFData z => NFData (ZqBasic k q z)
Methods rnf :: ZqBasic k q z -> () #
(Tensor t, Fact m, NFData r, TElt t r, NFData (CRTExt r), TElt t (CRTExt r)) => NFData (Cyc t m r)
Methods rnf :: Cyc t m r -> () #
NFData b => NFData (Tagged k s b)
Methods rnf :: Tagged k s b -> () #
(NFData a, NFData b, NFData c, NFData d) => NFData (a, b, c, d)
Methods rnf :: (a, b, c, d) -> () #
(Tensor t, Fact m, NFElt r, TElt t r, TElt t (CRTExt r)) => NFData (UCyc t m rep r)
Methods rnf :: UCyc t m rep r -> () #
(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5) => NFData (a1, a2, a3, a4, a5)
Methods rnf :: (a1, a2, a3, a4, a5) -> () #
NFData (Cyc t s z) => NFData (Linear t z e r s)
Methods rnf :: Linear t z e r s -> () #
(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6) => NFData (a1, a2, a3, a4, a5, a6)
Methods rnf :: (a1, a2, a3, a4, a5, a6) -> () #
(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7) => NFData (a1, a2, a3, a4, a5, a6, a7)
Methods rnf :: (a1, a2, a3, a4, a5, a6, a7) -> () #
(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7, NFData a8) => NFData (a1, a2, a3, a4, a5, a6, a7, a8)
Methods rnf :: (a1, a2, a3, a4, a5, a6, a7, a8) -> () #
(NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7, NFData a8, NFData a9) => NFData (a1, a2, a3, a4, a5, a6, a7, a8, a9)
Methods rnf :: (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> () #

addGen :: Proxy gen -> Proxy '(t, m, r) -> Proxy '(t, m, r, gen) Source #

Convenience function for benchmarks with an extra parameter.