Hoogle Search
Within LTS Haskell 24.51 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
partitionMaybe :: (a -> Maybe b) -> [a] -> ([b], [a])utility-ht Data.List.HT Partition a list into elements which evaluate to Just or Nothing by f.
forAllMaybeFn $ \f xs -> partitionMaybe f xs == (mapMaybe f xs, filter (isNothing . f) xs)
forAllPredicates $ \p xs -> partition p xs == partitionMaybe (\x -> toMaybe (p x) x) xs
segmentAfterMaybe :: (a -> Maybe b) -> [a] -> ([([a], b)], [a])utility-ht Data.List.HT Deprecated: use segmentAfterJust instead
segmentBeforeMaybe :: (a -> Maybe b) -> [a] -> ([a], [(b, [a])])utility-ht Data.List.HT Deprecated: use segmentBeforeJust instead
toMaybe :: Bool -> a -> Maybe autility-ht Data.Maybe.HT Returns Just if the precondition is fulfilled. prop> b x -> (guard b >> x) == (toMaybe b =<< (x::Maybe Char))
-
servant Servant.Types.SourceT Filter values.
>>> toList $ mapMaybe (\x -> if odd x then Just x else Nothing) (source [0..10]) :: [Int] [1,3,5,7,9]
>>> mapMaybe (\x -> if odd x then Just x else Nothing) (source [0..2]) :: SourceT Identity Int fromStepT (Effect (Identity (Skip (Yield 1 (Skip Stop)))))
Illustrates why we need Skip. -
servant Servant.Types.SourceT No documentation available.
parseMaybe :: (a -> Parser b) -> a -> Maybe byaml Data.Yaml genMaybe :: Gen a -> Gen (Maybe a)genvalidity Data.GenValidity.Utils No documentation available.
shrinkMaybe :: (a -> [a]) -> Maybe a -> [Maybe a]genvalidity Data.GenValidity.Utils Lift a shrinker function into a maybe
flagToMaybe :: Flag a -> Maybe aCabal Distribution.Simple.Flag