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

   liquid-fixpoint	Language.Fixpoint.Types.Environments

   No documentation available.

2. tceFromList :: (Eq a, Hashable a) => [(a, (Sort, TCArgs))] -> TCEmb a

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

3. dfromList :: [(Var, HashMap Symbol (RISig t))] -> DEnv Var t

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

   Dictionary Environment ----------------------------------------------------

4. type RowsfromList = NonEmpty RowsfromItem

   postgresql-syntax	PostgresqlSyntax.Ast

   References

   rowsfrom_list:
   | rowsfrom_item
   | rowsfrom_list ',' rowsfrom_item
   

5. rowsfromList :: HeadedParsec Void Text (NonEmpty RowsfromItem)

   postgresql-syntax	PostgresqlSyntax.Parsing

   No documentation available.

6. rowsfromList :: RowsfromList -> TextBuilder

   postgresql-syntax	PostgresqlSyntax.Rendering

   No documentation available.

7. pinnedFromList :: Unbox a => [a] -> Array a

   streamly-core	Streamly.Internal.Data.Array

   Like fromList but creates a pinned array.

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

   streamly-core	Streamly.Internal.Data.Array

   Like fromListN but creates a pinned array.

9. pinnedFromList :: (MonadIO m, Unbox a) => [a] -> m (MutArray a)

   streamly-core	Streamly.Internal.Data.MutArray

   Like fromList but creates a pinned array.

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

    streamly-core	Streamly.Internal.Data.MutArray

    Like fromListN but creates a pinned array.

Page 72 of many | Previous | Next