DeferredFolds.FoldlMView

Documentation

newtype FoldlMView input

Constructors

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

Instances

Monad FoldlMView

Methods

(>>=) :: FoldlMView a -> (a -> FoldlMView b) -> FoldlMView b

(>>) :: FoldlMView a -> FoldlMView b -> FoldlMView b

return :: a -> FoldlMView a

fail :: String -> FoldlMView a

Functor FoldlMView

Methods

fmap :: (a -> b) -> FoldlMView a -> FoldlMView b

(<$) :: a -> FoldlMView b -> FoldlMView a

Applicative FoldlMView

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

Methods

empty :: FoldlMView a

(<|>) :: FoldlMView a -> FoldlMView a -> FoldlMView a

some :: FoldlMView a -> FoldlMView [a]

many :: FoldlMView a -> FoldlMView [a]

MonadPlus FoldlMView

Methods

mzero :: FoldlMView a

mplus :: FoldlMView a -> FoldlMView a -> FoldlMView a

Semigroup (FoldlMView a)

Methods

(<>) :: FoldlMView a -> FoldlMView a -> FoldlMView a

sconcat :: NonEmpty (FoldlMView a) -> FoldlMView a

stimes :: Integral b => b -> FoldlMView a -> FoldlMView a

Monoid (FoldlMView a)

Methods

mempty :: FoldlMView a

mappend :: FoldlMView a -> FoldlMView a -> FoldlMView a

mconcat :: [FoldlMView a] -> FoldlMView a

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

Perform a strict left fold

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

Apply a Gonzalez fold

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

Construct from any foldable

intsInRange :: Int -> Int -> FoldlMView Int

Ints in the specified inclusive range