Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

1. data TupleSort

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

2. itsOrTheir :: [a] -> SDoc

   liquidhaskell-boot	Liquid.GHC.API

   Determines the form of possessive appropriate for the length of a list:

   itsOrTheir [x]   = text "its"
   itsOrTheir [x,y] = text "their"
   itsOrTheir []    = text "their"  -- probably avoid this
   

3. thisOrThese :: [a] -> SDoc

   liquidhaskell-boot	Liquid.GHC.API

   Determines the form of subject appropriate for the length of a list:

   thisOrThese [x]   = text "This"
   thisOrThese [x,y] = text "These"
   thisOrThese []    = text "These"  -- probably avoid this
   

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

   postgresql-syntax	PostgresqlSyntax.Ast

   No documentation available.

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

   postgresql-syntax	PostgresqlSyntax.Ast

   No documentation available.

6. package samsort

   A stable adaptive mergesort implementation A stable adaptive mergesort implementation.

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

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

   sbv	Data.SBV

   No documentation available.

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

   sbv	Data.SBV

   No documentation available.

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

    sbv	Data.SBV

    Make an uninterpred sort.

Page 159 of many | Previous | Next