Hoogle Search

Within LTS Haskell 24.37 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. readList :: Read a => ReadS [a]

   streamly	Streamly.Data.Stream.MkType

   The method readList is provided to allow the programmer to give a specialised way of parsing lists of values. For example, this is used by the predefined Read instance of the Char type, where values of type String are expected to use double quotes, rather than square brackets.

2. readListPrec :: Read a => ReadPrec [a]

   streamly	Streamly.Data.Stream.MkType

   Proposed replacement for readList using new-style parsers (GHC only). The default definition uses readList. Instances that define readPrec should also define readListPrec as readListPrecDefault.

3. parList :: forall (m :: Type -> Type) a . MonadAsync m => (Config -> Config) -> [Stream m a] -> Stream m a

   streamly	Streamly.Data.Stream.Prelude

   Like parConcat but works on a list of streams.

   >>> parList modifier = Stream.parConcat modifier . Stream.fromList
   

4. contListMap :: (a -> (b -> r) -> r) -> ([b] -> (c -> r) -> r) -> [a] -> (c -> r) -> r

   streamly	Streamly.Internal.Data.Cont

   Given a continuation based transformation from a to b and a continuation based transformation from [b] to c, make continuation based transformation from [a] to c. Pre-release

5. fromList :: forall (m :: Type -> Type) t a . (Monad m, IsStream t) => [a] -> t m a

   streamly	Streamly.Internal.Data.Stream.IsStream

   fromList = foldr cons nil
   

   Construct a stream from a list of pure values. This is more efficient than fromFoldable for serial streams.

6. fromList :: forall (m :: Type -> Type) t a . (Monad m, IsStream t) => [a] -> t m a

   streamly	Streamly.Internal.Data.Stream.IsStream

   fromList = foldr cons nil
   

   Construct a stream from a list of pure values. This is more efficient than fromFoldable for serial streams.

7. fromListM :: (MonadAsync m, IsStream t) => [m a] -> t m a

   streamly	Streamly.Internal.Data.Stream.IsStream

   >>> fromListM = Stream.fromFoldableM
   
   >>> fromListM = Stream.sequence . Stream.fromList
   
   >>> fromListM = Stream.mapM id . Stream.fromList
   
   >>> fromListM = Prelude.foldr Stream.consM Stream.nil
   

   Construct a stream from a list of monadic actions. This is more efficient than fromFoldableM for serial streams.

8. toList :: Monad m => SerialT m a -> m [a]

   streamly	Streamly.Internal.Data.Stream.IsStream

   toList = Stream.foldr (:) []
   

   Convert a stream into a list in the underlying monad. The list can be consumed lazily in a lazy monad (e.g. Identity). In a strict monad (e.g. IO) the whole list is generated and buffered before it can be consumed. Warning! working on large lists accumulated as buffers in memory could be very inefficient, consider using Streamly.Array instead.

9. toListRev :: Monad m => SerialT m a -> m [a]

   streamly	Streamly.Internal.Data.Stream.IsStream

   toListRev = Stream.foldl' (flip (:)) []
   

   Convert a stream into a list in reverse order in the underlying monad. Warning! working on large lists accumulated as buffers in memory could be very inefficient, consider using Streamly.Array instead. Pre-release

10. parList :: forall (m :: Type -> Type) a . MonadAsync m => (Config -> Config) -> [Stream m a] -> Stream m a

    streamly	Streamly.Internal.Data.Stream.Prelude

    Like parConcat but works on a list of streams.

    >>> parList modifier = Stream.parConcat modifier . Stream.fromList
    

Page 225 of many | Previous | Next