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.
isAnyTemplates :: Templates -> Boolliquid-fixpoint Language.Fixpoint.Types.Templates No documentation available.
LHAnyModuleNameF :: LHThisModuleNameFlagliquidhaskell-boot Language.Haskell.Liquid.Types.Names No documentation available.
pprManyOrdered :: (PPrint a, Ord a) => Tidy -> String -> [a] -> [Doc]liquidhaskell-boot Language.Haskell.Liquid.Types.PrettyPrint No documentation available.
expectAnyError :: Config -> Boolliquidhaskell-boot Language.Haskell.Liquid.UX.Config expect failure from Liquid with any message
-
liquidhaskell-boot Liquid.GHC.API No documentation available.
deleteMany :: Key -> Occur -> IntMultiSet -> IntMultiSetmultiset 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.
insertMany :: Key -> Occur -> IntMultiSet -> IntMultiSetmultiset 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.
deleteMany :: Ord a => a -> Occur -> MultiSet a -> MultiSet amultiset Data.MultiSet O(log n). Delete an element from a multiset a given number of times. Negative numbers add occurrences of the given element.
insertMany :: Ord a => a -> Occur -> MultiSet a -> MultiSet amultiset Data.MultiSet O(log n). Insert an element in a multiset a given number of times. Negative numbers remove occurrences of the given element.
many_kets_solution :: (Scalar a, Fractional a) => [[a]] -> [[a]] -> [[a]]numeric-quest Orthogonals No documentation available.