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 GenericDataSource
Evaluation with time an size limit.
evalWithBudget :: Data a => Budget -> a -> IO GenericDataSource
Gives more control over the resources