Data.Foldable.Constrained.Instances

Orphan instances

CFoldable IntMap

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

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

csum :: (Num a, Constraints Set a) => Set a -> a

cproduct :: (Num a, Constraints Set a) => Set a -> a

CFoldable Vector

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

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

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

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)

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)

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)

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