Modulesafe-0.3.21Haskell2010

Safe.Foldable

Foldable functions, with wrappers like the Safe module.

30 values

Packagesafe-0.3.21
Exports30
LanguageHaskell2010
LicenceBSD-3-Clause
SourceFoldable.hs

New functions

1 declaration

valuefindJust :: (Partial, Foldable t) => (a -> Bool) -> t a -> a

findJust op = fromJust . find op

Safe wrappers

22 declarations

valuefoldl1May :: Foldable t => (a -> a -> a) -> t a -> Maybe a

valuefoldl1Def :: Foldable t => a -> (a -> a -> a) -> t a -> a

New users are recommended to use foldr1May or foldl1May instead.

valuefoldl1Note :: (Partial, Foldable t) => String -> (a -> a -> a) -> t a -> a

valuefoldr1May :: Foldable t => (a -> a -> a) -> t a -> Maybe a

valuefoldr1Def :: Foldable t => a -> (a -> a -> a) -> t a -> a

New users are recommended to use foldr1May or foldl1May instead.

valuefoldr1Note :: (Partial, Foldable t) => String -> (a -> a -> a) -> t a -> a

valuefindJustDef :: Foldable t => a -> (a -> Bool) -> t a -> a

valuefindJustNote :: (Partial, Foldable t) => String -> (a -> Bool) -> t a -> a

valueminimumMay :: (Foldable t, Ord a) => t a -> Maybe a

valueminimumNote :: (Partial, Foldable t, Ord a) => String -> t a -> a

valuemaximumMay :: (Foldable t, Ord a) => t a -> Maybe a

valuemaximumNote :: (Partial, Foldable t, Ord a) => String -> t a -> a

valueminimumByMay :: Foldable t => (a -> a -> Ordering) -> t a -> Maybe a

valueminimumByNote

:: (Partial, Foldable t)
=> String
-> a -> a -> Ordering
-> t a
-> a

valuemaximumByMay :: Foldable t => (a -> a -> Ordering) -> t a -> Maybe a

valuemaximumByNote

:: (Partial, Foldable t)
=> String
-> a -> a -> Ordering
-> t a
-> a

valuemaximumBoundBy :: Foldable f => a -> (a -> a -> Ordering) -> f a -> a

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.

valueminimumBoundBy :: Foldable f => a -> (a -> a -> Ordering) -> f a -> a

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.

valuemaximumBounded :: (Foldable f, Ord a, Bounded a) => f a -> a

The largest element of a foldable structure. The result is bounded by minBound.

valuemaximumBound :: (Foldable f, Ord a) => a -> f a -> a

The largest element of a foldable structure. The result is bounded by the value given as the first argument.

valueminimumBounded :: (Foldable f, Ord a, Bounded a) => f a -> a

The largest element of a foldable structure. The result is bounded by maxBound.

valueminimumBound :: (Foldable f, Ord a) => a -> f a -> a

The smallest element of a foldable structure. The result is bounded by the value given as the first argument.

Discouraged

4 declarations

valueminimumDef :: (Foldable t, Ord a) => a -> t a -> a

New users are recommended to use minimumBound or maximumBound instead.

valuemaximumDef :: (Foldable t, Ord a) => a -> t a -> a

New users are recommended to use minimumBound or maximumBound instead.

valueminimumByDef :: Foldable t => a -> (a -> a -> Ordering) -> t a -> a

New users are recommended to use minimumBoundBy or maximumBoundBy instead.

valuemaximumByDef :: Foldable t => a -> (a -> a -> Ordering) -> t a -> a

New users are recommended to use minimumBoundBy or maximumBoundBy instead.

Deprecated

3 declarations

valuefoldl1Safe :: (Monoid m, Foldable t) => (m -> m -> m) -> t m -> m

Deprecated. Use foldl f mempty instead.

valuefoldr1Safe :: (Monoid m, Foldable t) => (m -> m -> m) -> t m -> m

Deprecated. Use foldr f mempty instead.

valuefindJustSafe :: (Monoid m, Foldable t) => (m -> Bool) -> t m -> m

Deprecated. Use findJustDef mempty instead.