Perf.Cycles

Documentation

type Cycles = Word64

Cycles

tick :: (a -> b) -> a -> IO (Cycles, b)

`tick f a` applies a to f, and strictly returns a (number of cycles, application result) tuple

tick' :: a -> IO (Cycles, a)

variation that just acts on an a

tickM :: IO a -> IO (Cycles, a)

variation that takes an `IO a`

tick_ :: IO Cycles

variation that just measures the number of cycles to take a tick measurement

tickf :: (a -> b) -> a -> IO (Cycles, b)

`tickf f a` applies a to f, and strictly returns a (number of cycles, application result) tuple, measuring just the f effect

tickfM :: (a -> IO b) -> a -> IO (Cycles, b)

monadic version

ticka :: (a -> b) -> a -> IO (Cycles, b)

`ticka f a` applies a to f, and strictly returns a (number of cycles, application result) tuple, measuring just the a effect

tickfa :: (a -> b) -> a -> IO ((Cycles, Cycles), b)

`tickfa f a` applies a to f, and strictly returns a (number of cycles, application result) tuple, measuring both the f and the a effects separately.

spin :: Int -> ((a -> b) -> a -> IO (c, b)) -> (a -> b) -> a -> IO ([c], b)

n measurements of whatever tick engine

spins :: Int -> ((a -> b) -> a -> IO (c, b)) -> (a -> b) -> [a] -> IO ([[c]], [b])

spinM :: Int -> ((a -> IO b) -> a -> IO (c, b)) -> (a -> IO b) -> a -> IO ([c], b)

n measurements of whatever tick engine

warmup :: Int -> IO Double

warm up the register, and the setup

force :: NFData a => a -> a

helpers

replicateM' :: Monad m => Int -> m a -> m [a]

Orphan instances

Semigroup Cycles

Methods

(<>) :: Cycles -> Cycles -> Cycles

sconcat :: NonEmpty Cycles -> Cycles

stimes :: Integral b => b -> Cycles -> Cycles

Monoid Cycles

Methods

mempty :: Cycles

mappend :: Cycles -> Cycles -> Cycles

mconcat :: [Cycles] -> Cycles