Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type family Foldables (lst :: [* -> *]) :: Constraint where ...
- sequence_ :: (Foldable t, Applicative f) => t (f a) -> f ()
- bisequence_ :: (Bifoldable t, Applicative f) => t (f a) (f b) -> f ()
- traverse2_ :: (Applicative m, Foldables '[t1, t2]) => (a -> m b) -> t1 (t2 a) -> m ()
- traverse3_ :: (Applicative m, Foldables '[t1, t2, t3]) => (a -> m b) -> t1 (t2 (t3 a)) -> m ()
- traverse4_ :: (Applicative m, Foldables '[t1, t2, t3, t4]) => (a -> m b) -> t1 (t2 (t3 (t4 a))) -> m ()
- traverse5_ :: (Applicative m, Foldables '[t1, t2, t3, t4, t5]) => (a -> m b) -> t1 (t2 (t3 (t4 (t5 a)))) -> m ()
- unsafeMinimum :: Ord a => [a] -> a
- unsafeMaximum :: Ord a => [a] -> a
- minimum :: MonadPlus m => Ord a => [a] -> m a
- maximum :: MonadPlus m => Ord a => [a] -> m a
- minimumDef :: Ord a => a -> [a] -> a
- maximumDef :: Ord a => a -> [a] -> a
- mapM_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f ()
- bimapM_ :: (Bifoldable t, Applicative f) => (a -> f c) -> (b -> f d) -> t a b -> f ()
- forM_ :: (Foldable t, Applicative f) => t a -> (a -> f b) -> f ()
Documentation
sequence_ :: (Foldable t, Applicative f) => t (f a) -> f () Source #
bisequence_ :: (Bifoldable t, Applicative f) => t (f a) (f b) -> f () Source #
traverse2_ :: (Applicative m, Foldables '[t1, t2]) => (a -> m b) -> t1 (t2 a) -> m () Source #
traverse3_ :: (Applicative m, Foldables '[t1, t2, t3]) => (a -> m b) -> t1 (t2 (t3 a)) -> m () Source #
traverse4_ :: (Applicative m, Foldables '[t1, t2, t3, t4]) => (a -> m b) -> t1 (t2 (t3 (t4 a))) -> m () Source #
traverse5_ :: (Applicative m, Foldables '[t1, t2, t3, t4, t5]) => (a -> m b) -> t1 (t2 (t3 (t4 (t5 a)))) -> m () Source #
unsafeMinimum :: Ord a => [a] -> a Source #
unsafeMaximum :: Ord a => [a] -> a Source #
minimumDef :: Ord a => a -> [a] -> a Source #
maximumDef :: Ord a => a -> [a] -> a Source #
mapM_ :: (Foldable t, Applicative f) => (a -> f b) -> t a -> f () Source #
bimapM_ :: (Bifoldable t, Applicative f) => (a -> f c) -> (b -> f d) -> t a b -> f () Source #