Safe Haskell	None
Language	Haskell2010

DeferredFolds.FoldlMView

Synopsis

Documentation

A monadic variation of DeferredFolds.FoldView

Constructors

FoldlMView (forall m output. Monad m => (output -> input -> m output) -> output -> m output)

Instances

Monad FoldlMView Source #
Methods (>>=) :: FoldlMView a -> (a -> FoldlMView b) -> FoldlMView b # (>>) :: FoldlMView a -> FoldlMView b -> FoldlMView b # return :: a -> FoldlMView a # fail :: String -> FoldlMView a #
Functor FoldlMView Source #
Methods fmap :: (a -> b) -> FoldlMView a -> FoldlMView b # (<$) :: a -> FoldlMView b -> FoldlMView a #
Applicative FoldlMView Source #
Methods pure :: a -> FoldlMView a # (<>) :: FoldlMView (a -> b) -> FoldlMView a -> FoldlMView b # liftA2 :: (a -> b -> c) -> FoldlMView a -> FoldlMView b -> FoldlMView c # (>) :: FoldlMView a -> FoldlMView b -> FoldlMView b # (<*) :: FoldlMView a -> FoldlMView b -> FoldlMView a #
Alternative FoldlMView Source #
Methods empty :: FoldlMView a # (<\|>) :: FoldlMView a -> FoldlMView a -> FoldlMView a # some :: FoldlMView a -> FoldlMView [a] # many :: FoldlMView a -> FoldlMView [a] #
MonadPlus FoldlMView Source #
Methods mzero :: FoldlMView a # mplus :: FoldlMView a -> FoldlMView a -> FoldlMView a #
Semigroup (FoldlMView a) Source #
Methods (<>) :: FoldlMView a -> FoldlMView a -> FoldlMView a # sconcat :: NonEmpty (FoldlMView a) -> FoldlMView a # stimes :: Integral b => b -> FoldlMView a -> FoldlMView a #
Monoid (FoldlMView a) Source #
Methods mempty :: FoldlMView a # mappend :: FoldlMView a -> FoldlMView a -> FoldlMView a # mconcat :: [FoldlMView a] -> FoldlMView a #

foldl' :: (output -> input -> output) -> output -> FoldlMView input -> output Source #

Perform a strict left fold

foldlM' :: Monad m => (output -> input -> m output) -> output -> FoldlMView input -> m output Source #

Perform a monadic strict left fold

fold :: Fold input output -> FoldlMView input -> output Source #

Apply a Gonzalez fold

foldM :: Monad m => FoldM m input output -> FoldlMView input -> m output Source #

Apply a monadic Gonzalez fold

foldable :: Foldable foldable => foldable a -> FoldlMView a Source #

Construct from any foldable

Ints in the specified inclusive range