What4.Utils.Serialize

Documentation

withRounding :: forall sym tp. IsExprBuilder sym => sym -> SymBV sym 2 -> (RoundingMode -> IO (SymExpr sym tp)) -> IO (SymExpr sym tp)

makeSymbol :: String -> SolverSymbol

Try converting any String into a SolverSymbol. If it is an invalid symbol, then error.

asyncLinked :: MonadUnliftIO m => m () -> m (Async ())

Fork an async action that is linked to the parent thread, but can be safely canceld without also killing the parent thread.

Note that if your async doesn't return unit, then you probably want to wait for it instead, which eliminates the need for linking it. Also, if you plan to cancel the async near where you fork it, then withAsyncLinked is a better choice than using this function and subsequently canceling, since it ensures cancellation.

See https://github.com/simonmar/async/issues/25 for a perhaps more robust, but also harder to use version of this. The linked version is harder to use because it requires a special version of cancel.

withAsyncLinked :: MonadUnliftIO m => m () -> (Async () -> m a) -> m a

A version of withAsync that safely links the child. See asyncLinked.