Lang.Crucible.Utils.Timeout
newtype Timeout Source #
A timeout, in seconds.
Constructors
Fields
Defined in Lang.Crucible.Utils.Timeout
Methods
showsPrec :: Int -> Timeout -> ShowS #
show :: Timeout -> String #
showList :: [Timeout] -> ShowS #
(==) :: Timeout -> Timeout -> Bool #
(/=) :: Timeout -> Timeout -> Bool #
compare :: Timeout -> Timeout -> Ordering #
(<) :: Timeout -> Timeout -> Bool #
(<=) :: Timeout -> Timeout -> Bool #
(>) :: Timeout -> Timeout -> Bool #
(>=) :: Timeout -> Timeout -> Bool #
max :: Timeout -> Timeout -> Timeout #
min :: Timeout -> Timeout -> Timeout #
data TimedOut Source #
A task timed out.
showsPrec :: Int -> TimedOut -> ShowS #
show :: TimedOut -> String #
showList :: [TimedOut] -> ShowS #
withTimeout Source #
Arguments
Timeout duration (seconds)
Task to attempt
Execute a task with a timeout.
Implemented via race, so re-throws exceptions that occur during the task (if it completes before the timeout).
race