Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. sizedBitVecSort :: Symbol -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

2. strSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

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

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

4. data SmtSort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   A Refinement of Sort that describes SMTLIB Sorts

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

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   Coercing sorts inside environments for SMT theory encoding

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

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   No documentation available.

7. seSort :: SymEnv -> !SEnv Sort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   Sorts of *all* defined symbols

8. symEnvSort :: Symbol -> SymEnv -> Maybe Sort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   No documentation available.

9. tsSort :: TheorySymbol -> !Sort

   liquid-fixpoint	Language.Fixpoint.Types.Theories

   sort

10. foldSort :: (a -> Sort -> a) -> a -> Sort -> a

    liquid-fixpoint	Language.Fixpoint.Types.Visitor

    Visitors over Sort

Page 155 of many | Previous | Next