Hoogle Search
Within LTS Haskell 24.33 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
readChan :: UnagiPrim a => OutChan a -> IO aunagi-chan Control.Concurrent.Chan.Unagi.Unboxed Read an element from the chan, blocking if the chan is empty. Note re. exceptions: When an async exception is raised during a readChan the message that the read would have returned is likely to be lost, even when the read is known to be blocked on an empty queue. If you need to handle this scenario, you can use readChanOnException.
readChanOnException :: UnagiPrim a => OutChan a -> (IO a -> IO ()) -> IO aunagi-chan Control.Concurrent.Chan.Unagi.Unboxed Like readChan but allows recovery of the queue element which would have been read, in the case that an async exception is raised during the read. To be precise exceptions are raised, and the handler run, only when readChanOnException is blocking. The second argument is a handler that takes a blocking IO action returning the element, and performs some recovery action. When the handler is called, the passed IO a is the only way to access the element.
-
web-rep Web.Rep.SharedReps Parse from a textbox Uses focusout so as not to spam the reader.
-
web-rep Web.Rep.SharedReps Parse from a textbox Uses focusout so as not to spam the reader.
readDecimal :: MonadFail m => String -> m (Rational, String)what4 What4.Protocol.ReadDecimal Read decimal number, returning rational and rest of string, or a failure message if first character is not a digit. A decimal number has the form (-)([0..9])+([0..9])+.([0.9]'*(?)?
readCheckSatResponse :: Handle -> IO CheckSatResponsewhat4 What4.Protocol.SMTLib2.Parse Read the results of a (check-sat) request.
readGetModelResponse :: Handle -> IO GetModelResponsewhat4 What4.Protocol.SMTLib2.Parse This reads the model response from a "(get-model)" request.
readBaseTypes :: MonadError String m => SExpr -> m (Some (Assignment BaseTypeRepr))what4 What4.Serialize.Parser No documentation available.
readAllLines :: HandleReader -> IO Textwhat4 What4.Utils.HandleReader No documentation available.
readNextLine :: HandleReader -> IO (Maybe Text)what4 What4.Utils.HandleReader No documentation available.