Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
class SMTWriter h =>
SMTReadWriter hwhat4 What4.Protocol.SMTWriter Used when we need two way communication with the solver.
leThreadId :: LogEvent -> ThreadIdwhat4 What4.Serialize.Log ID of thread that generated the event.
-
what4 What4.Solver.Yices Wrapper to help with reading from another process's standard out and stderr. We want to be able to read from another process's stderr and stdout without causing the process to stall because stdout or stderr becomes full. This data type will read from either of the handles, and buffer as much data as needed in the queue. It then provides a line-based method for reading that data as strict bytestrings.
startHandleReader :: Handle -> Maybe (OutputStream Text) -> IO HandleReaderwhat4 What4.Solver.Yices Create a new handle reader for reading the given handle.
module What4.Utils.
HandleReader No documentation available.
-
what4 What4.Utils.HandleReader Wrapper to help with reading from another process's standard out and stderr. We want to be able to read from another process's stderr and stdout without causing the process to stall because stdout or stderr becomes full. This data type will read from either of the handles, and buffer as much data as needed in the queue. It then provides a line-based method for reading that data as strict bytestrings.
HandleReader :: !Chan (Maybe Text) -> Handle -> ThreadId -> HandleReaderwhat4 What4.Utils.HandleReader No documentation available.
hrThreadId :: HandleReader -> !ThreadIdwhat4 What4.Utils.HandleReader No documentation available.
startHandleReader :: Handle -> Maybe (OutputStream Text) -> IO HandleReaderwhat4 What4.Utils.HandleReader Create a new handle reader for reading the given handle.
stopHandleReader :: HandleReader -> IO ()what4 What4.Utils.HandleReader Stop the handle reader; cannot be used afterwards.