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. msSort :: MeasureV v ty ctor -> ty

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

   No documentation available.

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

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

   No documentation available.

3. pruneUnsorted :: Config -> Bool

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

   enable prunning unsorted Refinements

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

   liquidhaskell-boot	Language.Haskell.Liquid.WiredIn

   No documentation available.

5. Opt_SortBySizeHoleFits :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

6. Opt_SortBySubsumHoleFits :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

7. Opt_SortValidHoleFits :: GeneralFlag

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

8. data TupleSort

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

9. itsOrTheir :: [a] -> SDoc

   liquidhaskell-boot	Liquid.GHC.API

   Determines the form of possessive appropriate for the length of a list:

   itsOrTheir [x]   = text "its"
   itsOrTheir [x,y] = text "their"
   itsOrTheir []    = text "their"  -- probably avoid this
   

10. thisOrThese :: [a] -> SDoc

    liquidhaskell-boot	Liquid.GHC.API

    Determines the form of subject appropriate for the length of a list:

    thisOrThese [x]   = text "This"
    thisOrThese [x,y] = text "These"
    thisOrThese []    = text "These"  -- probably avoid this
    

Page 158 of many | Previous | Next