{-# LANGUAGE CPP #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
module Data.MonoTraversable.Unprefixed where
import Data.Int (Int64)
import Data.MonoTraversable
import Data.Monoid (Monoid)
import Control.Applicative (Applicative)
foldMap :: (MonoFoldable mono, Data.Monoid.Monoid m) => (Element mono -> m) -> mono -> m
foldMap :: forall mono m.
(MonoFoldable mono, Monoid m) =>
(Element mono -> m) -> mono -> m
foldMap = (Element mono -> m) -> mono -> m
forall m. Monoid m => (Element mono -> m) -> mono -> m
forall mono m.
(MonoFoldable mono, Monoid m) =>
(Element mono -> m) -> mono -> m
ofoldMap
foldr :: MonoFoldable mono => (Element mono -> b -> b) -> b -> mono -> b
foldr :: forall mono b.
MonoFoldable mono =>
(Element mono -> b -> b) -> b -> mono -> b
foldr = (Element mono -> b -> b) -> b -> mono -> b
forall mono b.
MonoFoldable mono =>
(Element mono -> b -> b) -> b -> mono -> b
forall b. (Element mono -> b -> b) -> b -> mono -> b
ofoldr
foldl' :: MonoFoldable mono => (a -> Element mono -> a) -> a -> mono -> a
foldl' :: forall mono a.
MonoFoldable mono =>
(a -> Element mono -> a) -> a -> mono -> a
foldl' = (a -> Element mono -> a) -> a -> mono -> a
forall mono a.
MonoFoldable mono =>
(a -> Element mono -> a) -> a -> mono -> a
forall a. (a -> Element mono -> a) -> a -> mono -> a
ofoldl'
toList :: MonoFoldable mono => mono -> [Element mono]
toList :: forall mono. MonoFoldable mono => mono -> [Element mono]
toList = mono -> [Element mono]
forall mono. MonoFoldable mono => mono -> [Element mono]
otoList
all :: MonoFoldable mono => (Element mono -> Bool) -> mono -> Bool
all :: forall mono.
MonoFoldable mono =>
(Element mono -> Bool) -> mono -> Bool
all = (Element mono -> Bool) -> mono -> Bool
forall mono.
MonoFoldable mono =>
(Element mono -> Bool) -> mono -> Bool
oall
any :: MonoFoldable mono => (Element mono -> Bool) -> mono -> Bool
any :: forall mono.
MonoFoldable mono =>
(Element mono -> Bool) -> mono -> Bool
any = (Element mono -> Bool) -> mono -> Bool
forall mono.
MonoFoldable mono =>
(Element mono -> Bool) -> mono -> Bool
oany
null :: MonoFoldable mono => mono -> Bool
null :: forall mono. MonoFoldable mono => mono -> Bool
null = mono -> Bool
forall mono. MonoFoldable mono => mono -> Bool
onull
length :: MonoFoldable mono => mono -> Int
length :: forall mono. MonoFoldable mono => mono -> Int
length = mono -> Int
forall mono. MonoFoldable mono => mono -> Int
olength
length64 :: MonoFoldable mono => mono -> Int64
length64 :: forall mono. MonoFoldable mono => mono -> Int64
length64 = mono -> Int64
forall mono. MonoFoldable mono => mono -> Int64
olength64
compareLength :: (MonoFoldable mono, Integral i) => mono -> i -> Ordering
compareLength :: forall mono i.
(MonoFoldable mono, Integral i) =>
mono -> i -> Ordering
compareLength = mono -> i -> Ordering
forall i. Integral i => mono -> i -> Ordering
forall mono i.
(MonoFoldable mono, Integral i) =>
mono -> i -> Ordering
ocompareLength
traverse_ :: (MonoFoldable mono, Control.Applicative.Applicative f) => (Element mono -> f b) -> mono -> f ()
traverse_ :: forall mono (f :: * -> *) b.
(MonoFoldable mono, Applicative f) =>
(Element mono -> f b) -> mono -> f ()
traverse_ = (Element mono -> f b) -> mono -> f ()
forall mono (f :: * -> *) b.
(MonoFoldable mono, Applicative f) =>
(Element mono -> f b) -> mono -> f ()
forall (f :: * -> *) b.
Applicative f =>
(Element mono -> f b) -> mono -> f ()
otraverse_
for_ :: (MonoFoldable mono, Applicative f) => mono -> (Element mono -> f b) -> f ()
for_ :: forall mono (f :: * -> *) b.
(MonoFoldable mono, Applicative f) =>
mono -> (Element mono -> f b) -> f ()
for_ = mono -> (Element mono -> f b) -> f ()
forall mono (f :: * -> *) b.
(MonoFoldable mono, Applicative f) =>
mono -> (Element mono -> f b) -> f ()
forall (f :: * -> *) b.
Applicative f =>
mono -> (Element mono -> f b) -> f ()
ofor_
mapM_ :: (MonoFoldable mono, Applicative m)
=> (Element mono -> m ()) -> mono -> m ()
mapM_ :: forall mono (m :: * -> *).
(MonoFoldable mono, Applicative m) =>
(Element mono -> m ()) -> mono -> m ()
mapM_ = (Element mono -> m ()) -> mono -> m ()
forall mono (m :: * -> *).
(MonoFoldable mono, Applicative m) =>
(Element mono -> m ()) -> mono -> m ()
forall (m :: * -> *).
Applicative m =>
(Element mono -> m ()) -> mono -> m ()
omapM_
forM_ :: (MonoFoldable mono, Applicative m)
=> mono -> (Element mono -> m ()) -> m ()
forM_ :: forall mono (m :: * -> *).
(MonoFoldable mono, Applicative m) =>
mono -> (Element mono -> m ()) -> m ()
forM_ = mono -> (Element mono -> m ()) -> m ()
forall mono (m :: * -> *).
(MonoFoldable mono, Applicative m) =>
mono -> (Element mono -> m ()) -> m ()
forall (m :: * -> *).
Applicative m =>
mono -> (Element mono -> m ()) -> m ()
oforM_
foldlM :: (MonoFoldable mono, Monad m)
=> (a -> Element mono -> m a)
-> a
-> mono
-> m a
foldlM :: forall mono (m :: * -> *) a.
(MonoFoldable mono, Monad m) =>
(a -> Element mono -> m a) -> a -> mono -> m a
foldlM = (a -> Element mono -> m a) -> a -> mono -> m a
forall mono (m :: * -> *) a.
(MonoFoldable mono, Monad m) =>
(a -> Element mono -> m a) -> a -> mono -> m a
forall (m :: * -> *) a.
Monad m =>
(a -> Element mono -> m a) -> a -> mono -> m a
ofoldlM
foldMap1Ex :: (MonoFoldable mono, Semigroup m)
=> (Element mono -> m)
-> mono
-> m
foldMap1Ex :: forall mono m.
(MonoFoldable mono, Semigroup m) =>
(Element mono -> m) -> mono -> m
foldMap1Ex = (Element mono -> m) -> mono -> m
forall m. Semigroup m => (Element mono -> m) -> mono -> m
forall mono m.
(MonoFoldable mono, Semigroup m) =>
(Element mono -> m) -> mono -> m
ofoldMap1Ex
foldr1Ex :: MonoFoldable mono
=> (Element mono -> Element mono -> Element mono)
-> mono
-> Element mono
foldr1Ex :: forall mono.
MonoFoldable mono =>
(Element mono -> Element mono -> Element mono)
-> mono -> Element mono
foldr1Ex = (Element mono -> Element mono -> Element mono)
-> mono -> Element mono
forall mono.
MonoFoldable mono =>
(Element mono -> Element mono -> Element mono)
-> mono -> Element mono
ofoldr1Ex
foldl1Ex' :: MonoFoldable mono
=> (Element mono -> Element mono -> Element mono)
-> mono
-> Element mono
foldl1Ex' :: forall mono.
MonoFoldable mono =>
(Element mono -> Element mono -> Element mono)
-> mono -> Element mono
foldl1Ex' = (Element mono -> Element mono -> Element mono)
-> mono -> Element mono
forall mono.
MonoFoldable mono =>
(Element mono -> Element mono -> Element mono)
-> mono -> Element mono
ofoldl1Ex'
sum :: (MonoFoldable mono, Num (Element mono)) => mono -> Element mono
sum :: forall mono.
(MonoFoldable mono, Num (Element mono)) =>
mono -> Element mono
sum = mono -> Element mono
forall mono.
(MonoFoldable mono, Num (Element mono)) =>
mono -> Element mono
osum
product :: (MonoFoldable mono, Num (Element mono)) => mono -> Element mono
product :: forall mono.
(MonoFoldable mono, Num (Element mono)) =>
mono -> Element mono
product = mono -> Element mono
forall mono.
(MonoFoldable mono, Num (Element mono)) =>
mono -> Element mono
oproduct
and :: (MonoFoldable mono, Element mono ~ Bool) => mono -> Bool
and :: forall mono.
(MonoFoldable mono, Element mono ~ Bool) =>
mono -> Bool
and = mono -> Bool
forall mono.
(Element mono ~ Bool, MonoFoldable mono) =>
mono -> Bool
oand
or :: (MonoFoldable mono, Element mono ~ Bool) => mono -> Bool
or :: forall mono.
(MonoFoldable mono, Element mono ~ Bool) =>
mono -> Bool
or = mono -> Bool
forall mono.
(Element mono ~ Bool, MonoFoldable mono) =>
mono -> Bool
oor
concatMap :: (MonoFoldable mono, Monoid m) => (Element mono -> m) -> mono -> m
concatMap :: forall mono m.
(MonoFoldable mono, Monoid m) =>
(Element mono -> m) -> mono -> m
concatMap = (Element mono -> m) -> mono -> m
forall mono m.
(MonoFoldable mono, Monoid m) =>
(Element mono -> m) -> mono -> m
oconcatMap
elem :: (MonoFoldable mono, Eq (Element mono)) => Element mono -> mono -> Bool
elem :: forall mono.
(MonoFoldable mono, Eq (Element mono)) =>
Element mono -> mono -> Bool
elem = Element mono -> mono -> Bool
forall mono.
(MonoFoldable mono, Eq (Element mono)) =>
Element mono -> mono -> Bool
oelem
notElem :: (MonoFoldable mono, Eq (Element mono)) => Element mono -> mono -> Bool
notElem :: forall mono.
(MonoFoldable mono, Eq (Element mono)) =>
Element mono -> mono -> Bool
notElem = Element mono -> mono -> Bool
forall mono.
(MonoFoldable mono, Eq (Element mono)) =>
Element mono -> mono -> Bool
onotElem
point :: MonoPointed mono => Element mono -> mono
point :: forall mono. MonoPointed mono => Element mono -> mono
point = Element mono -> mono
forall mono. MonoPointed mono => Element mono -> mono
opoint
intercalate :: (MonoFoldable mono, Monoid (Element mono))
=> Element mono -> mono -> Element mono
intercalate :: forall mono.
(MonoFoldable mono, Monoid (Element mono)) =>
Element mono -> mono -> Element mono
intercalate = Element mono -> mono -> Element mono
forall mono.
(MonoFoldable mono, Monoid (Element mono)) =>
Element mono -> mono -> Element mono
ointercalate
fold :: (MonoFoldable mono, Monoid (Element mono)) => mono -> Element mono
fold :: forall mono.
(MonoFoldable mono, Monoid (Element mono)) =>
mono -> Element mono
fold = mono -> Element mono
forall mono.
(MonoFoldable mono, Monoid (Element mono)) =>
mono -> Element mono
ofold
concat :: (MonoFoldable mono, Monoid (Element mono)) => mono -> Element mono
concat :: forall mono.
(MonoFoldable mono, Monoid (Element mono)) =>
mono -> Element mono
concat = mono -> Element mono
forall mono.
(MonoFoldable mono, Monoid (Element mono)) =>
mono -> Element mono
oconcat
foldM :: (MonoFoldable mono, Monad m) => (a -> Element mono -> m a) -> a -> mono -> m a
foldM :: forall mono (m :: * -> *) a.
(MonoFoldable mono, Monad m) =>
(a -> Element mono -> m a) -> a -> mono -> m a
foldM = (a -> Element mono -> m a) -> a -> mono -> m a
forall mono (m :: * -> *) a.
(MonoFoldable mono, Monad m) =>
(a -> Element mono -> m a) -> a -> mono -> m a
ofoldM
sequence_ :: (Applicative m, MonoFoldable mono, Element mono ~ (m ())) => mono -> m ()
sequence_ :: forall (m :: * -> *) mono.
(Applicative m, MonoFoldable mono, Element mono ~ m ()) =>
mono -> m ()
sequence_ = mono -> m ()
forall (m :: * -> *) mono.
(Applicative m, MonoFoldable mono, Element mono ~ m ()) =>
mono -> m ()
osequence_