Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

Exact lookup

1. unsafeFromList :: [a] -> NonEmptyVector a

   nonempty-vector	Data.Vector.NonEmpty

   O(n) Convert from a list to a non-empty vector. Warning: the onus is on the user to ensure that their vector is not empty, otherwise all bets are off!

   >>> unsafeFromList [1..3]
   [1,2,3]
   

2. promotedTupleFromList :: Quote m => [m Type] -> m Type

   typelevel-tools-yj	Data.TypeLevel.List.TH

   No documentation available.

3. tupleFromList :: Quote m => [m Type] -> m Type

   typelevel-tools-yj	Data.TypeLevel.List.TH

   No documentation available.

4. toHtmlFromList :: HTML a => [a] -> Html

   xhtml	Text.XHtml.Frameset

   No documentation available.

5. toHtmlFromList :: HTML a => [a] -> Html

   xhtml	Text.XHtml.Strict

   No documentation available.

6. toHtmlFromList :: HTML a => [a] -> Html

   xhtml	Text.XHtml.Transitional

   No documentation available.

7. optStanzaSetFromList :: [OptionalStanza] -> OptionalStanzaSet

   cabal-install-solver	Distribution.Solver.Types.OptionalStanza

   No documentation available.

8. pkgConfigDbFromList :: [(String, String)] -> PkgConfigDb

   cabal-install-solver	Distribution.Solver.Types.PkgConfigDb

   Create a PkgConfigDb from a list of (packageName, version) pairs.

9. dfromList :: forall a (dom :: Domain) . NFDataX a => [a] -> DSignal dom 0 a

   clash-prelude	Clash.Explicit.Signal.Delayed

   Create a DSignal from a list Every element in the list will correspond to a value of the signal for one clock cycle.

   >>> sampleN 2 (toSignal (dfromList [1,2,3,4,5]))
   [1,2]
   

   NB: This function is not synthesizable

10. dfromList_lazy :: forall a (dom :: Domain) . [a] -> DSignal dom 0 a

    clash-prelude	Clash.Explicit.Signal.Delayed

    Create a DSignal from a list Every element in the list will correspond to a value of the signal for one clock cycle.

    >>> sampleN 2 (toSignal (dfromList [1,2,3,4,5]))
    [1,2]
    

    NB: This function is not synthesizable

Page 70 of many | Previous | Next