Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

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

   streamly-core	Streamly.Internal.Data.Stream

   Convert a list of monadic actions to a Stream

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

   streamly-core	Streamly.Internal.Data.Unfold

   Convert a list of monadic values to a Stream

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

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

   witness	Data.Type.Witness.General.ListElement

   No documentation available.

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

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

   Agda	Agda.Utils.BiMap

   No documentation available.

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

8. fromListSafe :: List1 a -> [a] -> List1 a

   Agda	Agda.Utils.List1

   Safe version of fromList.

9. fromList1 :: List1 a -> List2 a

   Agda	Agda.Utils.List2

   Unsafe! O(1).

10. fromList1Either :: List1 a -> Either a (List2 a)

    Agda	Agda.Utils.List2

    Any List1 is either a singleton or a List2. O(1).

Page 56 of many | Previous | Next