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. type UnSortedExprs = [UnSortedExpr]

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

2. cSort :: CMeasure ty -> ty

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

3. dsort :: DefV v ty ctor -> Maybe ty

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

4. msSort :: MeasureV v ty ctor -> ty

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

5. msUnSorted :: MeasureV v ty ctor -> !UnSortedExprs

   liquidhaskell-boot	Language.Haskell.Liquid.Types.Types

   No documentation available.

6. pruneUnsorted :: Config -> Bool

   liquidhaskell-boot	Language.Haskell.Liquid.UX.Config

   enable prunning unsorted Refinements

7. wiredSortedSyms :: [(Symbol, Sort)]

   liquidhaskell-boot	Language.Haskell.Liquid.WiredIn

   No documentation available.

8. Opt_SortBySizeHoleFits :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

9. Opt_SortBySubsumHoleFits :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

10. Opt_SortValidHoleFits :: GeneralFlag

    liquidhaskell-boot	Liquid.GHC.API

    No documentation available.

Page 158 of many | Previous | Next