Safe Haskell | Trustworthy |
---|---|
Language | Haskell2010 |
- type family Element t
- class Container t where
- class Container t => NontrivialContainer t where
- sum :: (NontrivialContainer t, Num (Element t)) => t -> Element t
- product :: (NontrivialContainer t, Num (Element t)) => t -> Element t
- mapM_ :: (NontrivialContainer t, Monad m) => (Element t -> m b) -> t -> m ()
- forM_ :: (NontrivialContainer t, Monad m) => t -> (Element t -> m b) -> m ()
- traverse_ :: (NontrivialContainer t, Applicative f) => (Element t -> f b) -> t -> f ()
- for_ :: (NontrivialContainer t, Applicative f) => t -> (Element t -> f b) -> f ()
- sequenceA_ :: (NontrivialContainer t, Applicative f, Element t ~ f a) => t -> f ()
- sequence_ :: (NontrivialContainer t, Monad m, Element t ~ m a) => t -> m ()
- asum :: (NontrivialContainer t, Alternative f, Element t ~ f a) => t -> f a
- class One x where
- type OneItem x
Foldable-like classes and methods
class Container t => NontrivialContainer t where Source #
foldMap :: Monoid m => (Element t -> m) -> t -> m Source #
fold :: Monoid (Element t) => t -> Element t Source #
foldr :: (Element t -> b -> b) -> b -> t -> b Source #
foldr' :: (Element t -> b -> b) -> b -> t -> b Source #
foldl :: (b -> Element t -> b) -> b -> t -> b Source #
foldl' :: (b -> Element t -> b) -> b -> t -> b Source #
foldr1 :: (Element t -> Element t -> Element t) -> t -> Element t Source #
foldl1 :: (Element t -> Element t -> Element t) -> t -> Element t Source #
elem :: Eq (Element t) => Element t -> t -> Bool Source #
maximum :: Ord (Element t) => t -> Element t Source #
minimum :: Ord (Element t) => t -> Element t Source #
all :: (Element t -> Bool) -> t -> Bool Source #
any :: (Element t -> Bool) -> t -> Bool Source #
and :: Element t ~ Bool => t -> Bool Source #
or :: Element t ~ Bool => t -> Bool Source #
find :: (Element t -> Bool) -> t -> Maybe (Element t) Source #
NontrivialContainer ByteString Source # | |
NontrivialContainer ByteString Source # | |
NontrivialContainer IntSet Source # | |
NontrivialContainer Text Source # | |
NontrivialContainer Text Source # | |
TypeError Constraint ((:<>:) (Text "Do not use 'Foldable' methods on ") (Text "Maybe")) => NontrivialContainer (Maybe a) Source # | |
Foldable f => NontrivialContainer (f a) Source # | |
TypeError Constraint ((:<>:) (Text "Do not use 'Foldable' methods on ") (Text "Identity")) => NontrivialContainer (Identity a) Source # | |
TypeError Constraint ((:<>:) (Text "Do not use 'Foldable' methods on ") (Text "Either")) => NontrivialContainer (Either a b) Source # | |
TypeError Constraint ((:<>:) (Text "Do not use 'Foldable' methods on ") (Text "tuples")) => NontrivialContainer (a, b) Source # | |
traverse_ :: (NontrivialContainer t, Applicative f) => (Element t -> f b) -> t -> f () Source #
for_ :: (NontrivialContainer t, Applicative f) => t -> (Element t -> f b) -> f () Source #
sequenceA_ :: (NontrivialContainer t, Applicative f, Element t ~ f a) => t -> f () Source #
asum :: (NontrivialContainer t, Alternative f, Element t ~ f a) => t -> f a Source #
Others
One ByteString Source # | |
One ByteString Source # | |
One IntSet Source # | |
One Text Source # | |
One Text Source # | |
One [a] Source # | |
One (NonEmpty a) Source # | |
One (IntMap v) Source # | |
One (Seq a) Source # | |
One (Set v) Source # | |
Hashable v => One (HashSet v) Source # | |
One (Vector a) Source # | |
Storable a => One (Vector a) Source # | |
Unbox a => One (Vector a) Source # | |
Prim a => One (Vector a) Source # | |
One (Map k v) Source # | |
Hashable k => One (HashMap k v) Source # | |