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. muSort :: [DataDecl] -> [DataDecl]

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

2. realSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   Exported Basic Sorts -----------------------------------------------

3. setSort :: Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

4. sizedBitVecSort :: Symbol -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

5. strSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   Exported Basic Sorts -----------------------------------------------

6. substSort :: (Symbol -> Sort) -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

7. data SmtSort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   A Refinement of Sort that describes SMTLIB Sorts

8. coerceSortEnv :: ElabFlags -> SEnv Sort -> SEnv Sort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   Coercing sorts inside environments for SMT theory encoding

9. isIntSmtSort :: SEnv DataDecl -> Sort -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   No documentation available.

10. seSort :: SymEnv -> !SEnv Sort

    liquid-fixpoint	Language.Fixpoint.Types.Theories

    Sorts of *all* defined symbols

Page 155 of many | Previous | Next