| Copyright | (c) Sergey Vinokurov 2019 |
|---|---|
| License | BSD-2 (see LICENSE) |
| Maintainer | sergey@debian |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Foldable.Constrained.Instances
Contents
Description
Orphan instances
| CFoldable IntMap Source # | |
Methods cfold :: (Monoid m, Constraints IntMap m) => IntMap m -> m # cfoldMap :: (Monoid m, Constraints IntMap a) => (a -> m) -> IntMap a -> m # cfoldr :: Constraints IntMap a => (a -> b -> b) -> b -> IntMap a -> b # cfoldr' :: Constraints IntMap a => (a -> b -> b) -> b -> IntMap a -> b # cfoldl :: Constraints IntMap a => (b -> a -> b) -> b -> IntMap a -> b # cfoldl' :: Constraints IntMap a => (b -> a -> b) -> b -> IntMap a -> b # cfoldr1 :: Constraints IntMap a => (a -> a -> a) -> IntMap a -> a # cfoldl1 :: Constraints IntMap a => (a -> a -> a) -> IntMap a -> a # ctoList :: Constraints IntMap a => IntMap a -> [a] # cnull :: Constraints IntMap a => IntMap a -> Bool # clength :: Constraints IntMap a => IntMap a -> Int # celem :: (Eq a, Constraints IntMap a) => a -> IntMap a -> Bool # cmaximum :: (Ord a, Constraints IntMap a) => IntMap a -> a # cminimum :: (Ord a, Constraints IntMap a) => IntMap a -> a # csum :: (Num a, Constraints IntMap a) => IntMap a -> a # cproduct :: (Num a, Constraints IntMap a) => IntMap a -> a # | |
| CFoldable Set Source # | |
Methods cfold :: (Monoid m, Constraints Set m) => Set m -> m # cfoldMap :: (Monoid m, Constraints Set a) => (a -> m) -> Set a -> m # cfoldr :: Constraints Set a => (a -> b -> b) -> b -> Set a -> b # cfoldr' :: Constraints Set a => (a -> b -> b) -> b -> Set a -> b # cfoldl :: Constraints Set a => (b -> a -> b) -> b -> Set a -> b # cfoldl' :: Constraints Set a => (b -> a -> b) -> b -> Set a -> b # cfoldr1 :: Constraints Set a => (a -> a -> a) -> Set a -> a # cfoldl1 :: Constraints Set a => (a -> a -> a) -> Set a -> a # ctoList :: Constraints Set a => Set a -> [a] # cnull :: Constraints Set a => Set a -> Bool # clength :: Constraints Set a => Set a -> Int # celem :: (Eq a, Constraints Set a) => a -> Set a -> Bool # cmaximum :: (Ord a, Constraints Set a) => Set a -> a # cminimum :: (Ord a, Constraints Set a) => Set a -> a # | |
| CFoldable Vector Source # | |
Methods cfold :: (Monoid m, Constraints Vector m) => Vector m -> m # cfoldMap :: (Monoid m, Constraints Vector a) => (a -> m) -> Vector a -> m # cfoldr :: Constraints Vector a => (a -> b -> b) -> b -> Vector a -> b # cfoldr' :: Constraints Vector a => (a -> b -> b) -> b -> Vector a -> b # cfoldl :: Constraints Vector a => (b -> a -> b) -> b -> Vector a -> b # cfoldl' :: Constraints Vector a => (b -> a -> b) -> b -> Vector a -> b # cfoldr1 :: Constraints Vector a => (a -> a -> a) -> Vector a -> a # cfoldl1 :: Constraints Vector a => (a -> a -> a) -> Vector a -> a # ctoList :: Constraints Vector a => Vector a -> [a] # cnull :: Constraints Vector a => Vector a -> Bool # clength :: Constraints Vector a => Vector a -> Int # celem :: (Eq a, Constraints Vector a) => a -> Vector a -> Bool # cmaximum :: (Ord a, Constraints Vector a) => Vector a -> a # cminimum :: (Ord a, Constraints Vector a) => Vector a -> a # csum :: (Num a, Constraints Vector a) => Vector a -> a # cproduct :: (Num a, Constraints Vector a) => Vector a -> a # | |
| CFoldable Vector Source # | |
Methods cfold :: (Monoid m, Constraints Vector m) => Vector m -> m # cfoldMap :: (Monoid m, Constraints Vector a) => (a -> m) -> Vector a -> m # cfoldr :: Constraints Vector a => (a -> b -> b) -> b -> Vector a -> b # cfoldr' :: Constraints Vector a => (a -> b -> b) -> b -> Vector a -> b # cfoldl :: Constraints Vector a => (b -> a -> b) -> b -> Vector a -> b # cfoldl' :: Constraints Vector a => (b -> a -> b) -> b -> Vector a -> b # cfoldr1 :: Constraints Vector a => (a -> a -> a) -> Vector a -> a # cfoldl1 :: Constraints Vector a => (a -> a -> a) -> Vector a -> a # ctoList :: Constraints Vector a => Vector a -> [a] # cnull :: Constraints Vector a => Vector a -> Bool # clength :: Constraints Vector a => Vector a -> Int # celem :: (Eq a, Constraints Vector a) => a -> Vector a -> Bool # cmaximum :: (Ord a, Constraints Vector a) => Vector a -> a # cminimum :: (Ord a, Constraints Vector a) => Vector a -> a # csum :: (Num a, Constraints Vector a) => Vector a -> a # cproduct :: (Num a, Constraints Vector a) => Vector a -> a # | |
| CFoldable Vector Source # | |
Methods cfold :: (Monoid m, Constraints Vector m) => Vector m -> m # cfoldMap :: (Monoid m, Constraints Vector a) => (a -> m) -> Vector a -> m # cfoldr :: Constraints Vector a => (a -> b -> b) -> b -> Vector a -> b # cfoldr' :: Constraints Vector a => (a -> b -> b) -> b -> Vector a -> b # cfoldl :: Constraints Vector a => (b -> a -> b) -> b -> Vector a -> b # cfoldl' :: Constraints Vector a => (b -> a -> b) -> b -> Vector a -> b # cfoldr1 :: Constraints Vector a => (a -> a -> a) -> Vector a -> a # cfoldl1 :: Constraints Vector a => (a -> a -> a) -> Vector a -> a # ctoList :: Constraints Vector a => Vector a -> [a] # cnull :: Constraints Vector a => Vector a -> Bool # clength :: Constraints Vector a => Vector a -> Int # celem :: (Eq a, Constraints Vector a) => a -> Vector a -> Bool # cmaximum :: (Ord a, Constraints Vector a) => Vector a -> a # cminimum :: (Ord a, Constraints Vector a) => Vector a -> a # csum :: (Num a, Constraints Vector a) => Vector a -> a # cproduct :: (Num a, Constraints Vector a) => Vector a -> a # | |
| CFoldable Vector Source # | |
Methods cfold :: (Monoid m, Constraints Vector m) => Vector m -> m # cfoldMap :: (Monoid m, Constraints Vector a) => (a -> m) -> Vector a -> m # cfoldr :: Constraints Vector a => (a -> b -> b) -> b -> Vector a -> b # cfoldr' :: Constraints Vector a => (a -> b -> b) -> b -> Vector a -> b # cfoldl :: Constraints Vector a => (b -> a -> b) -> b -> Vector a -> b # cfoldl' :: Constraints Vector a => (b -> a -> b) -> b -> Vector a -> b # cfoldr1 :: Constraints Vector a => (a -> a -> a) -> Vector a -> a # cfoldl1 :: Constraints Vector a => (a -> a -> a) -> Vector a -> a # ctoList :: Constraints Vector a => Vector a -> [a] # cnull :: Constraints Vector a => Vector a -> Bool # clength :: Constraints Vector a => Vector a -> Int # celem :: (Eq a, Constraints Vector a) => a -> Vector a -> Bool # cmaximum :: (Ord a, Constraints Vector a) => Vector a -> a # cminimum :: (Ord a, Constraints Vector a) => Vector a -> a # csum :: (Num a, Constraints Vector a) => Vector a -> a # cproduct :: (Num a, Constraints Vector a) => Vector a -> a # | |
| Ix i => CFoldable (UArray i) Source # | |
Methods cfold :: (Monoid m, Constraints (UArray i) m) => UArray i m -> m # cfoldMap :: (Monoid m, Constraints (UArray i) a) => (a -> m) -> UArray i a -> m # cfoldr :: Constraints (UArray i) a => (a -> b -> b) -> b -> UArray i a -> b # cfoldr' :: Constraints (UArray i) a => (a -> b -> b) -> b -> UArray i a -> b # cfoldl :: Constraints (UArray i) a => (b -> a -> b) -> b -> UArray i a -> b # cfoldl' :: Constraints (UArray i) a => (b -> a -> b) -> b -> UArray i a -> b # cfoldr1 :: Constraints (UArray i) a => (a -> a -> a) -> UArray i a -> a # cfoldl1 :: Constraints (UArray i) a => (a -> a -> a) -> UArray i a -> a # ctoList :: Constraints (UArray i) a => UArray i a -> [a] # cnull :: Constraints (UArray i) a => UArray i a -> Bool # clength :: Constraints (UArray i) a => UArray i a -> Int # celem :: (Eq a, Constraints (UArray i) a) => a -> UArray i a -> Bool # cmaximum :: (Ord a, Constraints (UArray i) a) => UArray i a -> a # cminimum :: (Ord a, Constraints (UArray i) a) => UArray i a -> a # csum :: (Num a, Constraints (UArray i) a) => UArray i a -> a # cproduct :: (Num a, Constraints (UArray i) a) => UArray i a -> a # | |
| CFoldable (Array i) Source # | |
Methods cfold :: (Monoid m, Constraints (Array i) m) => Array i m -> m # cfoldMap :: (Monoid m, Constraints (Array i) a) => (a -> m) -> Array i a -> m # cfoldr :: Constraints (Array i) a => (a -> b -> b) -> b -> Array i a -> b # cfoldr' :: Constraints (Array i) a => (a -> b -> b) -> b -> Array i a -> b # cfoldl :: Constraints (Array i) a => (b -> a -> b) -> b -> Array i a -> b # cfoldl' :: Constraints (Array i) a => (b -> a -> b) -> b -> Array i a -> b # cfoldr1 :: Constraints (Array i) a => (a -> a -> a) -> Array i a -> a # cfoldl1 :: Constraints (Array i) a => (a -> a -> a) -> Array i a -> a # ctoList :: Constraints (Array i) a => Array i a -> [a] # cnull :: Constraints (Array i) a => Array i a -> Bool # clength :: Constraints (Array i) a => Array i a -> Int # celem :: (Eq a, Constraints (Array i) a) => a -> Array i a -> Bool # cmaximum :: (Ord a, Constraints (Array i) a) => Array i a -> a # cminimum :: (Ord a, Constraints (Array i) a) => Array i a -> a # csum :: (Num a, Constraints (Array i) a) => Array i a -> a # cproduct :: (Num a, Constraints (Array i) a) => Array i a -> a # | |
| CFoldable (Map k) Source # | |
Methods cfold :: (Monoid m, Constraints (Map k) m) => Map k m -> m # cfoldMap :: (Monoid m, Constraints (Map k) a) => (a -> m) -> Map k a -> m # cfoldr :: Constraints (Map k) a => (a -> b -> b) -> b -> Map k a -> b # cfoldr' :: Constraints (Map k) a => (a -> b -> b) -> b -> Map k a -> b # cfoldl :: Constraints (Map k) a => (b -> a -> b) -> b -> Map k a -> b # cfoldl' :: Constraints (Map k) a => (b -> a -> b) -> b -> Map k a -> b # cfoldr1 :: Constraints (Map k) a => (a -> a -> a) -> Map k a -> a # cfoldl1 :: Constraints (Map k) a => (a -> a -> a) -> Map k a -> a # ctoList :: Constraints (Map k) a => Map k a -> [a] # cnull :: Constraints (Map k) a => Map k a -> Bool # clength :: Constraints (Map k) a => Map k a -> Int # celem :: (Eq a, Constraints (Map k) a) => a -> Map k a -> Bool # cmaximum :: (Ord a, Constraints (Map k) a) => Map k a -> a # cminimum :: (Ord a, Constraints (Map k) a) => Map k a -> a # csum :: (Num a, Constraints (Map k) a) => Map k a -> a # cproduct :: (Num a, Constraints (Map k) a) => Map k a -> a # | |