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.
mapMaybe :: (a -> Maybe b) -> [a] -> [b]cabal-install-solver Distribution.Solver.Compat.Prelude The mapMaybe function is a version of map which can throw out elements. In particular, the functional argument returns something of type Maybe b. If this is Nothing, no element is added on to the result list. If it is Just b, then b is included in the result list.
Examples
Using mapMaybe f x is a shortcut for catMaybes $ map f x in most cases:>>> import GHC.Internal.Text.Read ( readMaybe ) >>> let readMaybeInt = readMaybe :: String -> Maybe Int >>> mapMaybe readMaybeInt ["1", "Foo", "3"] [1,3] >>> catMaybes $ map readMaybeInt ["1", "Foo", "3"] [1,3]
If we map the Just constructor, the entire list should be returned:>>> mapMaybe Just [1,2,3] [1,2,3]
mappend :: Monoid a => a -> a -> acabal-install-solver Distribution.Solver.Compat.Prelude An associative operation NOTE: This method is redundant and has the default implementation mappend = (<>) since base-4.11.0.0. Should it be implemented manually, since mappend is a synonym for (<>), it is expected that the two functions are defined the same way. In a future GHC release mappend will be removed from Monoid.
mapKeys :: (k1 -> k2) -> PSQ k1 v -> PSQ k2 vcabal-install-solver Distribution.Solver.Modular.PSQ No documentation available.
mapWithKey :: (k -> a -> b) -> PSQ k a -> PSQ k bcabal-install-solver Distribution.Solver.Modular.PSQ No documentation available.
mapFailure :: (fail1 -> fail2) -> RetryLog step fail1 done -> RetryLog step fail2 donecabal-install-solver Distribution.Solver.Modular.RetryLog O(1). Apply a function to the failure value in a log.
mapWeightsWithKey :: Ord w2 => (k -> w1 -> w2) -> WeightedPSQ w1 k v -> WeightedPSQ w2 k vcabal-install-solver Distribution.Solver.Modular.WeightedPSQ O(N log N). Update the weights.
mapWithKey :: (k -> v1 -> v2) -> WeightedPSQ w k v1 -> WeightedPSQ w k v2cabal-install-solver Distribution.Solver.Modular.WeightedPSQ O(N). Update the values.
mapDeps :: (Component -> a -> b) -> ComponentDeps a -> ComponentDeps bcabal-install-solver Distribution.Solver.Types.ComponentDeps Keep only selected components (and their associated deps info).
mapMB :: (Int -> Int) -> Approx -> Approxcdar-mBound Data.CDAR.Approx No documentation available.
mapSubvectors :: (Vector u a, Vector v b) => (u a -> v b) -> Chimera u a -> Chimera v bchimera Data.Chimera Map subvectors of a stream, using a given length-preserving function.