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. boolSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

2. charSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

3. dfSort :: DataField -> !Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   Field Sort

4. fTyconSelfSort :: FTycon -> Int -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

5. fTyconSort :: FTycon -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

6. funcSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

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

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

8. intSort :: Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

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

9. mapSort :: Sort -> Sort -> Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

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

    liquid-fixpoint	Language.Fixpoint.Types.Sorts

    No documentation available.

Page 154 of many | Previous | Next