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.

Exact lookup

1. addReader :: Char -> Reader a -> SExprParser a c -> SExprParser a c

   s-cargot	Data.SCargot.Parse

   Add the ability to execute some particular reader macro, as defined by its initial character and the Parser which returns the parsed S-Expression. The Reader is passed a Parser which can be recursively called to parse more S-Expressions, and begins parsing after the reader character has been removed from the stream.

   >>> import Text.Parsec (alphaNum, char, many1)
   
   >>> let vecReader p = (char ']' *> pure SNil) <|> (SCons <$> p <*> vecReader p)
   
   >>> let parser = addReader '[' vecReader (mkParser (many1 alphaNum))
   
   >>> decode parser "(an [ele phant])"
   Right [SCons (SAtom "an") (SCons (SCons (SAtom "ele") (SCons (SAtom "phant") SNil)) SNil)]
   

2. sReady :: SBV State

   sbv	Documentation.SBV.Examples.Lists.BoundedMutex

   Symbolic version of the constructor Ready.

3. eAlready :: SocketException

   socket	System.Socket

   Operation already in progress. NOTE: This exception shall not be thrown by any public operation in this library, but is handled internally.

4. waitRead :: Socket f t p -> Int -> IO ()

   socket	System.Socket.Unsafe

   No documentation available.

5. defaultReaderInfo :: ReaderInfo

   soxlib	Sound.SoxLib

   No documentation available.

6. openRead :: ReaderInfo -> FilePath -> IO (FormatPtr ReadMode)

   soxlib	Sound.SoxLib

   This function will never return a nullPtr. Instead it throws a user exception if the file cannot be opened.

7. withRead :: ReaderInfo -> FilePath -> (FormatPtr ReadMode -> IO a) -> IO a

   soxlib	Sound.SoxLib

   No documentation available.

8. chunkReader :: forall (m :: Type -> Type) . MonadIO m => Unfold m () (Array Word8)

   streamly-core	Streamly.Console.Stdio

   Unfolds standard input into a stream of Word8 arrays.

9. runReaderT :: Monad m => m s -> Stream (ReaderT s m) a -> Stream m a

   streamly-core	Streamly.Data.Stream

   Evaluate the inner monad of a stream as ReaderT.

10. chunkReader :: forall (m :: Type -> Type) . MonadIO m => Unfold m Handle (Array Word8)

    streamly-core	Streamly.FileSystem.Handle

    Unfolds a handle into a stream of Word8 arrays. Requests to the IO device are performed using a buffer of size defaultChunkSize. The size of arrays in the resulting stream are therefore less than or equal to defaultChunkSize.

    >>> chunkReader = Unfold.first IO.defaultChunkSize Handle.chunkReaderWith
    

Page 728 of many | Previous | Next