| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Safe.Foldable
Synopsis
- findJust :: (Partial, Foldable t) => (a -> Bool) -> t a -> a
- foldl1May :: Foldable t => (a -> a -> a) -> t a -> Maybe a
- foldl1Def :: Foldable t => a -> (a -> a -> a) -> t a -> a
- foldl1Note :: (Partial, Foldable t) => String -> (a -> a -> a) -> t a -> a
- foldr1May :: Foldable t => (a -> a -> a) -> t a -> Maybe a
- foldr1Def :: Foldable t => a -> (a -> a -> a) -> t a -> a
- foldr1Note :: (Partial, Foldable t) => String -> (a -> a -> a) -> t a -> a
- findJustDef :: Foldable t => a -> (a -> Bool) -> t a -> a
- findJustNote :: (Partial, Foldable t) => String -> (a -> Bool) -> t a -> a
- minimumMay :: (Foldable t, Ord a) => t a -> Maybe a
- minimumNote :: (Partial, Foldable t, Ord a) => String -> t a -> a
- maximumMay :: (Foldable t, Ord a) => t a -> Maybe a
- maximumNote :: (Partial, Foldable t, Ord a) => String -> t a -> a
- minimumByMay :: Foldable t => (a -> a -> Ordering) -> t a -> Maybe a
- minimumByNote :: (Partial, Foldable t) => String -> (a -> a -> Ordering) -> t a -> a
- maximumByMay :: Foldable t => (a -> a -> Ordering) -> t a -> Maybe a
- maximumByNote :: (Partial, Foldable t) => String -> (a -> a -> Ordering) -> t a -> a
- maximumBoundBy :: Foldable f => a -> (a -> a -> Ordering) -> f a -> a
- minimumBoundBy :: Foldable f => a -> (a -> a -> Ordering) -> f a -> a
- maximumBounded :: (Foldable f, Ord a, Bounded a) => f a -> a
- maximumBound :: (Foldable f, Ord a) => a -> f a -> a
- minimumBounded :: (Foldable f, Ord a, Bounded a) => f a -> a
- minimumBound :: (Foldable f, Ord a) => a -> f a -> a
- minimumDef :: (Foldable t, Ord a) => a -> t a -> a
- maximumDef :: (Foldable t, Ord a) => a -> t a -> a
- minimumByDef :: Foldable t => a -> (a -> a -> Ordering) -> t a -> a
- maximumByDef :: Foldable t => a -> (a -> a -> Ordering) -> t a -> a
- foldl1Safe :: (Monoid m, Foldable t) => (m -> m -> m) -> t m -> m
- foldr1Safe :: (Monoid m, Foldable t) => (m -> m -> m) -> t m -> m
- findJustSafe :: (Monoid m, Foldable t) => (m -> Bool) -> t m -> m
New functions
findJust :: (Partial, Foldable t) => (a -> Bool) -> t a -> a Source #
findJust op = fromJust . find op
Safe wrappers
findJustDef :: Foldable t => a -> (a -> Bool) -> t a -> a Source #
maximumBoundBy :: Foldable f => a -> (a -> a -> Ordering) -> f a -> a Source #
The largest element of a foldable structure with respect to the given comparison function. The result is bounded by the value given as the first argument.
minimumBoundBy :: Foldable f => a -> (a -> a -> Ordering) -> f a -> a Source #
The smallest element of a foldable structure with respect to the given comparison function. The result is bounded by the value given as the first argument.
maximumBounded :: (Foldable f, Ord a, Bounded a) => f a -> a Source #
The largest element of a foldable structure.
The result is bounded by minBound.
maximumBound :: (Foldable f, Ord a) => a -> f a -> a Source #
The largest element of a foldable structure. The result is bounded by the value given as the first argument.
minimumBounded :: (Foldable f, Ord a, Bounded a) => f a -> a Source #
The largest element of a foldable structure.
The result is bounded by maxBound.
minimumBound :: (Foldable f, Ord a) => a -> f a -> a Source #
The smallest element of a foldable structure. The result is bounded by the value given as the first argument.
Discouraged
minimumDef :: (Foldable t, Ord a) => a -> t a -> a Source #
New users are recommended to use minimumBound or maximumBound instead.
maximumDef :: (Foldable t, Ord a) => a -> t a -> a Source #
New users are recommended to use minimumBound or maximumBound instead.
minimumByDef :: Foldable t => a -> (a -> a -> Ordering) -> t a -> a Source #
New users are recommended to use minimumBoundBy or maximumBoundBy instead.
maximumByDef :: Foldable t => a -> (a -> a -> Ordering) -> t a -> a Source #
New users are recommended to use minimumBoundBy or maximumBoundBy instead.
Deprecated
foldl1Safe :: (Monoid m, Foldable t) => (m -> m -> m) -> t m -> m Source #
Deprecated: Use foldl f mempty instead.
foldr1Safe :: (Monoid m, Foldable t) => (m -> m -> m) -> t m -> m Source #
Deprecated: Use foldr f mempty instead.