| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Weigh
Contents
Description
Framework for seeing how much a function allocates.
Example:
import Weigh
main =
mainWith (do func "integers count 0" count 0
func "integers count 1" count 1
func "integers count 2" count 2
func "integers count 3" count 3
func "integers count 10" count 10
func "integers count 100" count 100)
where count :: Integer -> ()
count 0 = ()
count a = count (a - 1)
- mainWith :: Weigh a -> IO ()
- weighResults :: Weigh a -> IO ([(Weight, Maybe String)], Config)
- setColumns :: [Column] -> Weigh ()
- data Column
- func :: NFData a => String -> (b -> a) -> b -> Weigh ()
- io :: NFData a => String -> (b -> IO a) -> b -> Weigh ()
- value :: NFData a => String -> a -> Weigh ()
- action :: NFData a => String -> IO a -> Weigh ()
- validateAction :: NFData a => String -> (b -> IO a) -> b -> (Weight -> Maybe String) -> Weigh ()
- validateFunc :: NFData a => String -> (b -> a) -> b -> (Weight -> Maybe String) -> Weigh ()
- maxAllocs :: Int64 -> Weight -> Maybe String
- data Weigh a
- data Weight = Weight {
- weightLabel :: !String
- weightAllocatedBytes :: !Int64
- weightGCs :: !Int64
- weightLiveBytes :: !Int64
- weightMaxBytes :: !Int64
- commas :: (Num a, Integral a, Show a) => a -> String
- weighDispatch :: [String] -> [(String, Action)] -> IO (Maybe [Weight])
- weighFunc :: NFData a => (b -> a) -> b -> IO (Int64, Int64, Int64, Int64)
- weighAction :: NFData a => (b -> IO a) -> b -> IO (Int64, Int64, Int64, Int64)
Main entry points
weighResults :: Weigh a -> IO ([(Weight, Maybe String)], Config) Source #
Run the measuring and return all the results, each one may have an error.
Configuration
setColumns :: [Column] -> Weigh () Source #
Set the config. Default is: defaultConfig.
Table column.
Simple combinators
Arguments
| :: NFData a | |
| => String | Name of the case. |
| -> (b -> a) | Function that does some action to measure. |
| -> b | Argument to that function. |
| -> Weigh () |
Weigh a function applied to an argument.
Implemented in terms of validateFunc.
Arguments
| :: NFData a | |
| => String | Name of the case. |
| -> (b -> IO a) | Aciton that does some IO to measure. |
| -> b | Argument to that function. |
| -> Weigh () |
Weigh an action applied to an argument.
Implemented in terms of validateAction.
Weigh a value.
Implemented in terms of action.
Weigh an IO action.
Implemented in terms of validateAction.
Validating combinators
Arguments
| :: NFData a | |
| => String | Name of the action. |
| -> (b -> IO a) | The function which performs some IO. |
| -> b | Argument to the function. Doesn't have to be forced. |
| -> (Weight -> Maybe String) | A validating function, returns maybe an error. |
| -> Weigh () |
Weigh an IO action, validating the result.
Arguments
| :: NFData a | |
| => String | Name of the function. |
| -> (b -> a) | The function which calculates something. |
| -> b | Argument to the function. Doesn't have to be forced. |
| -> (Weight -> Maybe String) | A validating function, returns maybe an error. |
| -> Weigh () |
Weigh a function, validating the result
Validators
Make a validator that set sthe maximum allocations.
Types
Weigh specification monad.
How much a computation weighed in at.
Constructors
| Weight | |
Fields
| |
Handy utilities
commas :: (Num a, Integral a, Show a) => a -> String Source #
Formatting an integral number to 1,000,000, etc.
Internals
Arguments
| :: [String] | Program arguments. |
| -> [(String, Action)] | Weigh name:action mapping. |
| -> IO (Maybe [Weight]) |
Weigh a set of actions. The value of the actions are forced completely to ensure they are fully allocated.