Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

  1. isAnyTemplates :: Templates -> Bool

    liquid-fixpoint Language.Fixpoint.Types.Templates

    No documentation available.

  2. LHAnyModuleNameF :: LHThisModuleNameFlag

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

    No documentation available.

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

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

    No documentation available.

  4. expectAnyError :: Config -> Bool

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

    expect failure from Liquid with any message

  5. pattern ManyTy :: Mult

    liquidhaskell-boot Liquid.GHC.API

    No documentation available.

  6. 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.

  7. 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.

  8. deleteMany :: Ord a => a -> Occur -> MultiSet a -> MultiSet a

    multiset Data.MultiSet

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

  9. insertMany :: Ord a => a -> Occur -> MultiSet a -> MultiSet a

    multiset Data.MultiSet

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

  10. many_kets_solution :: (Scalar a, Fractional a) => [[a]] -> [[a]] -> [[a]]

    numeric-quest Orthogonals

    No documentation available.

Page 198 of many | Previous | Next