MapM_ :: ( MonoFoldable mono, Monad m ) => ( Element mono -> m ( ) ) -> mono -> m ( ) #endif MapM_ :: ( MonoFoldable mono, Applicative m ) => ( Element mono -> m ( ) ) -> mono -> m ( ) #else
1.0.0 module where import Data.Int ( Int64 ) import Data.MonoTraversable import Data.Semigroup ( Semigroup ) import Data.Monoid ( Monoid ) import Control.Applicative ( Applicative ) - | Synonym for 'ofoldMap' - 1.0.0 foldMap :: ( MonoFoldable mono, m ) => ( Element mono -> m ) -> mono -> m foldMap = ofoldMap - | Synonym for 'ofoldr' - 1.0.0 foldr :: MonoFoldable mono => ( Element mono -> b -> b ) -> b -> mono -> b foldr = ofoldr - | Synonym for 'ofoldl'' - 1.0.0 foldl' :: MonoFoldable mono => ( a -> Element mono -> a ) -> a -> mono -> a foldl' = ofoldl' - | Synonym for 'otoList' - 1.0.0 toList :: MonoFoldable mono => mono -> toList = otoList - | Synonym for 'oall' - 1.0.0 all :: MonoFoldable mono => ( Element mono -> Bool ) -> mono -> Bool all = oall - | Synonym for 'oany' - 1.0.0 any :: MonoFoldable mono => ( Element mono -> Bool ) -> mono -> Bool any = oany - | Synonym for 'onull' - 1.0.0 null :: MonoFoldable mono => mono -> Bool null = onull - | Synonym for 'olength' - 1.0.0 length :: MonoFoldable mono => mono -> Int length = olength - | Synonym for 'olength64' - 1.0.0 length64 :: MonoFoldable mono => mono -> Int64 length64 = olength64 - | Synonym for 'ocompareLength' - 1.0.0 compareLength :: ( MonoFoldable mono, Integral i ) => mono -> i -> Ordering compareLength = ocompareLength - | Synonym for 'otraverse_' - 1.0.0 traverse_ :: ( MonoFoldable mono, f ) => ( Element mono -> f b ) -> mono -> f ( ) traverse_ = otraverse_ - | Synonym for 'ofor_' - 1.0.0 for_ :: ( MonoFoldable mono, Applicative f ) => mono -> ( Element mono -> f b ) -> f ( ) for_ = ofor_ - | Synonym for 'omapM_' - 1.0.0 #if MIN_VERSION_base(4,8,0) For - example, 'olength' is just as general as so we - export = By contrast, 'omap' cannot fully subsume or - so we do not provide such an export. This module - exports the same identifiers without the prefix, for all cases where the - monomorphic variant loses no generality versus the polymorphic version. | The functions in "Data.MonoTraversable" are all prefixed with the letter - to avoid conflicts with their polymorphic counterparts.
0 kommentar(er)
