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. enumerateTo :: forall t (m :: Type -> Type) a . (IsStream t, Monad m, Bounded a, Enumerable a) => a -> t m a

   streamly	Streamly.Internal.Data.Stream.IsStream

   enumerateTo = enumerateFromTo minBound
   

   Enumerate a Bounded type from its minBound to specified value.

2. class Enum a => Enumerable a

   streamly	Streamly.Prelude

   Types that can be enumerated as a stream. The operations in this type class are equivalent to those in the Enum type class, except that these generate a stream instead of a list. Use the functions in Streamly.Internal.Data.Stream.Enumeration module to define new instances.

3. enumerate :: forall t (m :: Type -> Type) a . (IsStream t, Monad m, Bounded a, Enumerable a) => t m a

   streamly	Streamly.Prelude

   enumerate = enumerateFrom minBound
   

   Enumerate a Bounded type from its minBound to maxBound

4. enumerateFrom :: forall t (m :: Type -> Type) . (Enumerable a, IsStream t, Monad m) => a -> t m a

   streamly	Streamly.Prelude

   enumerateFrom from generates a stream starting with the element from, enumerating up to maxBound when the type is Bounded or generating an infinite stream when the type is not Bounded.

   >>> Stream.toList $ Stream.take 4 $ Stream.enumerateFrom (0 :: Int)
   [0,1,2,3]
   

   For Fractional types, enumeration is numerically stable. However, no overflow or underflow checks are performed.

   >>> Stream.toList $ Stream.take 4 $ Stream.enumerateFrom 1.1
   [1.1,2.1,3.1,4.1]
   

5. enumerateFromThen :: forall t (m :: Type -> Type) . (Enumerable a, IsStream t, Monad m) => a -> a -> t m a

   streamly	Streamly.Prelude

   enumerateFromThen from then generates a stream whose first element is from, the second element is then and the successive elements are in increments of then - from. Enumeration can occur downwards or upwards depending on whether then comes before or after from. For Bounded types the stream ends when maxBound is reached, for unbounded types it keeps enumerating infinitely.

   >>> Stream.toList $ Stream.take 4 $ Stream.enumerateFromThen 0 2
   [0,2,4,6]
   
   >>> Stream.toList $ Stream.take 4 $ Stream.enumerateFromThen 0 (-2)
   [0,-2,-4,-6]
   

6. enumerateFromThenTo :: forall t (m :: Type -> Type) . (Enumerable a, IsStream t, Monad m) => a -> a -> a -> t m a

   streamly	Streamly.Prelude

   enumerateFromThenTo from then to generates a finite stream whose first element is from, the second element is then and the successive elements are in increments of then - from up to to. Enumeration can occur downwards or upwards depending on whether then comes before or after from.

   >>> Stream.toList $ Stream.enumerateFromThenTo 0 2 6
   [0,2,4,6]
   
   >>> Stream.toList $ Stream.enumerateFromThenTo 0 (-2) (-6)
   [0,-2,-4,-6]
   

7. enumerateFromTo :: forall t (m :: Type -> Type) . (Enumerable a, IsStream t, Monad m) => a -> a -> t m a

   streamly	Streamly.Prelude

   Generate a finite stream starting with the element from, enumerating the type up to the value to. If to is smaller than from then an empty stream is returned.

   >>> Stream.toList $ Stream.enumerateFromTo 0 4
   [0,1,2,3,4]
   

   For Fractional types, the last element is equal to the specified to value after rounding to the nearest integral value.

   >>> Stream.toList $ Stream.enumerateFromTo 1.1 4
   [1.1,2.1,3.1,4.1]
   
   >>> Stream.toList $ Stream.enumerateFromTo 1.1 4.6
   [1.1,2.1,3.1,4.1,5.1]
   

8. enumerateTo :: forall t (m :: Type -> Type) a . (IsStream t, Monad m, Bounded a, Enumerable a) => a -> t m a

   streamly	Streamly.Prelude

   enumerateTo = enumerateFromTo minBound
   

   Enumerate a Bounded type from its minBound to specified value.

9. newDupableEnumSupply :: Enum a => IO (Supply a)

   streams	Data.Stream.Supply

   No documentation available.

10. newDupableNumSupply :: Num a => IO (Supply a)

    streams	Data.Stream.Supply

    No documentation available.

Page 538 of many | Previous | Next