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. fTyconSelfSort :: FTycon -> Int -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

2. fTyconSort :: FTycon -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

3. funcSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

4. functionSort :: Sort -> Maybe ([Int], [Sort], Sort)

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

5. intSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

6. mapSort :: Sort -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

7. mkSortSubst :: [(Symbol, Sort)] -> SortSubst

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

8. muSort :: [DataDecl] -> [DataDecl]

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

9. realSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

10. setSort :: Sort -> Sort

    liquid-fixpoint	Language.Fixpoint.Types.Sorts

    No documentation available.

Page 154 of many | Previous | Next