Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. AscDescSortBy :: AExpr -> Maybe AscDesc -> Maybe NullsOrder -> SortBy

   postgresql-syntax	PostgresqlSyntax.Ast

   No documentation available.

2. UsingSortBy :: AExpr -> QualAllOp -> Maybe NullsOrder -> SortBy

   postgresql-syntax	PostgresqlSyntax.Ast

   No documentation available.

3. package samsort

   A stable adaptive mergesort implementation A stable adaptive mergesort implementation.

4. module Data.SamSort

   A stable adaptive mergesort implementation. The merging strategy used is "2-merge" as described by

   • Sam Buss, Alexander Knop, "Strategies for Stable Merge Sorting", 2018, https://arxiv.org/abs/1801.04641

5. KUserSort :: String -> Maybe [String] -> Kind

   sbv	Data.SBV

   No documentation available.

6. isUserSort :: HasKind a => a -> Bool

   sbv	Data.SBV

   No documentation available.

7. mkUninterpretedSort :: Name -> Q [Dec]

   sbv	Data.SBV

   Make an uninterpred sort.

8. CUserSort :: (Maybe Int, String) -> CVal

   sbv	Data.SBV.Dynamic

   Value of an uninterpreted/user kind. The Maybe Int shows index position for enumerations

9. KUserSort :: String -> Maybe [String] -> Kind

   sbv	Data.SBV.Dynamic

   No documentation available.

10. isUserSort :: HasKind a => a -> Bool

    sbv	Data.SBV.Dynamic

    No documentation available.

Page 159 of many | Previous | Next