Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. CMany :: [Command] -> Command

   liquid-fixpoint	Language.Fixpoint.Smt.Interface

   No documentation available.

2. CMany :: [Command] -> Command

   liquid-fixpoint	Language.Fixpoint.Smt.Types

   No documentation available.

3. buildMany :: [Builder] -> Builder

   liquid-fixpoint	Language.Fixpoint.Types.Names

   No documentation available.

4. isAnyTemplates :: Templates -> Bool

   liquid-fixpoint	Language.Fixpoint.Types.Templates

   No documentation available.

5. LHAnyModuleNameF :: LHThisModuleNameFlag

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

   No documentation available.

6. pprManyOrdered :: (PPrint a, Ord a) => Tidy -> String -> [a] -> [Doc]

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

   No documentation available.

7. expectAnyError :: Config -> Bool

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

   expect failure from Liquid with any message

8. pattern ManyTy :: Mult

   liquidhaskell-boot	Liquid.GHC.API

   No documentation available.

9. deleteMany :: Key -> Occur -> IntMultiSet -> IntMultiSet

   multiset	Data.IntMultiSet

   O(min(n,W)). Delete an element from a multiset a given number of times. Negative numbers add occurrences of the given element.

10. insertMany :: Key -> Occur -> IntMultiSet -> IntMultiSet

    multiset	Data.IntMultiSet

    O(min(n,W)). Insert an element in a multiset a given number of times. Negative numbers remove occurrences of the given element.

Page 199 of many | Previous | Next