Copyright	(c) 2009 Neil Brown
License	BSD-style
Maintainer	bos@serpentine.com
Stability	experimental
Portability	GHC
Safe Haskell	Trustworthy
Language	Haskell2010

Criterion.Monad

Description

The environment in which most criterion code executes.

Synopsis

data Criterion a
withConfig :: Config -> Criterion a -> IO a
getGen :: Criterion GenIO

Documentation

data Criterion a #

The monad in which most criterion code executes.

Instances

Monad Criterion #
Instance details Defined in Criterion.Monad.Internal Methods (>>=) :: Criterion a -> (a -> Criterion b) -> Criterion b # (>>) :: Criterion a -> Criterion b -> Criterion b # return :: a -> Criterion a # fail :: String -> Criterion a #
Functor Criterion #
Instance details Defined in Criterion.Monad.Internal Methods fmap :: (a -> b) -> Criterion a -> Criterion b # (<$) :: a -> Criterion b -> Criterion a #
MonadFail Criterion #
Instance details Defined in Criterion.Monad.Internal Methods fail :: String -> Criterion a #
Applicative Criterion #
Instance details Defined in Criterion.Monad.Internal Methods pure :: a -> Criterion a # (<>) :: Criterion (a -> b) -> Criterion a -> Criterion b # liftA2 :: (a -> b -> c) -> Criterion a -> Criterion b -> Criterion c # (>) :: Criterion a -> Criterion b -> Criterion b # (<*) :: Criterion a -> Criterion b -> Criterion a #
MonadIO Criterion #
Instance details Defined in Criterion.Monad.Internal Methods liftIO :: IO a -> Criterion a #
MonadThrow Criterion #
Instance details Defined in Criterion.Monad.Internal Methods throwM :: Exception e => e -> Criterion a #
MonadCatch Criterion #
Instance details Defined in Criterion.Monad.Internal Methods catch :: Exception e => Criterion a -> (e -> Criterion a) -> Criterion a #
MonadMask Criterion #
Instance details Defined in Criterion.Monad.Internal Methods mask :: ((forall a. Criterion a -> Criterion a) -> Criterion b) -> Criterion b # uninterruptibleMask :: ((forall a. Criterion a -> Criterion a) -> Criterion b) -> Criterion b # generalBracket :: Criterion a -> (a -> ExitCase b -> Criterion c) -> (a -> Criterion b) -> Criterion (b, c) #
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 #
CritHPrintfType (Criterion a) #
Instance details Defined in Criterion.IO.Printf Methods chPrintfImpl :: (Config -> Bool) -> PrintfCont -> Criterion a

withConfig :: Config -> Criterion a -> IO a #

Run a Criterion action with the given Config.

getGen :: Criterion GenIO #

Return a random number generator, creating one if necessary.

This is not currently thread-safe, but in a harmless way (we might call createSystemRandom more than once if multiple threads race).