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. fromListBindEnv :: [(BindId, (Symbol, SortedReft, a))] -> BindEnv a

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

2. fromListIBindEnv :: [BindId] -> IBindEnv

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

3. fromListSEnv :: [(Symbol, a)] -> SEnv a

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

4. fromListREnv :: [(Symbol, SpecType)] -> [(Symbol, SpecType)] -> REnv

   liquidhaskell-boot	Language.Haskell.Liquid.Constraint.Env

   No documentation available.

5. fromListHEnv :: [Symbol] -> HEnv

   liquidhaskell-boot	Language.Haskell.Liquid.Constraint.Types

   No documentation available.

6. fromListBalanced :: [a] -> AList a

   monad-par-extras	Control.Monad.Par.AList

   Convert an ordinary list, but do so using Append and ASing rather than AList

7. fromListWith :: (Ord k, MonoidNull v) => (v -> v -> v) -> [(k, v)] -> MonoidMap k v

   monoidmap-internal	Data.MonoidMap.Internal

   Constructs a MonoidMap from a list of key-value pairs, with a combining function for values. If the list contains more than one value for the same key, values are combined together in the order that they appear with the given combining function. Satisfies the following property for all possible keys k:

   get k (fromListWith f kvs) ==
   maybe mempty (foldl1 f)
   (nonEmpty (snd <$> filter ((== k) . fst) kvs))
   

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

   streamly-core	Streamly.Data.Array

   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.

9. fromListN :: Int -> [a] -> Array a

   streamly-core	Streamly.Data.Array.Generic

   No documentation available.

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

    streamly-core	Streamly.Data.MutArray

    Create a MutArray 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.

Page 54 of many | Previous | Next