Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. sortSubst :: SortSubst -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

2. sortSymbols :: Sort -> HashSet Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

3. sortSmtSort :: Bool -> SEnv DataDecl -> Sort -> SmtSort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   The poly parameter is True when we are *declaring* sorts, and so we need to leave the top type variables be; it is False when we are declaring variables etc., and there, we serialize them using Int (though really, there SHOULD BE NO floating tyVars... 'smtSort True msg t' serializes a sort t using type variables, 'smtSort False msg t' serializes a sort t using Int instead of tyvars.

4. sortedReftConcKVars :: Symbol -> SortedReft -> ([Pred], [KVSub], [KVSub])

   liquid-fixpoint	Language.Fixpoint.Types.Utils

   Split a SortedReft into its concrete and KVar components

5. sortDiff :: Ord a => [a] -> [a] -> [a]

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

6. sortOn :: Ord b => (a -> b) -> [a] -> [a]

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

7. sortBy :: HeadedParsec Void Text SortBy

   postgresql-syntax	PostgresqlSyntax.Parsing

   No documentation available.

8. sortClause :: HeadedParsec Void Text SortClause

   postgresql-syntax	PostgresqlSyntax.Parsing

   No documentation available.

9. sortBy :: SortBy -> TextBuilder

   postgresql-syntax	PostgresqlSyntax.Rendering

   No documentation available.

10. sortClause :: SortClause -> TextBuilder

    postgresql-syntax	PostgresqlSyntax.Rendering

    No documentation available.

Page 36 of many | Previous | Next