Safe Haskell | None |
---|---|
Language | Haskell2010 |
- newtype FoldlMView m input = FoldlMView (forall output. (output -> input -> m output) -> output -> m output)
- foldl' :: (output -> input -> output) -> output -> FoldlMView Identity input -> output
- foldlM' :: Monad m => (output -> input -> m output) -> output -> FoldlMView m input -> m output
- fold :: Fold input output -> FoldlMView Identity input -> output
- foldM :: Monad m => FoldM m input output -> FoldlMView m input -> m output
- foldable :: (Monad m, Foldable foldable) => foldable a -> FoldlMView m a
- intsInRange :: Monad m => Int -> Int -> FoldlMView m Int
Documentation
newtype FoldlMView m input Source #
A monadic variation of DeferredFolds.FoldView
FoldlMView (forall output. (output -> input -> m output) -> output -> m output) |
Monad m => Monad (FoldlMView m) Source # | |
Functor m => Functor (FoldlMView m) Source # | |
Monad m => Applicative (FoldlMView m) Source # | |
Monad m => Alternative (FoldlMView m) Source # | |
Monad m => MonadPlus (FoldlMView m) Source # | |
Monad m => Semigroup (FoldlMView m a) Source # | |
Monad m => Monoid (FoldlMView m a) Source # | |
foldl' :: (output -> input -> output) -> output -> FoldlMView Identity input -> output Source #
Perform a strict left fold
foldlM' :: Monad m => (output -> input -> m output) -> output -> FoldlMView m input -> m output Source #
Perform a monadic strict left fold
foldM :: Monad m => FoldM m input output -> FoldlMView m input -> m output Source #
Apply a monadic Gonzalez fold
foldable :: (Monad m, Foldable foldable) => foldable a -> FoldlMView m a Source #
Construct from any foldable
intsInRange :: Monad m => Int -> Int -> FoldlMView m Int Source #
Ints in the specified inclusive range