Hoogle Search

Within LTS Haskell 24.49 (ghc-9.10.3)

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

Exact lookup

1. fromListSv :: Unbox a => Int -> [(Int, a)] -> SVector a

   rp-tree	Data.RPTree

   (Unsafe) Pack a SVector from its vector dimension and components Note : the relevant invariants are not checked :

   • vector components are _assumed_ to be in increasing order
   • vector dimension is larger than any component index

2. fromListUnbalanced :: [a] -> Vector a

   rrb-vector	Data.RRBVector.Internal.Debug

   Create a new unbalanced vector from a list. Note that it is not possbible to create an invalid Vector with this function.

3. fromList' :: forall (f :: Type -> Type) (n :: Nat) a . (Dom f a, CFreeMonoid f, KnownNat n) => [a] -> Maybe (Sized f n a)

   sized	Data.Sized

   fromList with the result length inferred. Since 0.7.0.0

4. fromListWithDefault :: forall (f :: Type -> Type) (n :: Nat) a . (Dom f a, CFreeMonoid f) => SNat n -> a -> [a] -> Sized f n a

   sized	Data.Sized

   Construct a Sized f n a by padding default value if the given list is short. Since 0.5.0.0 (type changed)

5. fromListWithDefault' :: forall (f :: Type -> Type) (n :: Nat) a . (KnownNat n, CFreeMonoid f, Dom f a) => a -> [a] -> Sized f n a

   sized	Data.Sized

   fromListWithDefault with the result length inferred. Since 0.7.0.0

6. fromListN :: Unbox a => Int -> [a] -> Array a

   streamly	Streamly.Data.Array.Foreign

   Create an Array from the first N elements of a list. The array is allocated to size N, if the list terminates before N elements then the array may hold less than N elements.

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. fromListM :: (MonadAsync m, IsStream t) => [m a] -> t m a

   streamly	Streamly.Prelude

   >>> 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.

9. fromListWith :: Ord c => (a -> a -> a) -> [([c], a)] -> TMap c a

   trie-simple	Data.Trie.Map

   No documentation available.

10. fromListN :: Unboxable a => Int -> [a] -> Vector a

    unboxing-vector	Data.Vector.Unboxing

    No documentation available.

Page 61 of many | Previous | Next