Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. sortSubstInExpr :: SortSubst -> Expr -> Expr

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

2. sortedReftSymbols :: SortedReft -> HashSet Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

3. sortAbs :: Sort -> Int

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

4. sortFTycon :: Sort -> Maybe FTycon

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

5. sortSubst :: SortSubst -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

6. sortSymbols :: Sort -> HashSet Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

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

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

   liquid-fixpoint	Language.Fixpoint.Types.Utils

   Split a SortedReft into its concrete and KVar components

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

   liquidhaskell-boot	Language.Haskell.Liquid.Misc

   No documentation available.

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

    liquidhaskell-boot	Language.Haskell.Liquid.Misc

    No documentation available.

Page 34 of many | Previous | Next