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. checkSortExpr :: SrcSpan -> SEnv Sort -> Expr -> Maybe Sort

   liquid-fixpoint	Language.Fixpoint.SortCheck

   No documentation available.

2. checkSortFull :: Checkable a => SrcSpan -> SEnv SortedReft -> Sort -> a -> ElabM (Maybe Doc)

   liquid-fixpoint	Language.Fixpoint.SortCheck

   No documentation available.

3. checkSorted :: Checkable a => SrcSpan -> SEnv Sort -> a -> ElabM (Maybe Doc)

   liquid-fixpoint	Language.Fixpoint.SortCheck

   No documentation available.

4. checkSortedReft :: SEnv SortedReft -> [Symbol] -> SortedReft -> Maybe Doc

   liquid-fixpoint	Language.Fixpoint.SortCheck

   Checking Refinements ------------------------------------------------------

5. checkSortedReftFull :: Checkable a => SrcSpan -> SEnv SortedReft -> a -> ElabM (Maybe Doc)

   liquid-fixpoint	Language.Fixpoint.SortCheck

   No documentation available.

6. exprSort :: String -> Expr -> Sort

   liquid-fixpoint	Language.Fixpoint.SortCheck

   Expressions sort ---------------------------------------------------------

7. exprSortMaybe :: Expr -> Maybe Sort

   liquid-fixpoint	Language.Fixpoint.SortCheck

   No documentation available.

8. pruneUnsortedReft :: SEnv Sort -> Templates -> SortedReft -> SortedReft

   liquid-fixpoint	Language.Fixpoint.SortCheck

   No documentation available.

9. strSort :: Sort

   liquid-fixpoint	Language.Fixpoint.SortCheck

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

10. unApplySortedReft :: SortedReft -> SortedReft

    liquid-fixpoint	Language.Fixpoint.SortCheck

    No documentation available.

Page 151 of many | Previous | Next