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. substSortInExpr :: (Symbol -> Sort) -> Expr -> Expr

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

2. trueSortedReft :: Sort -> SortedReft

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

3. envSorts :: Index -> !SEnv Sort

   liquid-fixpoint	Language.Fixpoint.Types.Solutions

   Sorts for all symbols , bindPrev :: !(BIndex |-> BIndex) -- ^ "parent" (immediately dominating) binder , kvDeps :: !(CMap [KIndex]) -- ^ List of (Cut) KVars on which a SubC depends

4. arraySort :: Sort -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

5. bagSort :: Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

6. basicSorts :: [Sort]

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

7. bitVecSort :: Int -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

8. boolSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

9. charSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

10. dfSort :: DataField -> !Sort

    liquid-fixpoint	Language.Fixpoint.Types.Sorts

    Field Sort

Page 153 of many | Previous | Next