| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Data.Data.Eval
Description
Conversion to GenericData with time and space limit.
- eval :: Data a => TimeLimit -> SizeLimit -> a -> IO GenericData
- evalWithBudget :: Data a => Budget -> a -> IO GenericData
Documentation
eval :: Data a => TimeLimit -> SizeLimit -> a -> IO GenericData Source
Evaluation with time an size limit.
evalWithBudget :: Data a => Budget -> a -> IO GenericData Source
Gives more control over the resources