Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Time and size limits
Documentation
Size limit is an Int
which meaning is given by checkBudget
and decSizeBudget
.
:: 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.
Decrement free size in a budget.
showTimeout :: Double -> String Source