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. sortNub :: Ord a => [a] -> [a]

   liquid-fixpoint	Language.Fixpoint.Misc

   No documentation available.

2. sortNubBy :: Eq a => (a -> a -> Ordering) -> [a] -> [a]

   liquid-fixpoint	Language.Fixpoint.Misc

   No documentation available.

3. sortP :: ParserV v Sort

   liquid-fixpoint	Language.Fixpoint.Parse

   Parser for sorts (types).

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

   liquid-fixpoint	Language.Fixpoint.Smt.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.

5. sortExpr :: SrcSpan -> SEnv Sort -> Expr -> Sort

   liquid-fixpoint	Language.Fixpoint.SortCheck

   Sort Inference ------------------------------------------------------------

6. sortVars :: Sort -> [Symbol]

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   No documentation available.

7. sortSubstInExpr :: SortSubst -> Expr -> Expr

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

8. sortedReftSymbols :: SortedReft -> HashSet Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

9. sortAbs :: Sort -> Int

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

10. sortFTycon :: Sort -> Maybe FTycon

    liquid-fixpoint	Language.Fixpoint.Types.Sorts

    No documentation available.

Page 35 of many | Previous | Next