Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. fromListRev :: (MonadIO m, Unbox a) => [a] -> m (MutArray a)

   streamly-core	Streamly.Internal.Data.MutArray

   Like fromList but writes the contents of the list in reverse order.

2. fromListRevN :: (MonadIO m, Unbox a) => Int -> [a] -> m (MutArray a)

   streamly-core	Streamly.Internal.Data.MutArray

   Like fromListN but writes the array in reverse order. Pre-release

3. fromListN :: MonadIO m => Int -> [a] -> m (MutArray a)

   streamly-core	Streamly.Internal.Data.MutArray.Generic

   No documentation available.

4. fromListM :: Monad m => [m a] -> Stream m a

   streamly-core	Streamly.Internal.Data.Stream

   Convert a list of monadic actions to a Stream

5. fromListM :: Applicative m => Unfold m [m a] a

   streamly-core	Streamly.Internal.Data.Unfold

   Convert a list of monadic values to a Stream

6. fromListN :: forall (m :: Type -> Type) a . Monad m => Int -> [a] -> Stream m a

   vector-stream	Data.Stream.Monadic

   Convert the first n elements of a list to a Bundle

7. fromListElementWitness :: forall (t :: k) . ListElementWitness w => ListElementType (WitnessTypeList w) t -> w t

   witness	Data.Type.Witness.General.ListElement

   No documentation available.

8. fromLists :: (Ord i, Num i, Enum i, HasZero b) => Size i -> [[b]] -> Matrix i b

   Agda	Agda.Termination.SparseMatrix

   fromLists sz rs constructs a matrix from a list of lists of values (a list of rows). O(size) where size = rows × cols. Precondition: length rs == rows sz and all ((cols sz ==) . length) rs.

9. fromListPrecondition :: (Eq k, Eq v, Eq (Tag v), HasTag v) => [(k, v)] -> Bool

   Agda	Agda.Utils.BiMap

   No documentation available.

10. fromListN :: IsList l => Int -> [Item l] -> l

    Agda	Agda.Utils.List1

    The fromListN function takes the input list's length and potentially uses it to construct the structure l more efficiently compared to fromList. If the given number does not equal to the input list's length the behaviour of fromListN is not specified.

    fromListN (length xs) xs == fromList xs
    

Page 55 of many | Previous | Next