Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
System.SimpleTimeout.Limits
Description
Time and size limits
Documentation
Size limit is an Int
which meaning is given by checkBudget
and decSizeBudget
.
Arguments
:: Budget | |
-> Int | decrement size budget with this value |
-> (Double -> IO a) | what to do in case of timeout ( |
-> IO a | what to do in case there is no more space |
-> IO a | what to do in a normal case |
-> IO a |
Check budget and take another action if there is no more resource.
Arguments
:: Budget | |
-> (SizeLimit -> (SizeLimit, a)) | funtion to modify free size and produce a value |
-> IO a |
Decrement free size in a budget.
showTimeout :: Double -> String Source #