| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Proof.Assistant.ResourceLimit
Synopsis
- makeResourceLimits :: Limit -> ResourceLimits
- makeLimits :: ResourceSettings -> [(Resource, ResourceLimits)]
- setLimits :: ResourceSettings -> IO ()
- setPriority :: Priority -> IO ()
Documentation
makeResourceLimits :: Limit -> ResourceLimits Source #
Make ResourceLimits from soft/hard limits.
makeLimits :: ResourceSettings -> [(Resource, ResourceLimits)] Source #
Read Resources from ResourceSettings.
setLimits :: ResourceSettings -> IO () Source #
Read limits from ResourceSettings and set them for current thread.