Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Foldable1.Compat
Documentation
class Foldable t => Foldable1 (t :: Type -> Type) where #
Methods
fold1 :: Semigroup m => t m -> m #
foldMap1 :: Semigroup m => (a -> m) -> t a -> m #
foldMap1' :: Semigroup m => (a -> m) -> t a -> m #
toNonEmpty :: t a -> NonEmpty a #
maximum :: Ord a => t a -> a #
minimum :: Ord a => t a -> a #
foldrMap1 :: (a -> b) -> (a -> b -> b) -> t a -> b #
foldlMap1' :: (a -> b) -> (b -> a -> b) -> t a -> b #
foldlMap1 :: (a -> b) -> (b -> a -> b) -> t a -> b #
foldrMap1' :: (a -> b) -> (a -> b -> b) -> t a -> b #
Instances
Foldable1 Complex | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Complex m -> m # foldMap1 :: Semigroup m => (a -> m) -> Complex a -> m # foldMap1' :: Semigroup m => (a -> m) -> Complex a -> m # toNonEmpty :: Complex a -> NonEmpty a # maximum :: Ord a => Complex a -> a # minimum :: Ord a => Complex a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Complex a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Complex a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Complex a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Complex a -> b # | |
Foldable1 Identity | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Identity m -> m # foldMap1 :: Semigroup m => (a -> m) -> Identity a -> m # foldMap1' :: Semigroup m => (a -> m) -> Identity a -> m # toNonEmpty :: Identity a -> NonEmpty a # maximum :: Ord a => Identity a -> a # minimum :: Ord a => Identity a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Identity a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Identity a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Identity a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Identity a -> b # | |
Foldable1 Down | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Down m -> m # foldMap1 :: Semigroup m => (a -> m) -> Down a -> m # foldMap1' :: Semigroup m => (a -> m) -> Down a -> m # toNonEmpty :: Down a -> NonEmpty a # maximum :: Ord a => Down a -> a # minimum :: Ord a => Down a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Down a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Down a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Down a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Down a -> b # | |
Foldable1 First | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => First m -> m # foldMap1 :: Semigroup m => (a -> m) -> First a -> m # foldMap1' :: Semigroup m => (a -> m) -> First a -> m # toNonEmpty :: First a -> NonEmpty a # maximum :: Ord a => First a -> a # minimum :: Ord a => First a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> First a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> First a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> First a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> First a -> b # | |
Foldable1 Last | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Last m -> m # foldMap1 :: Semigroup m => (a -> m) -> Last a -> m # foldMap1' :: Semigroup m => (a -> m) -> Last a -> m # toNonEmpty :: Last a -> NonEmpty a # maximum :: Ord a => Last a -> a # minimum :: Ord a => Last a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Last a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Last a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Last a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Last a -> b # | |
Foldable1 Max | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Max m -> m # foldMap1 :: Semigroup m => (a -> m) -> Max a -> m # foldMap1' :: Semigroup m => (a -> m) -> Max a -> m # toNonEmpty :: Max a -> NonEmpty a # maximum :: Ord a => Max a -> a # minimum :: Ord a => Max a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Max a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Max a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Max a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Max a -> b # | |
Foldable1 Min | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Min m -> m # foldMap1 :: Semigroup m => (a -> m) -> Min a -> m # foldMap1' :: Semigroup m => (a -> m) -> Min a -> m # toNonEmpty :: Min a -> NonEmpty a # maximum :: Ord a => Min a -> a # minimum :: Ord a => Min a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Min a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Min a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Min a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Min a -> b # | |
Foldable1 Dual | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Dual m -> m # foldMap1 :: Semigroup m => (a -> m) -> Dual a -> m # foldMap1' :: Semigroup m => (a -> m) -> Dual a -> m # toNonEmpty :: Dual a -> NonEmpty a # maximum :: Ord a => Dual a -> a # minimum :: Ord a => Dual a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Dual a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Dual a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Dual a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Dual a -> b # | |
Foldable1 Product | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Product m -> m # foldMap1 :: Semigroup m => (a -> m) -> Product a -> m # foldMap1' :: Semigroup m => (a -> m) -> Product a -> m # toNonEmpty :: Product a -> NonEmpty a # maximum :: Ord a => Product a -> a # minimum :: Ord a => Product a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Product a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Product a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Product a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Product a -> b # | |
Foldable1 Sum | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Sum m -> m # foldMap1 :: Semigroup m => (a -> m) -> Sum a -> m # foldMap1' :: Semigroup m => (a -> m) -> Sum a -> m # toNonEmpty :: Sum a -> NonEmpty a # maximum :: Ord a => Sum a -> a # minimum :: Ord a => Sum a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Sum a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Sum a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Sum a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Sum a -> b # | |
Foldable1 NonEmpty | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => NonEmpty m -> m # foldMap1 :: Semigroup m => (a -> m) -> NonEmpty a -> m # foldMap1' :: Semigroup m => (a -> m) -> NonEmpty a -> m # toNonEmpty :: NonEmpty a -> NonEmpty a # maximum :: Ord a => NonEmpty a -> a # minimum :: Ord a => NonEmpty a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> NonEmpty a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> NonEmpty a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> NonEmpty a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> NonEmpty a -> b # | |
Foldable1 Par1 | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Par1 m -> m # foldMap1 :: Semigroup m => (a -> m) -> Par1 a -> m # foldMap1' :: Semigroup m => (a -> m) -> Par1 a -> m # toNonEmpty :: Par1 a -> NonEmpty a # maximum :: Ord a => Par1 a -> a # minimum :: Ord a => Par1 a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Par1 a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Par1 a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Par1 a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Par1 a -> b # | |
Foldable1 Solo | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Solo m -> m # foldMap1 :: Semigroup m => (a -> m) -> Solo a -> m # foldMap1' :: Semigroup m => (a -> m) -> Solo a -> m # toNonEmpty :: Solo a -> NonEmpty a # maximum :: Ord a => Solo a -> a # minimum :: Ord a => Solo a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Solo a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Solo a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Solo a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Solo a -> b # | |
Foldable1 (V1 :: Type -> Type) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => V1 m -> m # foldMap1 :: Semigroup m => (a -> m) -> V1 a -> m # foldMap1' :: Semigroup m => (a -> m) -> V1 a -> m # toNonEmpty :: V1 a -> NonEmpty a # maximum :: Ord a => V1 a -> a # minimum :: Ord a => V1 a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> V1 a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> V1 a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> V1 a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> V1 a -> b # | |
Foldable1 ((,) a) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => (a, m) -> m # foldMap1 :: Semigroup m => (a0 -> m) -> (a, a0) -> m # foldMap1' :: Semigroup m => (a0 -> m) -> (a, a0) -> m # toNonEmpty :: (a, a0) -> NonEmpty a0 # maximum :: Ord a0 => (a, a0) -> a0 # minimum :: Ord a0 => (a, a0) -> a0 # foldrMap1 :: (a0 -> b) -> (a0 -> b -> b) -> (a, a0) -> b # foldlMap1' :: (a0 -> b) -> (b -> a0 -> b) -> (a, a0) -> b # foldlMap1 :: (a0 -> b) -> (b -> a0 -> b) -> (a, a0) -> b # foldrMap1' :: (a0 -> b) -> (a0 -> b -> b) -> (a, a0) -> b # | |
Foldable1 f => Foldable1 (Ap f) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Ap f m -> m # foldMap1 :: Semigroup m => (a -> m) -> Ap f a -> m # foldMap1' :: Semigroup m => (a -> m) -> Ap f a -> m # toNonEmpty :: Ap f a -> NonEmpty a # maximum :: Ord a => Ap f a -> a # minimum :: Ord a => Ap f a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Ap f a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Ap f a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Ap f a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Ap f a -> b # | |
Foldable1 f => Foldable1 (Alt f) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Alt f m -> m # foldMap1 :: Semigroup m => (a -> m) -> Alt f a -> m # foldMap1' :: Semigroup m => (a -> m) -> Alt f a -> m # toNonEmpty :: Alt f a -> NonEmpty a # maximum :: Ord a => Alt f a -> a # minimum :: Ord a => Alt f a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Alt f a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Alt f a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Alt f a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Alt f a -> b # | |
Foldable1 f => Foldable1 (Rec1 f) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Rec1 f m -> m # foldMap1 :: Semigroup m => (a -> m) -> Rec1 f a -> m # foldMap1' :: Semigroup m => (a -> m) -> Rec1 f a -> m # toNonEmpty :: Rec1 f a -> NonEmpty a # maximum :: Ord a => Rec1 f a -> a # minimum :: Ord a => Rec1 f a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Rec1 f a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Rec1 f a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Rec1 f a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Rec1 f a -> b # | |
(Foldable1 f, Foldable1 g) => Foldable1 (Product f g) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Product f g m -> m # foldMap1 :: Semigroup m => (a -> m) -> Product f g a -> m # foldMap1' :: Semigroup m => (a -> m) -> Product f g a -> m # toNonEmpty :: Product f g a -> NonEmpty a # maximum :: Ord a => Product f g a -> a # minimum :: Ord a => Product f g a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Product f g a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Product f g a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Product f g a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Product f g a -> b # | |
(Foldable1 f, Foldable1 g) => Foldable1 (Sum f g) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Sum f g m -> m # foldMap1 :: Semigroup m => (a -> m) -> Sum f g a -> m # foldMap1' :: Semigroup m => (a -> m) -> Sum f g a -> m # toNonEmpty :: Sum f g a -> NonEmpty a # maximum :: Ord a => Sum f g a -> a # minimum :: Ord a => Sum f g a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Sum f g a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Sum f g a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Sum f g a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Sum f g a -> b # | |
(Foldable1 f, Foldable1 g) => Foldable1 (f :*: g) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => (f :*: g) m -> m # foldMap1 :: Semigroup m => (a -> m) -> (f :*: g) a -> m # foldMap1' :: Semigroup m => (a -> m) -> (f :*: g) a -> m # toNonEmpty :: (f :*: g) a -> NonEmpty a # maximum :: Ord a => (f :*: g) a -> a # minimum :: Ord a => (f :*: g) a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> (f :*: g) a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> (f :*: g) a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> (f :*: g) a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> (f :*: g) a -> b # | |
(Foldable1 f, Foldable1 g) => Foldable1 (f :+: g) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => (f :+: g) m -> m # foldMap1 :: Semigroup m => (a -> m) -> (f :+: g) a -> m # foldMap1' :: Semigroup m => (a -> m) -> (f :+: g) a -> m # toNonEmpty :: (f :+: g) a -> NonEmpty a # maximum :: Ord a => (f :+: g) a -> a # minimum :: Ord a => (f :+: g) a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> (f :+: g) a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> (f :+: g) a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> (f :+: g) a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> (f :+: g) a -> b # | |
(Foldable1 f, Foldable1 g) => Foldable1 (Compose f g) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Compose f g m -> m # foldMap1 :: Semigroup m => (a -> m) -> Compose f g a -> m # foldMap1' :: Semigroup m => (a -> m) -> Compose f g a -> m # toNonEmpty :: Compose f g a -> NonEmpty a # maximum :: Ord a => Compose f g a -> a # minimum :: Ord a => Compose f g a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> Compose f g a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> Compose f g a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> Compose f g a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> Compose f g a -> b # | |
(Foldable1 f, Foldable1 g) => Foldable1 (f :.: g) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => (f :.: g) m -> m # foldMap1 :: Semigroup m => (a -> m) -> (f :.: g) a -> m # foldMap1' :: Semigroup m => (a -> m) -> (f :.: g) a -> m # toNonEmpty :: (f :.: g) a -> NonEmpty a # maximum :: Ord a => (f :.: g) a -> a # minimum :: Ord a => (f :.: g) a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> (f :.: g) a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> (f :.: g) a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> (f :.: g) a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> (f :.: g) a -> b # | |
Foldable1 f => Foldable1 (M1 i c f) | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => M1 i c f m -> m # foldMap1 :: Semigroup m => (a -> m) -> M1 i c f a -> m # foldMap1' :: Semigroup m => (a -> m) -> M1 i c f a -> m # toNonEmpty :: M1 i c f a -> NonEmpty a # maximum :: Ord a => M1 i c f a -> a # minimum :: Ord a => M1 i c f a -> a # foldrMap1 :: (a -> b) -> (a -> b -> b) -> M1 i c f a -> b # foldlMap1' :: (a -> b) -> (b -> a -> b) -> M1 i c f a -> b # foldlMap1 :: (a -> b) -> (b -> a -> b) -> M1 i c f a -> b # foldrMap1' :: (a -> b) -> (a -> b -> b) -> M1 i c f a -> b # |
foldlMapM1 :: (Foldable1 t, Monad m) => (a -> m b) -> (b -> a -> m b) -> t a -> m b #
foldrMapM1 :: (Foldable1 t, Monad m) => (a -> m b) -> (a -> b -> m b) -> t a -> m b #
intercalate1 :: (Foldable1 t, Semigroup m) => m -> t m -> m #